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

在我们的伊甸园中，苹果放弃了汇编语言：使用语言浪费机器周期是有罪的。现在，LISP机器允许LISP程序员放弃胸罩和无花果叶。

最好的设计是解决人们甚至没有意识到的问题。

生活是相遇的艺术，尽管生活中充满了错失。

The most valuable resource in any company is its people—invest in them wisely.

Don't just sell products—sell values and vision.

我们正处在生物学新纪元的黎明，计算方法将引领方向。