The Proof Sheet

Notes from the bench — what we got wrong, what we keep re-learning, and the things we look at when we are not working.