|
|
| 1. | | For Donald Knuth, good coding is synonymous with beautiful expression (quantamagazine.org) | | 669 points by theafh on April 16, 2020 | 225 comments | |
| 2. | | Exceptionally gifted children: long-term outcomes of acceleration (2006) [pdf] (ed.gov) | | 263 points by waterhouse on April 17, 2020 | 249 comments | |
| 3. | | The Hardest Program I've Ever Written – How a code formatter works (2015) (stuffwithstuff.com) | | 500 points by goranmoomin on March 27, 2020 | 125 comments | |
| 4. | | Origami Levels of Complexity [video] (youtube.com) | | 138 points by brudgers on Nov 30, 2019 | 10 comments | |
| 5. | | Asynchronous Programming in Rust (yoshuawuyts.com) | | 146 points by UkiahSmith on April 19, 2019 | 16 comments | |
| 6. | | Logic Puzzle: The Joy of Recursion (quantamagazine.org) | | 65 points by digital55 on April 18, 2019 | 13 comments | |
| 7. | | Proofs are Programs – 19th Century Logic and 21st Century Computing (2000) [pdf] (ed.ac.uk) | | 152 points by michaelsbradley on Jan 26, 2017 | 77 comments | |
| 8. | | Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us [video] (youtube.com) | | 90 points by DanielRibeiro on Sept 10, 2016 | 27 comments | |
| 9. | | Mathematical Reasoning and Distributed Systems by Erik Meijer and Leslie Lamport (youtube.com) | | 208 points by adamnemecek on Dec 4, 2016 | 37 comments | |
| 10. | | Coq 8.6 is out (inria.fr) | | 151 points by infruset on Dec 14, 2016 | 88 comments | |
| 11. | | My experience with using TLA+ in distributed systems class (muratbuffalo.blogspot.com) | | 87 points by pron on Sept 15, 2015 | 12 comments | |
| 12. | | Computation and State Machines (2008) [pdf] (research.microsoft.com) | | 97 points by tosh on Dec 11, 2016 | 24 comments | |
|
Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
