1. | | Donald Knuth's 2024 Christmas Lecture: Strong and Weak Components [video] (youtube.com) |
|
413 points by esbudylin 78 days ago | 68 comments
|
2. | | Ask HN: Recommend a maths book for a teenager? |
|
297 points by andyjohnson0 on July 2, 2020 | 187 comments
|
3. | | Math for seven-year-olds (hamkins.org) |
|
262 points by liotier on June 13, 2014 | 66 comments
|
4. | | Pencil and Paper Games (papg.com) |
|
418 points by aethertap on Oct 10, 2017 | 48 comments
|
5. | | Introduction to Algorithms, Fourth Edition – The MIT Press (mitpress.mit.edu) |
|
75 points by philonoist on Nov 29, 2021 | 16 comments
|
6. | | What Is the Point of Decidability (lists.ugent.be) |
|
39 points by jjgreen on Oct 5, 2023 | 62 comments
|
7. | | CLI text processing with GNU awk (learnbyexample.github.io) |
|
419 points by asicsp on Aug 28, 2023 | 129 comments
|
8. | | Thoughts about what worked in math circles (buttondown.email/j2kun) |
|
299 points by sberens on Aug 26, 2023 | 44 comments
|
9. | | Essential C (stanford.edu) |
|
291 points by ingve on Oct 15, 2017 | 55 comments
|
10. | | For Donald Knuth, good coding is synonymous with beautiful expression (quantamagazine.org) |
|
669 points by theafh on April 16, 2020 | 225 comments
|
11. | | Life Universe – Infinite Fractal 'Life' (oimo.io) |
|
24 points by Mizza on Dec 13, 2022 | 3 comments
|
12. | | Ask HN: Programming books that are more like math books? |
|
31 points by blehn on July 21, 2010 | 19 comments
|
13. | | Hyperbolic Cellular Automata Simulator (dmishin.github.io) |
|
135 points by Schiphol on Dec 4, 2019 | 20 comments
|
14. | | Compiling Lambda Calculus (t3x.org) |
|
78 points by nils-m-holm on Aug 2, 2018 | 15 comments
|
15. | | Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains (arend-lang.github.io) |
|
309 points by adamnemecek on Aug 6, 2019 | 114 comments
|
16. | | Alan Kay's answer to ‘what are some forgotten books programmers should read?’ (quora.com) |
|
1181 points by enkiv2 on Aug 9, 2019 | 260 comments
|
17. | | Functional programming books review (alexott.net) |
|
237 points by platz on Dec 5, 2013 | 57 comments
|
18. | | Turtletoy (turtletoy.net) |
|
382 points by njn on Dec 14, 2018 | 61 comments
|
19. | | Sandspiel – A falling sand game built in Rust and WebGL (sandspiel.club) |
|
1323 points by 15DCFA8F on Dec 17, 2018 | 185 comments
|
20. | | My unusual hobby (stephanboyer.com) |
|
856 points by curryhoward on Nov 25, 2017 | 147 comments
|
21. | | The Racket Way (infoq.com) |
|
70 points by sutro on Feb 21, 2013 | 44 comments
|
22. | | Show HN: PDF parsing in Racket, my weekend project (racket-lang.org) |
|
101 points by gcr on May 13, 2012 | 28 comments
|
23. | | Lightbot: Puzzles Game Using Programming Logic (lightbot.com) |
|
162 points by karimf on Dec 5, 2017 | 32 comments
|
24. | | Introduction to logic programming with Prolog (matchilling.com) |
|
284 points by matchilling on Dec 5, 2017 | 91 comments
|
25. | | The compelling case for working less (bbc.com) |
|
461 points by bigben00763 on Dec 5, 2017 | 230 comments
|
26. | | Ask HN: Resources for building a programming language? |
|
239 points by kevinSuttle on Sept 4, 2017 | 83 comments
|
27. | | Ask HN: What is your favorite CS paper? |
|
793 points by lainon on Aug 24, 2017 | 257 comments
|
28. | | Modern garbage collection (plan99.net) |
|
44 points by arto on Aug 5, 2017 | 2 comments
|
29. | | The Evolution of Lisp (1993) [pdf] (dreamsongs.com) |
|
103 points by tosh on Aug 5, 2017 | 17 comments
|
30. | | Java blocking queues for concurrency beginners (geek-programmer.com) |
|
75 points by am_sandeepa on Aug 5, 2017 | 20 comments
|
|
|
More |