Formal mathematics is nature's way of letting you know how sloppy your mathematics is.
Specifying Systems: The Tla+ Language and Tools for Hardware and Software EngineersWorry not that your child listens to you; worry most that they watch you.
The Practice of Adaptive Leadership: Tools and Tactics for Changing Your Organization and the WorldDelegation is not a binary thing. There are shades of grey between a dictatorship and an anarchy.
#Workout: Games, Tools & Practices to Engage People, Improve Work, and Delight Clients