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

The most exciting moments in mathematics are when you see connections between things that seemed unrelated before.

I don’t know that women are always rewarded for being charming. I think they are usually punished for it.

软件工程的目标是控制复杂性，而不是制造复杂性。

每面墙都有自己的声音，我的工作就是倾听。