记忆是一种成就，甚至是一种更新。
"Memory is a kind of accomplishment, a sort of renewal even."
The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is probably not important to mathematics.
我们需要对外界的学习充满永不满足的渴望，并将这些学习成果带入微软。
The most important thing in the programming world is to keep learning and practicing.
We must always question our assumptions and be willing to revise our understanding in light of new evidence.
翻译：仰观天上日月星辰，俯察地面山川原野，因此能够知晓幽隐和显明的各种事理。
你必须站起来说："我、我的身材或我是谁都没有问题。"
Innovation in forestry isn't about replacing nature, but enhancing our partnership with it.《The Green Leadership》