RSSAmplifier

Blog

NGrislain

Personal site of Nicolas Grislain

ngrislain.github.ioRSS feed ↗10 posts

Latest posts

Vibe under constraint

Vibe coding is great. You describe what you want, the agent writes it, the tests pass, you ship. It keeps working right up to the moment it does not: the job gets killed by the OOM reaper in production, or it opens ten thousand file descriptors and falls over, or it runs fine on the sample and melts on the real dataset. The code was correct . It just assumed it had infinite memory and infinite…

Reading Note: A Theory of Deep Learning

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

Reading Note: The Neural Tangent Kernel

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

Reading Note: The Signature Method in Machine Learning

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

Reading Note: Mamba-3 and the State Space Model Renaissance

A reading note on Mamba-3: Improved Sequence Modeling using State Space Principles by Aakash Lahoti, Kevin Y. Li, Berlin Chen, Caitlin Wang, Aviv Bick, J. Zico Kolter, Tri Dao, and Albert Gu (ICLR 2026).

Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean 4's Type System

The best runtime check is the one that never runs.

Reading Note: Sequential-Parallel Duality in Prefix Scannable Models

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).

Don't Vibe — Prove

AI can write code fast. But can it write correct code?

How to Die Optimally — AI meets Economics

It started over lunch with two economist friends. We were having one of those long conversations about AI and economics — what happens to labor income when machines get good enough, whether capital saves you or dooms you, the usual cheerful lunchtime topics. By dessert, we had talked ourselves into a challenge: write an interactive research paper about it, in the style of the AER, with Yannick's…

Teaching 3D geometry with Pyxel

My kids are between five and eleven, so I usually keep their screen time short—unless they are building the experience themselves. What started as a throwaway line quickly became a pact, and they held me to it. We pulled out sketchbooks, drew some ideas, and soon we were designing a small 3D game together.