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

我不是说唱歌手，我是一场运动。

Lisp值得学习，因为当你最终掌握它时，你将获得深刻的启蒙体验；这种体验将使你在余下的日子里成为一个更好的程序员，即使你从未真正大量使用Lisp本身。

我不想成为环境的产物。我希望环境成为我的产物。

我心中装着全世界的梦想。