Viewing profile — joseraul

All this may become much easier when we manage to merge proof assistants with automatic provers. Here is how you can prove the first theorem in Dafny. https://rise4fun.com/Dafny/Gx…

One author of Xoroshiro has written a detailed (and harsh) analysis of PCG. http://pcg.di.unimi.it/pcg.php

Rumors say he writes code in zcat to go faster.

They may not do user studies like this, but for sure they adapt to user feedback. https://thefeedbackloop.xyz/stroustrups-rule-and-layering-ov...

Peter Norvig explains why. http://norvig.com/chomsky.html

Gabriel Synnaeve was already working on this long before joining FB. http://emotion.inrialpes.fr/people/synnaeve/

Don't forget the "up to". Your app may be in another section of the statistics.

OCaml is GCed and can infer more type annotations than Rust, so its code feels closer to Python. Rust is best for complex systems where tight control of resources is required.

Such specialized filters can improve compression a lot. For instance, the e8e9 transform converts relative jumps to absolute jumps in x86 EXEs, increasing compression because lots …

CPUs have gotten so complex that mastering their language (and behavior) is a skill on its own. Most people can get on with compiled/interpreted languages.

> what's 8MB when your server's got 64GB Note that 8Mb is the size of the L3 cache on some modern Intel chips. You want fast lookups in the window area, where you constantly do ran…