InefficientRed

19 ms·

181.
by InefficientRed 4y ago
4 chargers per install. I'd assume multiple installs per location in some cases but not others.
182.
by InefficientRed 4y ago
Sets of 4 chargers interspersed along major interstates and highways, which are exactly the settings (long hauls/roadtrips) where you really do need chargers away from home.
183.
by InefficientRed 4y ago
There are still US states where wine can only be sold in state-owned stores.
184.
by InefficientRed 4y ago
> Presumably, we're both talking about e.g. Ada SPARK, Alloy, TLA+, etc. It's quite difficult to look at systems like Dafny or {J,C}BMC, in particular, and say "they can only show a _specification_ is sound, but not the
185.
by InefficientRed 4y ago
> when I unload my cart of fresh produce, meats, cheeses and baked goods it doesn't look like the carts around mine. They are full of canned foods, frozen foods, boxed foods, etc. Canned, frozen, and boxed foods offer a much highe
186.
by InefficientRed 4y ago
Where is the scold in the post to which you're replying? Deglobalization of agriculture -- as a downstream result of trade policy, political instability, shifting weather patterns, or some combination thereof -- isn't exactly hard
187.
by InefficientRed 4y ago
> Formal methods will likely not help you - they can only show a _specification_ is sound, but not the _implementation_. I'm not sure where this idea came from. Are you in hardware? I guess in hardware that makes sense. Anyways,
188.
by InefficientRed 4y ago
> Do you mean "time to solution" or "time to inference"? I meant time to a real solution that works well enough to put into a product. > There are also very public examples of this e.g. Google's data center
189.
by InefficientRed 4y ago
Have you ever encountered a situation where RL solved a (IRL "people paid me non-research-grant money for this") problem for you faster than classical controls engineering and/or planning? I have not.
190.
by InefficientRed 4y ago
No; I use that number for inbound business.
191.
by InefficientRed 4y ago
Spam invites to Crypto/bitcoin Discord servers has made most messaging services, including SMS, basically useless for me. "Join our BTC discussion group!!1!" == the new Nigerian Price.
192.
by InefficientRed 4y ago
That's either a silly tautology or false. Jews live in the exact same "consumerist society", but did not lose the sabbath. Even the most progressive Jews I know rest on the sabbath in some form or another.
193.
by InefficientRed 4y ago
Not at all, at least in the USA.
194.
by InefficientRed 4y ago
The loss of the sabbath in Christianity really puts a limelight on the dark side of grace. Rest is for eternity; clock back in.
195.
by InefficientRed 4y ago
There is tons of formal methods research happening in industry. Way more than in the days of Microsoft research silicon valley
196.
by InefficientRed 5y ago
Truly strange case. Why hasn't he resolved this issue?
197.
by InefficientRed 5y ago
Verizon FIOS residential fiber. (I've never had an ISP that allowed hosting HTTP servers in its TOS. But I've always hosted HTTP servers, and I've never had any issues. FWIW Gemini servers are also servers.)
198.
by InefficientRed 5y ago
I still run a half dozen VMs with genuinely ancient LAMP stacks and CGI code on a 5 year old desktop in my basement. People use those sites. Really the only thing that changed in last couple decades is that Docker makes admining those ser
199.
by InefficientRed 5y ago
> I always saw it as a really good deal to be getting paid to go to school! Ugh. You and I both know that PhD students spend very little time in coursework, and that the quantity and quality of that coursework in nowhere near the diffe
200.
by InefficientRed 5y ago
15 U.S. Code § 1681e(b) reads "Whenever a consumer reporting agency prepares a consumer report it shall follow reasonable procedures to assure maximum possible accuracy of the information concerning the individual about whom the report
201.
by InefficientRed 5y ago
> How is excluding tax frauds a "net loss for the nation"? Calling this tax fraud is... I guess true, but kind of odd and silly. Two people making $X/2 will in almost all cases pay more taxes while receiving fewer b
202.
by InefficientRed 5y ago
Serious question for any lawyers out there: why isn't there more serious recourse for consumers when credit agencies commit libel? If Equifax issues a report saying that I owe X, and I contact them with proof that this was a fraudulent
203.
by InefficientRed 5y ago
>> I have known more people whose lives have been ruined by getting a Ph.D. in physics than by drugs. > Ruined, really? The "I" in that sentence is doing a lot of work, and Katz is a sort of generally a foolish know-i
204.
by InefficientRed 5y ago
> for a field at steady state 1. What you mean by "steady state" really matters. 1a. There can be fields that are totally stagnant in terms of huge new intellectual advances but where the student population is exploding. 1b.
205.
by InefficientRed 5y ago
> [employees] left to sit at home on unemployment... didn't adapt digitally to the take-out heavy model The restaurant world, in particular, seems to have heavily bifurcated between owner-as-entitled-extractor and owner-as-managem
206.
by InefficientRed 5y ago
Browser based games were another wild west. The basic move was to post something mildly controversial in your "profile page" -- which often used the MySpace style of "whatever HTML you want" -- along with a cookie logger
207.
by InefficientRed 5y ago
> > £1 million per year I'm curious about your workload. I tend to only use cloud for workloads where it's either (1) by far the only feasible option (e.g. need GPUs for short periods of time), or else (2) basically free.