lou1306

47 ms·

601.
by lou1306 6y ago
Quasars, pulsars, and the Cosmic Microwave Background all started as unexplainable experimental data: I know the most likely explaination is the mundane one, but what if it is not?
602.
by lou1306 6y ago
(The above comment ended with "why not use :car and :bus instead of alpha and beta?". Apparently HN does not support emoji?)
603.
by lou1306 6y ago
In Coordination2019 here is a lovely paper (W Kokke, J Garrett Morris, Philip Wadler. Towards Races in Linear Logic) that uses emoji as formal notation. Maybe it could be the way to go? Like, if your formal language describes cars and buses
604.
by lou1306 6y ago
(Actually it was Wirth that came up with the "Considered Harmful" title. Dijkstra sent the paper as "A case against the Goto statement" [1].) I would go on a limb and say that CH-titles should be themselves considered ha
605.
by lou1306 6y ago
FWIW The Italian contact tracing app, Immuni, is open source as well: https://github.com/immuni-app I installed it today and I live in one of the 4 pilot regions, let's see how it goes.
606.
by lou1306 6y ago
The Digital Antiquarian also touches on Taligent in his post about the IBM/Apple "alliance" in the 90s: https://www.filfre.net/2020/02/the-deal-of-the-century-or-th...
607.
by lou1306 6y ago
The VS Code Latex-Workshop extension (which imho is great) allows to build LaTeX sources from a Docker container [1]. [1]: https://github.com/James-Yu/LaTeX-Workshop/wiki/Install#usin...
608.
by lou1306 6y ago
> There aren't many "pure" RISC designs left True, from the point of view of the "user" (i.e., the compilers). Internally, most CISC machines nowadays are essentially RISC machines with a CISC-to-microcode transl
609.
by lou1306 6y ago
IANAL but would not that be grounds for abuse of dominant position? Using their dominance in web search to undercut competing browser vendors?
610.
by lou1306 6y ago
I think the biggest strength of base 10 is not hand-counting (the OP and the Babylonian/Chinese base-12 method are both superior in that regard), but ease of performing pen-and-paper operations. You can literally teach a 6-year-old to
611.
by lou1306 6y ago
Writing parsers with parser combinator libraries (personally, I use FParsec on F# and pyparsing on Python) feels like this all the time. I am especially happy about one doubly-recursive, parametric parser I had to write to handle an express
612.
by lou1306 6y ago
Frotz also works on macOS, and it's on Homebrew. I used it to play Trinity, another Infocom classic!
613.
by lou1306 6y ago
One of Logo's derivatives, NetLogo [1], seems to be pretty popular among academics as an agent-based modeling tool. It also has a neat browser interpreter. Worth a look, IMO. [1]: http://ccl.northwestern.edu/netlogo&#x2
614.
by lou1306 7y ago
Also, some of these videos are pretty disturbing or inappropriate for their intended audience. This phenomenon has been dubbed the "Elsagate" on Reddit.
615.
by lou1306 7y ago
For those who want to take a look, "Computer Organization and Design" by Hennessy and Patterson is a very common textbook on the subject (at least here in Italy). I found reading it to be a very, very instructive experience. Its v
616.
by lou1306 7y ago
You're welcome. It's always nice to see HN talk about program verification! > Very curious about complete but unsound approaches A common approach is over-approximation, i.e. you create a model of the program whose set of trace
617.
by lou1306 7y ago
Strange that the post never mentions iRobot co-founder Rodney Brooks. His academic work on the so-called "subsumption architecture" clearly influenced the Roomba so much.
618.
by lou1306 7y ago
Not necessarily. For instance, CBMC has been participating in the Termination category with an approach based on Bounded model checking, an underapproximation technique. Thus, they always produce correct result, but their analysis might not
619.
by lou1306 7y ago
There is no general algorithm to determine termination. You can still write an algorithm that gives correct answers, but may not terminate (sound), or one that always terminates but might produce wrong answers (complete). A termination a
620.
by lou1306 7y ago
I don't think I really understand the question, but please bear with me. Indeed both code snippets are the same computation. The first snippet is SSA, the second is not. Notice that doing, for instance, constant propagation on the firs
621.
by lou1306 7y ago
> Using separate variables instead of reusing the same variable will sometimes actually increase the optimizations that compilers can do LLVM optimizations, for instance, often need the IR to be in SSA form (static single Assignment).
622.
by lou1306 7y ago
Also, calculus was much messier on the theoretical side until Weierstrass, Riemann etc. "fixed" it.
623.
by lou1306 7y ago
Still on that subject: Russel&Norvig put a "planning algorithm" on the cover of their AI book. The algorithm is by Aristotle ( De motu animalium ).
624.
by lou1306 7y ago
> We need to save the drastic measures for the peak. If you only act when you hit the peak, any measures will be moot. Countries need to act now to reduce that peak and flatten the curve. But sure, why not letting thousands of Atletico s
625.
by lou1306 7y ago
> Because they are overwhelmed Italian hospitals basically send people home if they have a fever or other symptoms with no test administered, Sources, please. > only people having trouble breathing being admitted in the ICU. Well, why
626.
by lou1306 7y ago
Thank you, even though I am honestly not sure if I can trust a Twitter thread. For instance, this article [1] (in Italian) says that "up until now [yesterday], no patient who could have benefited from intensive care has been excluded&q
627.
by lou1306 7y ago
> Now people in Lombardy are dying from strokes because hospitals can't admit them Now wait a minute. If you have a source on that, please do provide it. Because I am from Italy and I have never heard of such things. (There were c
628.
by lou1306 7y ago
> and hospital bed availability is vital to lowering it. This. Plus, any disease that has very good chances of putting a young, healthy person in some ICU is not "the flu".
629.
by lou1306 7y ago
Now, inactive governments may be held accountable of not listening to the WHO. Also, calling it a pandemic 2 weeks ago (or more) would have been perfectly rational.
630.
by lou1306 7y ago
To be fair, cryptography and number theory have coexisted without much overlap from centuries (millennia?). Then, the rise of mechanized cryptanalysis forced us to look for hard-to-break ways to encrypt stuff, and prime factorization was a

More ›