New top story on Hacker News: Why is writing mathematical proofs more fault-proof than writing code? (2011)

http://ift.tt/2yfKzst
New top story on Hacker News: Why is writing mathematical proofs more fault-proof than writing code? (2011) http://ift.tt/2CkvlcW
via IFTTT