The nice thing about programs that are just math is that you can prove they're correct. Publishing that proof for the AVM is top of mind. I've had my share of experience working with high-stakes financial code over the years. I still sometimes wake up at 3am to go triple check a fuzz test I wrote 5 months ago because in my dreams I can't exactly remember the invariants it covers. The invariant was there, of course it was there, ok . . . and then it's back to sack. Paranoia is an occupational hazard in this line. But, I've learned there are ways to mitigate the symptoms with good habits. I'm making a guide with practical tips on how to write correct programs for Solana. Sharing my favorite programming tip below: