World's first hack-free software 'developed'

Earlier submissions:<p><a href="http://news.ycombinator.com/item?id=2152792" rel="nofollow">http://news.ycombinator.com/item?id=2152792</a><p><a href="http://news.ycombinator.com/item?id=2151464" rel="nofollow">http://news.ycombinator.com/item?id=2151464</a>

In Donald Knuth's words: "I have only proven it correct, not tested it".