在计算机科学中，我们总是在寻找表达能力和可处理性之间的平衡。
"In computer science, we are always trying to find the balance between expressiveness and tractability."
写作的行为是对生活荒谬性的一种抵抗。
现在你们不是国人的勇士，怎么能既学好学业又学好射箭呢？
It seems to me that the natural world is the greatest source of excitement; the greatest source of visual beauty; the greatest source of intellectual interest. It is the greatest source of so much in life that makes life worth living.
On developing company culture: "Part of company culture is path-dependent—it's the lessons you learn along the way."