41554 blogs · [ { "id": "01a08799-d54b-707e-9257-8716daa9b860", "title": "Postmortem for the Kernel Soundness Bug Hunt", "url": "https://leodemoura.github.io/blog/2026-8-24-postmortem-for-the-kernel-soundness-bug-hunt/", "published_at": "2026-08-24T00:00:00+00:00" }, { "id": "01a08799-d54b-707e-9257-8716db5dbae9", "title": "Postmortem for Kernel Soundness Bug #14576", "url": "https://leodemoura.github.io/blog/2026-8-1-postmortem-for-kernel-soundness-bug-14576/", "published_at": "2026-08-01T00:00:00+00:00" }, { "id": "01a08799-d54b-707e-9257-8716db68cc2a", "title": "Signal Shot: The Platform Is Ready", "url": "https://leodemoura.github.io/blog/2026-4-20-signal-shot-the-platform-is-ready/", "published_at": "2026-04-20T00:00:00+00:00" }, { "id": "01a08799-d54b-707e-9257-8716dbc8b5d8", "title": "Why Lean?", "url": "https://leodemoura.github.io/blog/2026-4-2-why-lean/", "published_at": "2026-04-02T00:00:00+00:00" }, { "id": "01a08799-d54b-707e-9257-8716dc54e164", "title": "Cray Colloquium at the University of Minnesota", "url": "https://leodemoura.github.io/notes/2026-3-28-cray-colloquium-at-the-university-of-minnesota/", "published_at": "2026-03-28T00:00:00+00:00" }, { "id": "01a08799-d54b-707e-9257-8716dd2bb0c9", "title": "Who Watches the Provers?", "url": "https://leodemoura.github.io/blog/2026-3-16-who-watches-the-provers/", "published_at": "2026-03-16T00:00:00+00:00" }, { "id": "01a08799-d54b-707e-9257-8716dd72da47", "title": "This website is now powered by Verso", "url": "https://leodemoura.github.io/notes/2026-3-15-this-website-is-now-powered-by-verso/", "published_at": "2026-03-15T00:00:00+00:00" }, { "id": "01a08799-d54b-707e-9257-8716dd848fba", "title": "Teaching AI to Make Proof Automation Work", "url": "https://leodemoura.github.io/blog/2026-3-14-teaching-ai-to-make-proof-automation-work/", "published_at": "2026-03-14T00:00:00+00:00" }, { "id": "01a08799-d54b-707e-9257-8716de04ed74", "title": "sym => : interactive mode for scalable verification", "url": "https://leodemoura.github.io/notes/2026-3-13-sym---interactive-mode-for-scalable-verification/", "published_at": "2026-03-13T00:00:00+00:00" }, { "id": "01a08799-d54b-707e-9257-8716dee837d5", "title": "When AI Writes the World's Software, Who Verifies It?", "url": "https://leodemoura.github.io/blog/2026-2-28-when-ai-writes-the-worlds-software-who-verifies-it/", "published_at": "2026-02-28T00:00:00+00:00" }, { "id": "01a08799-d54b-707e-9257-8716df2f502d", "title": "Proof Assistants in the Age of AI", "url": "https://leodemoura.github.io/blog/2026-2-18-proof-assistants-in-the-age-of-ai/", "published_at": "2026-02-18T00:00:00+00:00" } ] posts Claim your blog

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