我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。

You don't have to be brilliant, only a little bit wiser than the other guys, on average, for a long, long time.

真正的智慧并非在于避免所有的错误，而是在于从错误中快速学习和成长。

写作就是回忆，回忆就是再次生活。

实现长期成功的唯一方法是在社会中创造真正的价值。

乐观的基础是纯粹的恐惧。