Hacker News
- Learning Theory from First Principles [pdf] https://www.di.ens.fr/~fbach/ltfp_book.pdf 25 comments
- Learning Theory from First Principles [pdf] https://www.di.ens.fr/%7Efbach/ltfp_book.pdf 63 comments
- Abstract Interpretation in a Nutshell https://www.di.ens.fr/~cousot/AI/IntroAbsInt.html 14 comments
- Abstract Interpretation in a Nutshell https://www.di.ens.fr/~cousot/AI/IntroAbsInt.html 11 comments compilers
- Fast and Reliable DWARF Unwinding, and Beyond https://www.di.ens.fr/~zappa/projects/frdwarf/ 3 comments rust
- Fast and Reliable DWARF Unwinding, and Beyond https://www.di.ens.fr/~zappa/projects/frdwarf/ 6 comments cpp
- Fast and Reliable DWARF Unwinding, and Beyond https://www.di.ens.fr/~zappa/projects/frdwarf/ 5 comments programming
- Full Key-Recovery Attacks on HMAC/NMAC-MD4 and NMAC-MD5 http://www.di.ens.fr/~fouque/pub/crypto07b.pdf 4 comments crypto
- Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it http://www.di.ens.fr/~zappa/readings/c11comp.pdf 8 comments programming
- Abstract Interpretation in a nutshell http://www.di.ens.fr/~cousot/ai/introabsint.html 2 comments compsci
- How the absence of runtime errors in the Airbus A340 primary flight control software was proved: abstract interpretation in a nutshell http://www.di.ens.fr/~cousot/ai/introabsint.html 49 comments programming