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

This is a brief write-up of a trick I learned that helps me write code faster and more accurately. I say “trick”, but it’s really something I started to do without noticing as I moved further into my career.

When you’re working on something difficult, sketch a proof in your

Read in full here:

Interesting. Are there books that discuss these approaches/techniques?

The approaches mentioned here are topics in Discrete Mathematics. One of the first topics taught there is logic and proofs.

Unfortunately mathematics is poorly taught and it’s books are also poorly written but do look up what you can find. The MathTutor on Youtube has a free playlist on Discrete Mathematics that you may like.