ngrislain
- Karma
- 81
- Created
- 7 years ago
About
Co-founder of Sarus Technologies (YC W22) Email: nicolas.grislain@gmail.comYC Badge: 0x454a841da25d3ae21ab4a2b3e8495f663280ced8
Recent Submissions
- 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. ▲ Show HN: Lean-pq a typesafe PostgreSQL connector for lean (github.com)
- 6. ▲ Don't Vibe – Prove (ngrislain.github.io)
- 7. ▲ Lean-PQ – Type-safe PostgreSQL bindings for Lean 4 via libpq FFI (github.com)
- 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)