ngrislain
- Karma
- 85
- Created
- 7 years ago
About
Co-founder of Sarus Technologies (YC W22) Email: nicolas.grislain@gmail.comYC Badge: 0x454a841da25d3ae21ab4a2b3e8495f663280ced8
Recent Submissions
- 1. ▲ Investigate every security event with an AI agent, without the frontier bill (datadoghq.com)
- 2. ▲ Vibe Under Constraint - Claude Code writing Lean 4 (ngrislain.github.io)
- 3. ▲ Mamba-3 and the State Space Model Renaissance (ngrislain.github.io)
- 4. ▲ The Signature Method in Machine Learning (an interactive reading note) (ngrislain.github.io)
- 5. ▲ Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types (ngrislain.github.io)
- 6. ▲ Reading Note: Sequential-Parallel Duality in Prefix Scannable Models (ngrislain.github.io)
- 7. ▲ Show HN: Lean-pq a typesafe PostgreSQL connector for lean (github.com)
- 8. ▲ Don't Vibe – Prove (ngrislain.github.io)
- 9. ▲ Lean-PQ – Type-safe PostgreSQL bindings for Lean 4 via libpq FFI (github.com)
- 10. ▲ How to Die Optimally – A Theory of Consumption When AI Takes Your Job (ngrislain.github.io)