战略的本质是你必须对想要完成的事情设定限制。
许多人会称我为冒险家，我确实是……只是另一种冒险家：那种为了证明自己的真理而冒险的人。
The interpretation of our reality through patterns not our own serves only to make us ever more unknown, ever less free, ever more solitary.
I had ambition not only to go farther than any man had been before, but as far as it was possible for a man to go.
书籍是想象力的钥匙，而想象力是未来的钥匙。
理论物理学是唯一一个你可以通过犯错来谋生的科学。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.