一句谎话需要无数更大的谎话来遮掩。
I don’t play for records. I play because I love the game.
永远不要低估小而持续的改进的力量。
"It's not what you look at that matters, it's what you see."
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
生活是世界上最罕见的事情。大多数人只是存在，仅此而已。