3 ms·

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. Y

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

411111111111111 4y ago
Honest question - How did you get from "less bugs" to "0 bugs"?
- cudgy 4y ago
  Maybe because there’s a bug in your statements. You use “no bugs” and “less bugs” to describe the same point.
  - deleted 4y ago
    [deleted]
learningstud 4y ago
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.