| 1. | | Coq: The World's Best Macro Assembler? (2013) [pdf] (nickbenton.name) |
| 167 points by addaon 21 days ago | 74 comments |
|
| 2. | | The RAG Obituary: Killed by agents, buried by context windows (nicolasbustamante.com) |
| 290 points by nbstme 77 days ago | 179 comments |
|
| 3. | | Evolving the OCaml Programming Language (2025) [pdf] (kcsrk.info) |
| 159 points by matt_d 3 months ago | 48 comments |
|
| 4. | | Commercials that David Lynch directed (2018) (openculture.com) |
| 172 points by bookofjoe 8 months ago | 40 comments |
|
| 5. | | Vellvm: Verified LLVM (upenn.edu) |
| 95 points by lelf on Nov 19, 2015 | 10 comments |
|
| 6. | | Donald Knuth's 2024 Christmas Lecture: Strong and Weak Components [video] (youtube.com) |
| 413 points by esbudylin 10 months ago | 68 comments |
|
| 7. | | The impact of competition and DeepSeek on Nvidia (youtubetranscriptoptimizer.com) |
| 655 points by eigenvalue 10 months ago | 479 comments |
|
| 8. | | Tree Calculus (treecalcul.us) |
| 493 points by iamwil on Dec 10, 2024 | 194 comments |
|
| 9. | | Delta: A syntax-highlighting pager for Git, diff, grep, and blame output (github.com/dandavison) |
| 642 points by nateb2022 on Nov 8, 2024 | 92 comments |
|
| 10. | | Can logic programming be liberated from predicates and backtracking? [pdf] (uni-kiel.de) |
| 197 points by matt_d on Oct 12, 2024 | 97 comments |
|
| 11. | | On the cruelty of really teaching computing science - E.W. Djikstra[1988] (utexas.edu) |
| 4 points by Fargren on Jan 11, 2011 |
|
| 12. | | Visual guide to SSH tunneling and port forwarding (2023) (ittavern.com) |
| 407 points by todsacerdoti on Sept 19, 2024 | 58 comments |
|
| 13. | | Open Source Farming Robot (farm.bot) |
| 714 points by pedrodelfino on Aug 3, 2024 | 356 comments |
|
| 14. | | Hash-based bisect debugging in compilers and runtimes (swtch.com) |
| 254 points by rsc on July 18, 2024 | 45 comments |
|
| 15. | | Advantages of incompetent management (yosefk.com) |
| 543 points by zdw on July 4, 2024 | 252 comments |
|
| 16. | | Exercises to Learn Rust (rust-exercises.com) |
| 752 points by sebg on May 17, 2024 | 123 comments |
|
| 17. | | CS 6120: Advanced Compilers: The Self-Guided Online Course (cornell.edu) |
| 461 points by swatson741 on March 3, 2024 | 102 comments |
|
| 18. | | Toolong: Terminal application to view, tail, merge, and search log files (github.com/textualize) |
| 275 points by ingve on Feb 9, 2024 | 54 comments |
|
| 19. | | A distributed systems reading list (ferd.ca) |
| 330 points by davidw on Feb 8, 2024 | 56 comments |
|
| 20. | | Map of Space Invader Mosaics in Paris (pnote.eu) |
| 276 points by przem8k on Nov 12, 2023 | 60 comments |
|
| 21. | | [flagged] Landchad: A site dedicated to turn web peasants into Internet LandChads (landchad.net) |
| 59 points by judiisis on Sept 23, 2023 | 54 comments |
|
| 22. | | Dungeons and Dragons on Death Row (themarshallproject.org) |
| 7 points by Cryptoclidus on Sept 1, 2023 | 1 comment |
|
| 23. | | Understand (1991) (ktxr.rs) |
| 118 points by climatologist on July 7, 2023 | 39 comments |
|
| 24. | | How to Do Great Work (paulgraham.com) |
| 1008 points by razin on July 1, 2023 | 432 comments |
|
| 25. | | Show HN: Rarbg on IPFS (ipfs.io) |
| 704 points by rarbgipfs on June 4, 2023 | 128 comments |
|
| 26. | | Get started making music (ableton.com) |
| 1176 points by prhrb on May 14, 2023 | 243 comments |
|
| 27. | | Ask HN: What are some of the best university courses available online for free? |
| 399 points by curious16 on April 12, 2023 | 90 comments |
|
| 28. | | Path to a free, self-taught education in Computer Science (github.com/ossu) |
| 691 points by netfortius on Feb 6, 2023 | 199 comments |
|
