- The things I read in 2018: Papers, books, and ideas https://github.com/bollu/blog/blob/master/content/blog/stuff-i-learnt-this-year-2018.md#introduction 19 comments programming
Linked pages
- Quanta Magazine https://www.quantamagazine.org/titans-of-mathematics-clash-over-epic-proof-of-abc-conjecture-20180920/ 414 comments
- LessWrong https://www.lesswrong.com/ 236 comments
- CompCert - Main page http://compcert.inria.fr/ 191 comments
- Certified Programming with Dependent Types http://adam.chlipala.net/cpdt/ 117 comments
- Software Foundations https://softwarefoundations.cis.upenn.edu/ 61 comments
- https://www.cs.cmu.edu/~rwh/theses/okasaki.pdf 57 comments
- Noether's theorem - Wikipedia http://en.wikipedia.org/wiki/Noether%27s_theorem 29 comments
- bollu.github.io/reading-kmett-structs.md at master · bollu/bollu.github.io · GitHub https://github.com/bollu/blog/blob/master/content/blog/reading-kmett-structs.md 7 comments
- http://web.mit.edu/~axch/www/art.pdf 1 comment
- Skew binary number system - Wikipedia https://en.wikipedia.org/wiki/Skew_binary_number_system 1 comment
- http://www.ams.org/notices/200811/tx081101382p.pdf 0 comments
- Rationality: From AI to Zombies - Machine Intelligence Research Institute https://intelligence.org/rationality-ai-zombies/ 0 comments
Related searches:
Search whole site: site:github.com
Search title: bollu.github.io/stuff-i-learnt-this-year-2018.md at master · bollu/bollu.github.io · GitHub
See how to search.