优化编译器很像核电站。它们都非常强大，也非常危险。

要理解量子世界，我们必须先忘掉我们的经典直觉。

"To write is to speak without being interrupted."

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.

Music is the light in the darkness.

50岁重建事业并不容易——但值得的事情从来都不简单。

我越是思考语言，就越惊讶于人们竟然能够相互理解。

忙碌的人没有时间流泪