Skip to content

Leonardo de Moura personal blog

When AI writes the software, who verifies it?

leodemoura.github.io

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

Points: 305
HN comments: 298
Submissions: 1
Cited by: 0 commenters

AI & Machine Learning Software Engineering 2026

On Hacker News

Submitted	Title on HN	Points	Comments
Mar 3, 2026	When AI writes the software, who verifies it? by todsacerdoti	305	298

More from Leonardo de Moura

All 3 posts →

Lean now ships with verified kernels

2026204 points81 comments Software Engineering details

Postmortem for Kernel Soundness Bug #14576

2026162 points62 commentscited by 7Software Engineering details

Related posts from the same era

Statement on US government directive to suspend access to Fable 5 and Mythos 5

Anthropic20263,158 points2,314 commentscited by 11 details

Astra can read and write weights to improve Qwen

Rikiya Takehi20262,951 points895 comments details

HackerTube: YouTube built from videos recommended by HN

karpathy20262,882 points641 comments details

Claude Fable 5

Anthropic20262,626 points2,159 commentscited by 10 details

Claude Code is steganographically marking requests

Thereallo20262,445 points750 commentscited by 3 details

My AI skeptic friends are all nuts

Fly.io Blog20252,356 points2,826 commentscited by 13 details