没有听到的不如听到的，听到的不如见到的，见到的不如了解到的，了解到的不如去实行，学问到了实行就达到了极点。

We are not in the coffee business serving people, we are in the people business serving coffee.

数学家是将咖啡转化为定理的装置。

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