| user: | ngrislain |
| created: | February 8, 2019 |
| karma: | 90 |
| about: | Co-founder of Sarus Technologies (YC W22)
Email: nicolas.grislain@gmail.com YC Badge: 0x454a841da25d3ae21ab4a2b3e8495f663280ced8 |
| 1. | |
| 2. | Like Terraform, but in Lean 4(ngrislain.github.io) |
| 3. | Language Models Are Anomaly Detectors(ngrislain.github.io) |
| 4. | LaSuite.coop(lasuite.coop) |
| 5. | Anomaly Detection with LLMs for Cybersecurity(ngrislain.github.io) |
| 6. | |
| 7. | Vibe Under Constraint - Claude Code writing Lean 4(ngrislain.github.io) |
| 8. | Mamba-3 and the State Space Model Renaissance(ngrislain.github.io) |
| 9. | The Signature Method in Machine Learning (an interactive reading note)(ngrislain.github.io) |
| 10. | Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types(ngrislain.github.io) |
| 11. | Reading Note: Sequential-Parallel Duality in Prefix Scannable Models(ngrislain.github.io) |
| 12. | |
| 13. | Don't Vibe – Prove(ngrislain.github.io) |
| 14. | |
| 15. | How to Die Optimally – A Theory of Consumption When AI Takes Your Job(ngrislain.github.io) |
| 16. | Lean Advent of Code 2025(github.com) |
| 17. | Teaching 3D Geometry with Pyxel(ngrislain.github.io) |
| 18. | Mathematical Beauty, Truth and Proof in the Age of AI(quantamagazine.org) |