Premature optimization is the root of all evil.

不探索奇景，不穷尽幽深之处，就不足以谈论山水

The great end of life is not knowledge but action.  

引用《于是一片光明》

The development of formal systems has revolutionized our understanding of mathematics.

傲慢的人突然显达，上天也会惩罚他；疏漏放纵的人，努力求进取，上天也会宽容他的行为。

Je est un autre. Si le cuivre s'éveille clairon, il n'y a rien de sa faute.

简单是终极的复杂。

未来是让技术为人类服务。