| 1. | | Production RAG: what I learned from processing 5M+ documents (abdellatif.io) |
| 551 points by tifa2up 6 months ago | 114 comments |
|
| 2. | | ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com/debarghag) |
| 326 points by barthelomew 6 months ago | 175 comments |
|
| 3. | | Why LLMs can't really build software (zed.dev) |
| 862 points by srid 8 months ago | 504 comments |
|
| 4. | | Model intelligence is no longer the constraint for automation (latentintent.substack.com) |
| 113 points by drivian 8 months ago | 152 comments |
|
| 5. | | An LLM Router That Thinks Like an Engineer (medium.com/dracattusdev) |
| 11 points by honorable_coder 9 months ago | 1 comment |
|
| 6. | | Peano arithmetic is enough, because Peano arithmetic encodes computation (math.stackexchange.com) |
| 246 points by btilly 10 months ago | 141 comments |
|
| 7. | | Field Notes from Shipping Real Code with Claude (diwank.space) |
| 354 points by diwank 10 months ago | 99 comments |
|
| 8. | | A deep dive into self-improving AI and the Darwin-Gödel Machine (richardcsuwandi.github.io) |
| 195 points by hardmaru 10 months ago | 97 comments |
|
| 9. | | Quarkdown: A modern Markdown-based typesetting system (github.com/iamgio) |
| 668 points by asicsp 10 months ago | 273 comments |
|
| 10. | | Show HN: Defuddle, an HTML-to-Markdown alternative to Readability (github.com/kepano) |
| 418 points by kepano 11 months ago | 68 comments |
|
| 11. | | Git Bug: Distributed, Offline-First Bug Tracker Embedded in Git, with Bridges (github.com/git-bug) |
| 312 points by stefankuehnel 11 months ago | 107 comments |
|
| 12. | | How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean (kirancodes.me) |
| 81 points by gopiandcode 11 months ago | 17 comments |
|
| 13. | | Observations from people-watching (skincontact.substack.com) |
| 462 points by jger15 11 months ago | 229 comments |
|
| 14. | | Parametric Modeling with Grasshopper (baharmon.github.io) |
| 40 points by downboots 11 months ago | 9 comments |
|
| 15. | | Linkwarden: FOSS self-hostable bookmarking with AI-tagging and page archival (linkwarden.app) |
| 301 points by FireInsight 12 months ago | 111 comments |
|
| 16. | | Reversible computing with mechanical links and pivots (tennysontbardwell.com) |
| 163 points by tennysont 12 months ago | 68 comments |
|
| 17. | | DeepSeek-Prover-V2 (github.com/deepseek-ai) |
| 396 points by meetpateltech 12 months ago | 77 comments |
|
| 18. | | Do Large Language Models know who did what to whom? (arxiv.org) |
| 39 points by badmonster 12 months ago | 5 comments |
|
| 19. | | Local LLM inference – impressive but too hard to work with (medium.com/aazo11) |
| 84 points by aazo11 on April 21, 2025 | 58 comments |
|
| 20. | | OpenAI Codex CLI: Lightweight coding agent that runs in your terminal (github.com/openai) |
| 516 points by mfiguiere on April 16, 2025 | 289 comments |
|
| 21. | | Smartfunc: Turn Docstrings into LLM-Functions (github.com/koaning) |
| 70 points by alexmolas on April 8, 2025 | 25 comments |
|
| 22. | | Show HN: Koreo – A platform engineering toolkit for Kubernetes (koreo.dev) |
| 120 points by tylertreat on April 10, 2025 | 44 comments |
|
| 23. | | AnimeJs v4 Is Here (animejs.com) |
| 973 points by adrianvoica on April 3, 2025 | 155 comments |
|
| 24. | | Tracing the thoughts of a large language model (anthropic.com) |
| 1072 points by Philpax on March 27, 2025 | 394 comments |
|
| 25. | | Making of the New York and Erie Railroad Organizational Diagram (c82.net) |
| 51 points by tobr on March 29, 2025 | 3 comments |
|
| 26. | | Source code art in the Rivulet language (github.com/rottytooth) |
| 168 points by cranbor on March 27, 2025 | 29 comments |
|
| 27. | | Piranesi's Perspective Trick (2019) (medium.com/brunopostle) |
| 352 points by amatheus on March 27, 2025 | 87 comments |
|
| 28. | | Scallop – A Language for Neurosymbolic Programming (scallop-lang.org) |
| 229 points by andsoitis on March 22, 2025 | 64 comments |
|
| 29. | | The Burnout Machine (unionize.fyi) |
| 853 points by flxfxp on March 20, 2025 | 664 comments |
|
| 30. | | The cultural divide between mathematics and AI (sugaku.net) |
| 300 points by rfurmani on March 12, 2025 | 177 comments |
|
|
| More |
