ngrislain
- Karma
- 90
- Created
- 7 years ago
About
Co-founder of Sarus Technologies (YC W22) Email: nicolas.grislain@gmail.comYC Badge: 0x454a841da25d3ae21ab4a2b3e8495f663280ced8
Recent Submissions
- 1. ▲ Like Terraform, but in Lean 4 (ngrislain.github.io)
- 2. ▲ Language Models Are Anomaly Detectors (ngrislain.github.io)
- 3. ▲ LaSuite.coop (lasuite.coop)
- 4. ▲ Anomaly Detection with LLMs for Cybersecurity (ngrislain.github.io)
- 5. ▲ Investigate every security event with an AI agent, without the frontier bill (datadoghq.com)
- 6. ▲ Vibe Under Constraint - Claude Code writing Lean 4 (ngrislain.github.io)
- 7. ▲ Mamba-3 and the State Space Model Renaissance (ngrislain.github.io)
- 8. ▲ The Signature Method in Machine Learning (an interactive reading note) (ngrislain.github.io)
- 9. ▲ Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types (ngrislain.github.io)
- 10. ▲ Reading Note: Sequential-Parallel Duality in Prefix Scannable Models (ngrislain.github.io)