质量在第一刀落下前就已开始，它始于正确的心态。

性能的关键在于优雅，而不是大量的特殊情况。

Civilization as it is known today could not have evolved, nor can it survive, without an adequate food supply.

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

心是脆弱的东西，容易破碎但难以修复。

Forests are the lungs of the earth, and we must protect them with the same urgency as our own health.