Why is writing mathematical proofs more fault-proof than writing code? (2011)
[Meta] Why do people respond in the HN comments with answers to this question? Do people not realise that this is a post to a thread, wherein the value (and the answers) are in the original link, on stackexchange?