最伟大的定理往往来自于对显而易见之事的质疑。
"Every experiment, no matter how small, is a step towards a greater understanding."
在我们认识到我们过去所做的很多事情是非常愚蠢的之前,我们不会变得更聪明。
Every setback is a setup for a comeback.
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
It's the rewards we want. It's a new way of looking at luxury goods. The next time you see somebody driving a Ferrari, don't think, "This is somebody who's greedy." Think, "This is somebody who is incredibly vulnerable and in need of love." Feel sympathy, rather than contempt.
唯一使生活成为可能的是永久、无法忍受的不确定性;不知道接下来会发生什么。
写作的真正挑战不在于找到正确的词语,而在于揭示它们必须承载的真相。