ufo

28 ms·

451.
by ufo 4y ago
I wonder what are the error recovery strategies that it implements. The README doesn't go into details.
452.
by ufo 4y ago
I think one of the reasons for the meme is because there's so many monad tutorials. When a Haskeller is introduced to monads they'll run across all these monad tutorials with abstruse analogies for what a monad is. Is a monad a b
453.
by ufo 4y ago
It's actually closer to insertion sort.
454.
by ufo 4y ago
The comments so far have tended to focus on the proof itself, but for me the coolest part of the blog post were the formal methods. Does anyone here also use SPARK for this sort of thing? Are there other formal methods tools you'd use
455.
by ufo 4y ago
I get why they chose to do this in Javascript, but I can't help but feel it's an awkward choice. Many of the examples (e.g. currying) look unnatural in javascript. https://github.com/hemanth/functional-program
456.
Turns out GCC has imperative argument handling(hisham.hm)
64 points by ufo 4y ago|36 comments
457.
by ufo 4y ago
Does anyone know where I can find a TL;DR of the whole Grayscale bitcoin trust thing? I have heard some people say that they wanted to become an ETF because the trust doesn't allow them to sell the bitcoin, only hold it. Is that true?
458.
by ufo 4y ago
Does anyone know what's the situation with lenses and type errors these days? Many moons ago, when I played around with lenses, I remember that the type error messages were could get very scary. Paragraphs of inscrutable type errors fo
459.
by ufo 4y ago
Another thing I recommend everyone to learn at least once is sum types aka algebraic data types. And how they are the dual to class based dispatch (what some call the "expression problem"). Sum types aren't exclusively found
460.
by ufo 4y ago
For Ocaml in particular, one thing that is pretty cool about it is the module system. Although we unfortunately can't use this module system in other languages, it taught me some interesting lessons about abatract data types.
461.
by ufo 4y ago
It's something that they are taking into account. According to the studies the FDA is basing their decision on, the smokers smoked more initially but that effect only lasted 1-2 weeks.
462.
by ufo 4y ago
This is one thing I find funny about this book. Despite the name, it's a great intro to compilers in general.
463.
by ufo 4y ago
What is the deal with its windows?
464.
by ufo 4y ago
Does anyone know what are the main new features of Ocaml 5.0?
465.
by ufo 4y ago
The only logic I have heard is that El Salvador receives a large amount of remittances from the USA, from which banks and Western Union take a big cut. But Nayib Bukele is an autocratic president, which is making El Salvador less democratic
466.
by ufo 4y ago
Thanks! Sure, I'm not planning on reposting the code, I just collect LuaJIT stories.
467.
by ufo 4y ago
Making backups of a centralized database is not reinventing a blockchain, it is much cheaper than the wasteful process of crypto mining.
468.
by ufo 4y ago
This is a cool story! Is that vector library public or is it an internal project? I'd love to take a look at the rest of it...
469.
by ufo 4y ago
And also a 1988 soap opera ^_^
470.
by ufo 4y ago
Great color for errors!
471.
by ufo 4y ago
Not sure if I'd agree with /r/legaladvice being full of properly qualified people... IMO, it might be better to ask a lawyer.
472.
by ufo 4y ago
After looking at their 3.11 example, I wonder... Why can't we put a function definition in the same line of an if statement? if True: def f(x): return x Is this just because Python doesn't want to encourage extreme tersen
473.
by ufo 4y ago
I guess that most likely it is not due to v8 magic optimizing the interpreter as much as it can be. The end result of v8 optimizing an AST interpreter is not the same as the end result of v8 optimizing a bytecode interpreter.
474.
by ufo 4y ago
For Lua documentation, I recommend the Programming in Lua book, from Roberto Ierusalimschy (lead Lua dev). The most recent edition is from 2016, after 5.3 came out, but that's ok because the language hasn't changed much since then
475.
by ufo 4y ago
The alternative is worse, unfortunately. See the recent Aduhelm debacle for example, with big pharma profiting from desperate people, with a drug that doesn't work.
476.
by ufo 4y ago
IIRC, in this particular case the antibodies bind to immune cells. Immune Checkpoints are a mechanism that keeps the immune system from attacking the own body but in cancer it can also stop the immune system from destroying the cancer. The
477.
by ufo 4y ago
Does anyone know if similar discussions have happened in other distros? In wonder if Debian, Fedora, etc, have similar plans.
478.
by ufo 4y ago
One story that often comes up: automated ML systems will have false positives every once in a while. But when the false positive affects a big customer it is fixed more promptly than when it affects a competitor...
479.
by ufo 4y ago
I'll take this chance to shill for Fish. For interactive use it is a joy to use, with better defaults w.r.t. auto completion and history. Not much learning curve if most of the time you're just entering commands and pressing tab o
480.
by ufo 4y ago
The difference is the mining subsidy. The energy expenditure for a block is related to the total mining reward, which is transaction price + 6.25 newly minted bitcoins.

More ›