To be a better programmer, write little proofs in your head (blog.get-nerve.com)