| user: | ngrislain |
| created: | February 8, 2019 |
| karma: | 82 |
| about: | Co-founder of Sarus Technologies (YC W22)
Email: nicolas.grislain@gmail.com YC Badge: 0x454a841da25d3ae21ab4a2b3e8495f663280ced8 |
| 1. | Mamba-3 and the State Space Model Renaissance(ngrislain.github.io) |
| 2. | The Signature Method in Machine Learning (an interactive reading note)(ngrislain.github.io) |
| 3. | Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types(ngrislain.github.io) |
| 4. | Reading Note: Sequential-Parallel Duality in Prefix Scannable Models(ngrislain.github.io) |
| 5. | |
| 6. | Don't Vibe – Prove(ngrislain.github.io) |
| 7. | |
| 8. | How to Die Optimally – A Theory of Consumption When AI Takes Your Job(ngrislain.github.io) |
| 9. | Lean Advent of Code 2025(github.com) |
| 10. | Teaching 3D Geometry with Pyxel(ngrislain.github.io) |
| 11. | Mathematical Beauty, Truth and Proof in the Age of AI(quantamagazine.org) |
| 12. | Post-Labor Economics Lecture 01 [video](youtube.com) |
| 13. | |
| 14. | 1 year ago | discuss |