对我来说，编程不仅仅是一门重要的实用艺术。它也是知识基础中的一项巨大事业。
To me programming is more than an important practical art. It is also a gigantic undertaking in the foundations of knowledge.
系统设计的未来在于将形式化方法与传统工程实践相结合。
能源的未来在于多样化——没有任何单一来源可以满足我们所有需求。
Man makes religion; religion does not make man.
我们的粉丝和我们一起成长，这真的很特别。