Hacker News new | ask | show | jobs
by vanderZwan 880 days ago
> How many of you are proving your programs correct before entering them into the computer?

Not enough of us, that's how many.

Also, if he said this back when the majority of programs were written in assembly I think it makes a lot more sense.