"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
The most dangerous lies are the ones we believe about ourselves.
True leadership is about creating more leaders, not more followers.
Doing e-commerce is like playing Go—you need to focus on both the immediate and the long term.