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

我为什么要站到这儿，我站到讲台上，是想提醒我自己我们必须时刻用不同的眼光来看待事物。

In mathematics, the art of proposing a question must be held of higher value than solving it.

为了发现什么是真实的，值得活下去。