我们每个人都有责任。我们可能认为我们生活在远离海洋的地方，但我们没有。我们在这里所做的实际上对海洋有直接影响——而海洋所做的又会反过来影响我们。

You can't let praise or criticism get to you. It's a weakness to get caught up in either one.

定理是永恒的；它们的证明是短暂的。

编程语言中最重要的东西是名字。没有好名字的语言不会成功。我最近发明了一个非常好的名字，现在正在寻找一种合适的语言。