Skip to content

Blogs / Personal blogs

Leonardo de Moura

leodemoura.github.io

Leonardo de Moura — Creator of Lean and Z3

Popular posts: 3
Total points: 671
HN comments: 441
Rank: #3,640 personal

Visit leodemoura.github.io → RSS feedOn Hacker News Mar 2026 – Oct 2026

Software Engineering 3 Open Source 2 AI & Machine Learning 1

Most points Most discussed Most cited Newest

1

When AI writes the software, who verifies it?

2026305 points298 comments AI & Machine Learning details

2

Lean now ships with verified kernels

2026204 points81 comments Software Engineering details

Leonardo de Moura — Creator of Lean and Z3

3

Postmortem for Kernel Soundness Bug #14576

2026162 points62 commentscited by 7Software Engineering details

Leonardo de Moura — Creator of Lean and Z3