The work is always changing.
Music is the only thing that makes sense anymore.
我希望不久之后我们就能有一台能够解决所有数学问题的机器。
"We are all broken, but it is in the cracks that the light gets in."
用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
I don't want to be a boss. I want to be a brother.
The writer must believe that what he is doing is the most important thing in the world. And he must hold to this illusion even when he knows it is not true.