理论计算机科学中的挑战不仅仅是解决问题，而是理解问题解决的本质。

接口可以使事情保持整洁，但不能加速增长：函数可以做到。

定理让我兴奋；证明让我厌倦。我的头脑不适合做那些繁琐、细致的工作，去证明我已经知道是正确的东西。

"What we choose to remember says as much about us as what we choose to forget."

你能做的最好的投资就是投资自己。