Earlier quoted context omitted.
> Programs can be very close to 100% reliable when made well. This is a tautology. > I've never seen a calculator come up with the wrong answer when adding two numbers. https://imgz.org/i6XLg7Fz.png > And technically, most bugs are predictable in theory, they just aren't known ahead of time. When we're talking about reliability, it doesn't matter whether a thing can be reliable in theory, it matters whether it's reli…
> > Programs can be very close to 100% reliable when made well. > This is a tautology. No it's not. There are plenty of things that can't be 100% reliable no matter how well they're made. A perfect bridge is still going to break down and eventually fall apart. The best possible motion-activated light is going to have false positives and false negatives because the real world is messy. Light bulbs will burn out no mat…
All these failure modes are known and predicable, at least statistically