Hacker News Reader

Honest question - have you ever worked on a codebase with 0 bugs? I don't think that's feasibly. What you're asking for is an infallible god-like programmer.

You will always have bugs. The best engineers can solve the hardest bugs

View on HN

It's feasible to create no bugs with formal specification and formal verification. For example, with Lean 4, one can add a proof for each array-access-by-index that the index is within the bound of the associated array. Every aspect of the codebase can be subject to formal proofs that are verified by the compiler. See also CompCert and Sel4.

Honest question - How did you get from "less bugs" to "0 bugs"?

Maybe because there’s a bug in your statements. You use “no bugs” and “less bugs” to describe the same point.

Reply on news.ycombinator.com