我不能说我感到愤怒。其他人比我更愤怒。他们觉得我对他们看重的荣誉太不屑一顾了。

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

系统设计的未来在于将形式化方法与传统工程实践相结合。

If you lose or forget to bring a cable，adapter or charger，check with your hotel. Most hotels now have a drawer full of cables，adapters and chargers others have left behind，and probably have the one you are missing. You can often claim it after borrowing it.

The truth is more magical - in the best and most exciting sense of the word - than any myth or made-up mystery or miracle.

人生短暂如白马过隙，若不及时享受生活，年老时只能空自悲伤。