TO BE A BETTER PROGRAMMER, WRITE LITTLE PROOFS IN YOUR HEAD

Summary from the TLDR newsletter

One trick that helps developers write code faster and more accurately is to sketch proofs in your head when you're working on something difficult. Doing this without interrupting flow takes a lot of practice, but once you get good at it, you'll find a surprising amount of code will work on the first or second try. This article demonstrates a few examples of how this technique can be applied.