| 1. | | HTML Can Do That (chrisburnell.com) |
| 1023 points by encyclopedism 25 days ago | 231 comments |
|
| 2. | | Small, native web tricks worth remembering (htmlcat.net) |
| 250 points by marcomezzavilla 23 days ago | 64 comments |
|
| 3. | | Principia Mathematica is modern and insightful (okmij.org) |
| 281 points by matt_d 32 days ago | 157 comments |
|
| 4. | | Introduction to Formal Verification with Lean Part 1 (hashcloak.com) |
| 244 points by badcryptobitch 56 days ago | 52 comments |
|
| 5. | | A global workspace in language models (anthropic.com) |
| 467 points by in-silico 69 days ago | 201 comments |
|
| 6. | | Applied Category Theory Course (2018) (ucr.edu) |
| 152 points by measurablefunc 72 days ago | 13 comments |
|
| 7. | | Leanstral 1.5 (mistral.ai) |
| 310 points by vetronauta 75 days ago | 149 comments |
|
| 8. | | Making frontier cybersecurity capabilities available to defenders (anthropic.com) |
| 141 points by surprisetalk 6 months ago | 62 comments |
|
| 9. | | Animated Knots (animatedknots.com) |
| 345 points by ostacke 7 months ago | 49 comments |
|
| 10. | | Mathematics for Computer Science (2018) [pdf] (csail.mit.edu) |
| 412 points by vismit2000 8 months ago | 66 comments |
|
| 11. | | Braid Math Article (ams.org) |
| 15 points by marysminefnuf 8 months ago |
|
| 12. | | Statistical Process Control in Python (timothyfraser.com) |
| 230 points by lifeisstillgood 9 months ago | 73 comments |
|
| 13. | | The Smol Training Playbook: The Secrets to Building World-Class LLMs (huggingface.co) |
| 265 points by kashifr 10 months ago | 19 comments |
|
| 14. | | A small number of samples can poison LLMs of any size (anthropic.com) |
| 1202 points by meetpateltech 11 months ago | 439 comments |
|
| 15. | | Sheafification – The optimal path to mathematical mastery: The fast track (2022) (sheafification.com) |
| 96 points by atomicnature on Aug 31, 2025 | 50 comments |
|
| 16. | | Fine-tuned small LLMs can beat large ones with programmatic data curation (tensorzero.com) |
| 53 points by GabrielBianconi on Aug 4, 2025 | 11 comments |
|
| 17. | | Hierarchical Reasoning Model (arxiv.org) |
| 339 points by hansmayer on July 27, 2025 | 106 comments |
|
| 18. | | Ongoing Lean formalization of the proof for Fermat's Last Theorem (github.com/imperialcollegelondon) |
| 127 points by anonyonoor on July 31, 2025 | 79 comments |
|
| 19. | | Alice's Adventures in a Differentiable Wonderland (arxiv.org) |
| 157 points by henning on June 30, 2025 | 26 comments |
|
| 20. | | Nanonets-OCR-s – OCR model that transforms documents into structured markdown (huggingface.co) |
| 361 points by PixelPanda on June 16, 2025 | 78 comments |
|
| 21. | | Apple announces Foundation Models and Containerization frameworks, etc (apple.com) |
| 860 points by thm on June 9, 2025 | 489 comments |
|
| 22. | | Field Notes from Shipping Real Code with Claude (diwank.space) |
| 354 points by diwank on June 7, 2025 | 99 comments |
|
| 23. | | Systems Correctness Practices at Amazon Web Services (acm.org) |
| 383 points by tanelpoder on May 30, 2025 | 132 comments |
|
| 24. | | Show HN: Confidential computing for high-assurance RISC-V embedded systems (github.com/ibm) |
| 103 points by mrnoone on May 21, 2025 | 9 comments |
|
| 25. | | Writing that changed how I think about programming languages (bernsteinbear.com) |
| 463 points by r4um on May 14, 2025 | 60 comments |
|
| 26. | | How linear regression works intuitively and how it leads to gradient descent (briefer.cloud) |
| 334 points by lucasfcosta on May 5, 2025 | 101 comments |
|
| 27. | | Orders of Infinity (terrytao.wordpress.com) |
| 82 points by matt_d on May 4, 2025 | 15 comments |
|
| 28. | | Numerical Linear Algebra Class in Julia TUM (venkovic.github.io) |
| 145 points by darboux on May 3, 2025 | 8 comments |
|
| 29. | | Algebraic Semantics for Machine Knitting (uwplse.org) |
| 246 points by PaulHoule on April 22, 2025 | 20 comments |
|
| 30. | | Electromagnetism as a Purely Geometric Theory (iop.org) |
| 148 points by andyjohnson0 on April 19, 2025 | 64 comments |
|
|
| More |
