News for hackers. Stuff that matters.

A comment on Lean Now Ships with Verified Kernels. Parent comment

Re:Lean Now Ships with Verified Kernels by dnautics on Sunday October 18, 2026 @02:10PM (#50143702)
> humans make fewer mistakes

Is this empirically measurable?

[ Parent | on HN ]

There are no comments on this comment yet.