o be a better programmer, write little proofs in your head
Train yourself to sketch small, continuous proofs about your code to design faster, more accurate software and measure its "proof-affinity."
Showing only posts tagged postconditions. Show all posts.
To Be a Better Programmer, Write Little Proofs in Your Head
A practical technique: mentally sketch simple proofs as you code to reason more clearly, reduce errors, and design code with intrinsic verifiability.