To be a better programmer, write little proofs in your head(the-nerve-blog.ghost.io)
414 points by mprast | 154 comments
Blog post by Matthew Prast on the Nerve blog arguing that programmers write better code by informally proving correctness in their heads as they work.