Hacker News
- The Structure of Scientific Revolutions [pdf] https://www.lri.fr/~mbl/Stanford/CS477/papers/Kuhn-SSR-2ndEd.pdf 45 comments
- The Computer for the 21st Cenury (1991) [pdf] https://www.lri.fr/~mbl/Stanford/CS477/papers/Weiser-SciAm.pdf 16 comments
- Fast, purely functional Hindley-Milner implementation? https://www.lri.fr/~filliatr/ftp/publis/puf-wml07.pdf 7 comments ocaml
- The PCP theorem for dummies http://www.lri.fr/~teytaud/pcp/pcp/pcp.html 3 comments compsci
- Russell, a language for programming with dependent types in Coq http://www.lri.fr/~sozeau/research/russell.fr.html 22 comments programming
- Proving an implementation of finger trees correct in Coq http://www.lri.fr/~sozeau/research/russell/fingertrees.en.html 2 comments programming