宏观是我们必须接受的，微观才是我们能有所作为的。

The primary rules of obligation are those that require or forbid certain actions.

数学是一种让我们能够描述无法描述的事物的语言。

Think of all the psychic energy expended in seeking a fundamental distinction between "algorithm" and "program".

你越努力，就越幸运。

对抗压力最强大的武器是我们能够选择一种思想而非另一种。