The people who are crazy enough to think they can change the world are the ones who do.

The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.

我们必须承认自己的错误并从中吸取教训。

The work is always in conversation with other works.

算法研究既关乎逻辑和数学，也关乎创造力。