NGrislain

I spent two weekends building infra, an infrastructure-as-code tool in Lean 4.

I work on security detection at Datadog.

Vibe coding is great.

A reading note on Neural Tangent Kernel: Convergence and Generalization in Neural Networks by Arthur Jacot, Franck Gabriel, and Clément Hongler (NeurIPS 2018).

A reading note on A Theory of Deep Learning by Elon Litman (May 2026, preprint forthcoming).

A reading note on A Primer on the Signature Method in Machine Learning by Ilya Chevyrev and Andrey Kormilitzin.

A reading note on Mamba-3: Improved Sequence Modeling using State Space Principles by Aakash Lahoti, Kevin Y.

The best runtime check is the one that never runs.

A reading note on Sequential-Parallel Duality in Prefix Scannable Models by Morris Yau, Sharut Gupta, Valerie Engelmayer, Kazuki Irie, Stefanie Jegelka, and Jacob Andreas (ICLR 2026).

AI can write code fast.

It started over lunch with two economist friends.

My kids are between five and eleven, so I usually keep their screen time short—unless they are building the experience themselves.