用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。

我被艺术作为一种共享体验的理念所吸引。

True innovation often comes from unexpected directions.

Strive for excellence, not mediocrity.

The most important thing in the programming language is the name. A language will not succeed without a good name. I have recently invented a very good name and now I am looking for a suitable language.

数字革命不仅是经济问题，更是文化和民主问题。