3 ms·

World's first hack-free software 'developed'

• RiderOfGiraffes 16y ago
  Earlier submissions: http://news.ycombinator.com/item?id=2152792 http://news.ycombinator.com/item?id=2152792 http://news.ycombinator.com/item?id=2151464 http://news.ycombinator.com/item?id=2151464
• iwwr 16y ago
  In Donald Knuth's words: "I have only proven it correct, not tested it".