"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."

The ladder of causation has three rungs: seeing, doing, and imagining.

A story is not just what is told, but what is left untold.

学者学习古人，开始时接触到的是粗浅的内容，中期接触到精华，最终领悟到其神妙变化。

The old-fashioned dictator does not exist under scientific management. The man at the head of the business under scientific management is governed by rules and laws which have been developed through hundreds of experiments just as much as the workman is.

呵，乐趣，尽管有人肯定会因你而倒霉，但你毕竟是如此令人快慰。

"Every story is a journey, and every journey changes the traveler."

The question I ask myself like almost every day is, 'Am I doing the most important thing I could be doing?'

The beauty of mathematics lies in its simplicity and depth.