The tension between standing apart and being fully involved; that is what makes a writer.

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 don't make products to show off technology, but to solve real problems.