Hacker News Reader

>We ought to be able to build high-confidence software.

We are, it's just incredibly expensive.

As a witty person once said, good software is expensive to make... and so is bad software.

Cheers!