Improving Programming Efficiency Through Mental Proofs

When you're working on something difficult, sketch a proof in your head as you go that your code will actually do what you want it to do.

Doing this 'online' without interrupting your flow takes a lot of practice.

Once you get really good at it, you'll find that a surprising amount of the time your code will work.

A simple idea, but easier said than done: doing this 'online' without interrupting your flow takes a lot of practice.