编程语言中最重要的就是名字。没有好名字的语言不会成功。我最近发明了一个非常好的名字，现在正在寻找合适的语言。
The most important thing in the programming language is the name. A language will not succeed without a good name. I have recently invented a very good name and now I am looking for a suitable language.
我对现实和梦想之间的空间感兴趣。
There is no such joy in the tavern as upon the road thereto.
出自《论语·子罕篇第九》。我曾经用尽全力，但是孔夫子仍然卓立在我的面前，我想要去追从他，但是总觉得没有办法能够追上去。
我一直相信音乐可以团结人们，无论他们有什么不同。
最大的回报不是胜利，而是旅程本身。
系统设计的未来在于将形式化方法与传统工程实践相结合。