编程语言中最重要的东西是名字。没有好名字的语言不会成功。

The deepest theorems often have the simplest proofs - if you look at them from the right angle.

挑战是伪装的机会；勇敢地拥抱它们。

只为三个国家制造不值得我花时间；但为全世界制造则非常值得。

写作是探索人类心灵复杂性的一种方式。