TLA+ is what rekindled my genuine love for mathematices. I am a self taught dev and learning TLA+ gave me the feel of a "real" computer science. Learning how

TLA+ is what rekindled my genuine love for mathematices. I am a self taught dev and learning TLA+ gave me the feel of a "real" computer science. Learning how to think of of programs excusively as state machines gives a kind of intellectual clarity I didn't know existed. It is also the only thing that actually improved my dev productivity by magnitudes.