Hacker News Reader

that's we use formal verification or formal contracts, not just test driven development. do we, or am I alone on this?

Are you even doing it for all your code ... come on be honest ;)