41554 blogs · [ { "id": "01a087ae-e8e3-728b-870c-7cadd5ac6470", "title": "Like Terraform, but in Lean 4", "url": "https://ngrislain.github.io/blog/2026-9-6-like-terraform-but-in-lean-4/", "published_at": "2026-09-06T00:00:00+00:00" }, { "id": "01a087ae-e8e3-728b-870c-7cadd5df2b89", "title": "Language Models Are Anomaly Detectors", "url": "https://ngrislain.github.io/blog/2026-8-20-language-models-are-anomaly-detectors/", "published_at": "2026-08-20T00:00:00+00:00" }, { "id": "01a087ae-e8e3-728b-870c-7cadd5e19bd2", "title": "Vibe under constraint", "url": "https://ngrislain.github.io/projects/2026-6-22-vibe-under-constraint/", "published_at": "2026-06-22T00:00:00+00:00" }, { "id": "01a087ae-e8e3-728b-870c-7cadd68c8c3b", "title": "Reading Note: A Theory of Deep Learning", "url": "https://ngrislain.github.io/blog/2026-5-7-reading-note-a-theory-of-deep-learning/", "published_at": "2026-05-07T00:00:00+00:00" }, { "id": "01a087ae-e8e3-728b-870c-7cadd6cf2e29", "title": "Reading Note: The Neural Tangent Kernel", "url": "https://ngrislain.github.io/blog/2026-5-7-reading-note-the-neural-tangent-kernel/", "published_at": "2026-05-07T00:00:00+00:00" }, { "id": "01a087ae-e8e3-728b-870c-7cadd7b417f0", "title": "Reading Note: The Signature Method in Machine Learning", "url": "https://ngrislain.github.io/blog/2026-4-6-reading-note-the-signature-method-in-machine-learning/", "published_at": "2026-04-06T00:00:00+00:00" }, { "id": "01a087ae-e8e3-728b-870c-7cadd82dc7b4", "title": "Reading Note: Mamba-3 and the State Space Model Renaissance", "url": "https://ngrislain.github.io/blog/2026-3-29-reading-note-mamba3-and-the-state-space-model-renaissance/", "published_at": "2026-03-29T00:00:00+00:00" }, { "id": "01a087ae-e8e3-728b-870c-7cadd865dcdf", "title": "Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean 4's Type System", "url": "https://ngrislain.github.io/blog/2026-3-25-zerocost-posix-compliance-encoding-the-socket-state-machine-in-lean-4s-type-system/", "published_at": "2026-03-25T00:00:00+00:00" }, { "id": "01a087ae-e8e3-728b-870c-7cadd8d0e775", "title": "Reading Note: Sequential-Parallel Duality in Prefix Scannable Models", "url": "https://ngrislain.github.io/blog/2026-3-13-reading-note-sequentialparallel-duality-in-prefix-scannable-models/", "published_at": "2026-03-13T00:00:00+00:00" }, { "id": "01a087ae-e8e3-728b-870c-7cadd9bdc930", "title": "Don't Vibe — Prove", "url": "https://ngrislain.github.io/projects/2026-3-12-dont-vibe--prove/", "published_at": "2026-03-12T00:00:00+00:00" }, { "id": "01a087ae-e8e3-728b-870c-7cadd9c6adfc", "title": "How to Die Optimally — AI meets Economics", "url": "https://ngrislain.github.io/projects/2026-2-20-how-to-die-optimally--ai-meets-economics/", "published_at": "2026-02-20T00:00:00+00:00" }, { "id": "01a087ae-e8e3-728b-870c-7cadda7f6cc5", "title": "Teaching 3D geometry with Pyxel", "url": "https://ngrislain.github.io/projects/2025-11-8-teaching-3d-geometry-with-pyxel/", "published_at": "2025-11-08T00:00:00+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/ngrislain.github.io/posts