@fasterthanlime Ah, right, because "if only programmers programmed correctly, programs would be correct" has always worked in the past.

Goodness, HN is a website.