现实不仅比我们假设的更奇怪，而且比我们能假设的更奇怪。

Small-scale fishermen are not relics of the past—they're pioneers of the future.

The challenge in model checking is not just to find errors, but to understand why they occur.

"Fairy tales are more than true: not because they tell us that dragons exist, but because they tell us that dragons can be beaten."

领导力就是今天做出艰难的决定，以便明天让所有人受益。

翻译：贤明的君主和将领，之所以一出兵就可以战胜敌人，成就的功业超过一般人，是因为他们能事先探明敌情。事先探明敌情，不能使用占卜的手段获取，不可用类比的方法获取，也不可推验日月星辰运行来获取。一定要取之于人，取之于了解敌情的人。