Hacker News Reader

Why not make a compromise?

Assume that software has no bugs if there is a publically available machine-checkable proof of the program correctness.

Because they would put an insane unreasonable burden on everyone who has a computer. and basically make everyone but multi-billion companies have to assume their systems are at fault.

Do you see the irony in your reply or would you like me to explain it?

Reply on news.ycombinator.com