The less you need, the freer you become.
你所需要的越少，你就越自由。
计算机科学的美在于其无限的可能性。
懒惰奢侈，招来贫困；勤劳节俭，累积财富。
The law of nature is the fundamental wisdom.
计算复杂性的研究告诉我们，有些问题本质上是困难的，无论我们的算法多么聪明。
企业的社会责任不仅是道德要求，也是战略需要。
λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。
现在是过去卷起准备行动，过去是现在展开以便理解。
伟大的领导者倾听多于发言，行动多于计划。