我认为，即使不喜欢现实，也应该承认现实；事实上，尤其是在不喜欢现实的时候。
孔子说：“知道学习不如喜欢学习，喜欢学习不如以学习为快乐。”
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
艺术家必须保持自由，甚至要从自己的风格中解放出来。
编程语言中最重要的就是名字。没有一个好名字，语言就不会成功。我最近发明了一个非常好的名字，现在正在寻找一种合适的语言。
可持续性不再是可选项，而是我们前进的唯一道路。
这个世界惟有两样东西让我们的心灵感到深深的震撼，一是我们头顶上灿烂的星空，一是我们内心崇高的道德法则。
挑战在于让不可见变得可见。