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 a finite problem.

"We are all patchwork, and so shapeless and diverse in composition that each bit, each moment, plays its own game."

The best investment we can make is in the health of future generations.

未来属于那些明白“以少做多”不仅是一种选择，而且是一种必然的人。

A company’s culture is shaped by the worst behavior the leadership is willing to tolerate.

【译文】 孔子说：“《诗经》三百首，用一句话可以概括，即：‘思想纯洁’。”

计算机科学中的知识追求是一次穿越逻辑和创造力的旅程。