Skip to content

Leonardo de Moura personal blog

Lean now ships with verified kernels

leodemoura.github.io 3 min read

Leonardo de Moura — Creator of Lean and Z3

Read on leodemoura.github.io → Discuss on HN (81) Archived copy

Points: 204
HN comments: 81
Submissions: 1
Cited by: 0 commenters

Software Engineering Open Source 2026

On Hacker News

Submitted	Title on HN	Points	Comments
Oct 16, 2026	Lean now ships with verified kernels by matt_d	204	81

More from Leonardo de Moura

All 3 posts →

When AI writes the software, who verifies it?

2026305 points298 comments AI & Machine Learning details

Postmortem for Kernel Soundness Bug #14576

2026162 points62 commentscited by 7Software Engineering details

Related posts from the same era

Ghostty is leaving GitHub

Mitchell Hashimoto20263,521 points1,051 commentscited by 3 details

Astra can read and write weights to improve Qwen

Rikiya Takehi20262,960 points899 comments details

Git commands I run before reading any code

Principal Software Engineer & Codebase Rescue20262,338 points509 comments details

Uv is the best thing to happen to the Python ecosystem in a decade

Dr. Emily L. Hunt20252,214 points1,324 comments details

Anthropic acquires Bun

Bun Blog20252,192 points1,072 commentscited by 7 details

Zed 1.0

Zed Blog20262,153 points690 comments details