| 1. | | Rob Pike goes nuclear over GenAI (skyview.social) |
| 1550 points by christoph-heiss 66 days ago | 1797 comments |
|
| 2. | | Mathematicians don't care about foundations (2022) (matteocapucci.wordpress.com) |
| 59 points by scrivanodev 72 days ago | 33 comments |
|
| 3. | | You should write an agent (fly.io) |
| 1070 points by tabletcorry 3 months ago | 395 comments |
|
| 4. | | Wheeled Inverted Pendulum Model (scaron.info) |
| 32 points by pillars 4 months ago | 9 comments |
|
| 5. | | D2: Diagram Scripting Language (d2lang.com) |
| 290 points by benzguo 4 months ago | 72 comments |
|
| 6. | | Open Source Maintenance Fee (github.com/wixtoolset) |
| 356 points by AndrewDucker 7 months ago | 250 comments |
|
| 7. | | Coding with LLMs in the summer of 2025 – an update (antirez.com) |
| 600 points by antirez 7 months ago | 414 comments |
|
| 8. | | BusyBeaver(6) Is Quite Large (scottaaronson.blog) |
| 272 points by bdr 8 months ago | 223 comments |
|
| 9. | | TPU Deep Dive (henryhmko.github.io) |
| 451 points by transpute 8 months ago | 86 comments |
|
| 10. | | Signal – An Ethical Replacement for WhatsApp (greenstarsproject.org) |
| 187 points by miles 8 months ago | 281 comments |
|
| 11. | | Alpha Centauri (filfre.net) |
| 211 points by doppp 8 months ago | 74 comments |
|
| 12. | | AbsenceBench: Language models can't tell what's missing (arxiv.org) |
| 324 points by JnBrymn 8 months ago | 84 comments |
|
| 13. | | How much energy does it take to think? (quantamagazine.org) |
| 91 points by nsoonhui 8 months ago | 74 comments |
|
| 14. | | A Lean companion to Analysis I (terrytao.wordpress.com) |
| 292 points by jeremyscanvic 9 months ago | 42 comments |
|
| 15. | | Designing Tools for Scientific Thought (forester-notes.org) |
| 77 points by harperlee 9 months ago | 10 comments |
|
| 16. | | Why Algebraic Effects? (antelang.org) |
| 293 points by jiggawatts 9 months ago | 199 comments |
|
| 17. | | CRDTs #2: Turtles All the Way Down (jhellerstein.github.io) |
| 67 points by pfarago 9 months ago | 2 comments |
|
| 18. | | John Carmack talk at Upper Bound 2025 (twitter.com/id_aa_carmack) |
| 557 points by tosh 9 months ago | 360 comments |
|
| 19. | | Collaborative Text Editing Without CRDTs or OT (mattweidner.com) |
| 284 points by samwillis 9 months ago | 79 comments |
|
| 20. | | The Price of Remission (propublica.org) |
| 89 points by danso 9 months ago | 93 comments |
|
| 21. | | Where are all the rewrite rules? (philipzucker.com) |
| 59 points by todsacerdoti on Feb 19, 2025 | 29 comments |
|
| 22. | | How to scale your model: A systems view of LLMs on TPUs (jax-ml.github.io) |
| 185 points by mattjjatgoogle on Feb 4, 2025 | 30 comments |
|
| 23. | | Nvidia Security Team: “What if we just stopped using C?” (2022) (adacore.com) |
| 306 points by transpute on Feb 10, 2025 | 179 comments |
|
| 24. | | LIMO: Less Is More for Reasoning (arxiv.org) |
| 389 points by trott on Feb 9, 2025 | 128 comments |
|
| 25. | | Modern-Day Oracles or Bullshit Machines? How to thrive in a ChatGPT world (thebullshitmachines.com) |
| 930 points by ctbergstrom on Feb 9, 2025 | 603 comments |
|
| 26. | | Noether's Theorem Revolutionized Physics (quantamagazine.org) |
| 139 points by MindGods on Feb 7, 2025 | 79 comments |
|
| 27. | | How to Run DeepSeek R1 671B Locally on a $2000 EPYC Server (digitalspaceport.com) |
| 463 points by walterbell on Feb 1, 2025 | 283 comments |
|
| 28. | | The Illustrated DeepSeek-R1 (languagemodels.co) |
| 578 points by amrrs on Jan 27, 2025 | 118 comments |
|
| 29. | | Learn Yjs Interactively (yjs.dev) |
| 309 points by paulgb on Jan 16, 2025 | 42 comments |
|
| 30. | | No Calls (keygen.sh) |
| 1603 points by ezekg on Jan 16, 2025 | 517 comments |
|
|
| More |
