To be a better programmer, write little proofs in your head

the-nerve-blog.ghost.io