lou1306

45 ms·

541.
by lou1306 6y ago
It's also a depressing tale for wannabe academics, however. mRNA vaccines are an impressive, groundbreaking development. Dr Kariko (and others) may get a Nobel for that. And yet, she was kicked off the tenure track because she failed
542.
by lou1306 6y ago
More like "Those who are said to be about to die live longer", I guess? (Love how compact German can be, by the way)
543.
by lou1306 6y ago
> Yeah, the 440 to late 1400s were a regress for European civilization. Uhm, I'd say more like 378 (battle of Hadrianopolis) - 800 (Charlemagne is crowned Emperor). The idea that the whole medieval period is a "dark age" [
544.
by lou1306 6y ago
EU is just the current phase of a process that started in 1951 with the treaty of Paris (ECSC) and was followed by the treaty of Rome i. 1957 (ECC).
545.
by lou1306 6y ago
Sure, but the European economic zone is both the closest & richest foreign market. Replacing it is not that easy.
546.
by lou1306 6y ago
IVy was exactly one of the things I had in mind. Other examples would be checking liveness properties in the unbounded case, and possibly full Linear Temporal Logic, e.g., <>[]p ("eventually, property p is always satisfied")
547.
by lou1306 6y ago
Still, Apalache is essentially a bounded model checker (with support for inductive invariants), so it would be nice if someone managed to use Z3 to verify more complex properties.
548.
by lou1306 6y ago
I could not agree more. Also, most textbooks and resources on compilers always spend a lot of time on grammars, lexing and parsing. Finding good stuff about intermediate representations, optimization passes and static analysis is harder tha
549.
by lou1306 6y ago
I'm Italian so I read it in the original, but I'm glad to know the English translation does it justice :)
550.
by lou1306 6y ago
Just a counterexample: partial function application. let add x y = x + y let f = add 2 Boom, now `f 4` evaluates to 6. I reckon that doing the same with C# would require a lot of boilerplate. (And I know I could have said `let
551.
by lou1306 6y ago
Also, the Betrothed (1827) by Alessandro Manzoni, which is set during the 1600s plague. In a very famous chapter, one of the characters finds out he's got the plague, which is pretty close to what the GP describes.
552.
by lou1306 6y ago
Supply chains on the middle ages were extremely short compared to ours. Good luck feeding a city of, say, 3-million people during a plague that's comparable to the Black Death. I mean, mankind would probably soldier on, but civilizatio
553.
by lou1306 6y ago
Then again, the substance it refers to is perfectly legal in several of countries (and a number of states in the US). By that metric, Wine should be avoided too.
554.
by lou1306 6y ago
> For example, it's more likely you'll say something like 'give candy to these kids' or 'wash these cars' That's one of the reasons I like functional programming. In ML-style languages you have somethin
555.
by lou1306 6y ago
> r/DataHoarder To be honest, 99% of the posts there are about building your own NAS. And I don't fully agree with the "we can't have nice things" narrative in the Google Photos case. How bad was Google hurt by t
556.
by lou1306 6y ago
> You'd probably use BDD in a SAT solver. Uhm, I'm not sure about that. Most state-of-the-art SAT solvers nowadays will rely on CDCL [0], which does not need BDDs. A recent paper [1] is quite clear on that: > The Conflict-Dr
557.
by lou1306 6y ago
BioNTech is German.
558.
by lou1306 6y ago
I only (kind of) know BDDs because of their application to symbolic model checking. Moreover, I will be very low on details. So take this reply with a pinch of salt. Short answer: they're different. BDDs allow for some formula manipu
559.
by lou1306 6y ago
The 451 code (which, by the way, is a reference to Bradbury's Fahrenheit 451, not Orwell's 1984) just says that a resource is "unavailable for legal reasons". These "legal reasons" may be user-hostile (e.g., ce
560.
by lou1306 6y ago
But then, it should respond with a 451 error rather than a generic 403 :)
561.
by lou1306 6y ago
This may be marginally relevant: the latest post on the Digital Antiquarian [0] briefly talks about "Sid Meier's CPU Bach", a procedural music generator that (the year being 1994) does not use ML in any way and only relies on
562.
by lou1306 6y ago
These are typically seen as tricks for embedded programming. But they have (at least) another useful application. Years ago I was messing around with SAT-based bounded model checking of C programs that I was crafting. Many of these tricks a
563.
by lou1306 6y ago
I found this critique misdirected. The thesis is that the ending of Metropolis, not the plot, has some fascist undertones. The author even admits: > while Metropolis might posit some ideas with regard to cooperation between the classes
564.
by lou1306 6y ago
The "mediator" actually could be a slight nod to fascism and its alleged goal of bringing "harmony" between the workers and the ruling class. Thea von Harbou, who was Lang's wife at the time and wrote the screenplay
565.
by lou1306 6y ago
Yes, that last paragraph did not age well. I think that by now, not using underline for hyperlinks is becoming just as bad as using it for emphasis.
566.
by lou1306 6y ago
To be fair, underlined text is generally frowned upon as a " workaround for shortcomings in typewriter technology" [1,2]. Moreover, the underline nowadays is very tightly coupled with hyperlinks. Personally, seeing some underlined
567.
by lou1306 6y ago
> That line of criticism has not aged well That does not mean it wasn't true. Fourth-gen Macbook Pros were rather meh, coming after the much acclaimed 3rd-gen (not to mention the keyboard fiasco). 2012 MBPs are still sought after to
568.
by lou1306 6y ago
Real leather gives you a tactile feeling. Moreover, it reflects light differently than paper, whereas the light coming from pixels on a screen is equal in all but color. IMHO skeuomorphism is not evil per se, but it must somehow boost usabi
569.
by lou1306 6y ago
Well, Apple made some horrible, horrible skeuomorphic UIs back in the day (See [0] for a very ancient example; or any stitched-leather UI from an iPhone before iOS 7). Having said that, I could really use a little bit of skeuo these days. B
570.
by lou1306 6y ago
I guess Ötzi [1] would also beg to differ. Too bad he was brutally murdered about 5k years ago (long before written record). [1]: https://en.wikipedia.org/wiki/%C3%96tzi

More ›