lmm

20 ms·

511.
by lmm 9mo ago
> How are well specified contracts different from type script? Typescript has types, meaning expressions can be typechecked and this is distinct from evaluating them. Typechecking is more complete/consistent/reliable - you can
512.
by lmm 9mo ago
Maybe you need graduality, sure. Plenty of systems (e.g. Typescript) have added a real type system that works gradually onto an existing system. While there are compromises to that approach, it's still a lot more effective than contrac
513.
by lmm 9mo ago
It would be a mistake to conclude that this means shoes are pointless or there's no such thing as a shoe that fits well.
514.
by lmm 9mo ago
I've worked on a number of systems that used Akka in a non-distributed way and it was always an overengineered approach that made the system more complex for no benefit.
515.
by lmm 9mo ago
Imposing your will by being better at technology is morally no different from imposing your will by being physically stronger. There's a reason civilised societies follow processes rather than having people resolve their disputes direc
516.
by lmm 9mo ago
That's probably what they meant by "Scala Play".
517.
by lmm 9mo ago
Well, lots of people have tried it and spent a lot of money on it and don't seem to have derived any benefit from doing so.
518.
by lmm 9mo ago
> we don’t want to write one particular arrangement of concurrent operations, but rather want to create a meta system that lets us string together arbitrary ones. Would you agree that the actor abstraction becomes useful again for such c
519.
by lmm 9mo ago
Meh. Runtime assertions are a poor substitute for a type system, even if you give them a type-system-like syntax.
520.
by lmm 9mo ago
Types are the closest thing to a free lunch that exists in this fallen world. Yes they're not perfect because nothing is, but their cost/benefit is astonishingly good.
521.
by lmm 9mo ago
Have you run memtest on the machine in question? That kind of problem sounds like a classic bad RAM symptom.
522.
by lmm 9mo ago
> They have an excel sheet next to it - they can test it against that. It used to be that we'd fix the copy-paste bugs in the excel sheet when we converted it to a proper model, good to know that we'll now preserve them forever
523.
by lmm 9mo ago
> Why would you want to do this? It makes life much easier when you want to use fancier types. E.g. if you want to be able to have ListOfLength[4], it's much nicer to be able to use normal 4 which you can use normal arithmetic on (a
524.
by lmm 9mo ago
The paradox. If you create a set theory in which that set exists, you get a paradox and a contradiction. So the usual "fix" is to disallow that from being a set (because it is "too big"), and then you can form a theory w
525.
by lmm 9mo ago
Huh. Last time I tried with them (about a year ago), and more recently trying with China Eastern, I couldn't even get it to show me a flight that I knew was flying on a given day (just at a slightly higher price than the one it would s
526.
by lmm 9mo ago
> I think the humans in London at least do not adjust their behaviour for the perceived risk! The evidence is that they do though. E.g. the Exhibition Road remodelling (removing curbs/signs/etc.) has been a great success and ef
527.
by lmm 9mo ago
The test suite that the actual SQLite developers use to develop SQLite is not open-source. 51445 open-source test cases is a big number but doesn't really mean much, particularly given that evidently the SQLite developers themselves do
528.
by lmm 9mo ago
> We are responsible for the consequences of our actions. We're not though. Drivers are allowed to kill as many people as they like as long as they're apologetic and weren't drinking; at most they pay a small fine.
529.
by lmm 9mo ago
Bringing a vehicle onto the public roads is a privilege not a right. Any harm to pedestrians that results is your responsibility, not anyone else's.
530.
by lmm 9mo ago
> Does it actually work though? Yes. They have made steady progress over the previous decades to the point where they can now have years with zero road fatalities. > And putting obstacles in the road so you cant see if someone is ther
531.
by lmm 9mo ago
It suggests someone went into the details of how it was linked and was careful about what it was and wasn't linked to, and perhaps even intervened directly in the low-level parts of the linking process.
532.
by lmm 9mo ago
Given that the border officer has discretion to refuse you entry, failing to down your drink can turn into attempting to enter illegally if they want it to.
533.
by lmm 9mo ago
I know exactly what to do, it's just very tedious to actually do it. Which seems like the perfect use case for an agent.
534.
by lmm 9mo ago
Maybe you're only using well-designed sites? Try making a booking with a Chinese airline and you'll quickly wish for an assistant to delegate it all to.
535.
by lmm 9mo ago
Having a browser that works for me would be useful yeah. Stuff like skip the story and give me the recipe, or click through the pointless extra steps, or reformat my address into the bizarre format the website wants. Of course the single bi
536.
by lmm 9mo ago
Probably not, not without formal verification which is usually lacking. Everyone's computers hang or get slow some of the time. Probably all of our locks have bugs in them, but good luck getting to the bottom of that, right now the ind
537.
by lmm 9mo ago
If your existing owners have made a "profit", or at least lost less to deprecation than normal, they're probably more willing to buy a new car from you (trading or selling their existing one) even if that new car is more expe
538.
by lmm 9mo ago
The large firms' reputation isn't really at stake though. They keep doing crap like this and it never harms their ability to get more contracts.
539.
by lmm 9mo ago
> The "happy ending" where one of the parents and their three other kids find out that the other parent likely killed the older brother they never met? That doesn't sound very happy to me, but maybe we have different defin
540.
by lmm 9mo ago
No. Django is very good at having the autogenerated/default stuff be consistent with what you do if you want to write manually, it's not one of those "if you want to use the magic as-is it all just works, if you want to custo

More ›