当我们编写可以“学习”的程序时，事实证明我们是这样做的，而他们不是。

英国设计意味着一只脚在温莎城堡，另一只在硅谷。

幸福是最近两年里听到最多的词语。幸福不单只是和个人经历和价值相关，它也同样关系到我们的环境。

The idea of a margin of safety, a Graham precept, will never be obsolete. The idea of making the market your servant will never be obsolete. The idea of being objective and dispassionate will never be obsolete.

"The truth is, everyone is going to hurt you. You just got to find the ones worth suffering for."

形式化方法的美在于它们能够提供关于系统行为的绝对保证。