| user: | aaraujo002 |
| created: | December 8, 2021 |
| karma: | 998 |
| 1. | Lean Verified Transformers(srush.github.io) |
| 2. | Making Startups Powerful(paulgraham.com) |
| 3. | The KV cache as an agent runtime(research.yandex.com) |
| 4. | Terence Tao on the Navier-Stokes Equations(mathstodon.xyz) |
| 5. | 31 days ago | discuss |
| 6. | Fermat's Last Theorem in Lean 4(github.com) |
| 7. | |
| 8. | |
| 9. | Improving the Matrix Multiplication Exponent(arxiv.org) |
| 10. | Mathematics in the Age of AI(arxiv.org) |
| 11. | |
| 12. | A New Chapter for Reve(blog.reve.com) |
| 13. | |
| 14. | |
| 15. | |
| 16. | We built a browser with GPT-5.2 in Cursor(xcancel.com) |
| 17. | |
| 18. | The Eiffel Tower Llama(huggingface.co) |