简单性是一种伟大的美德，但需要努力工作才能实现，需要教育才能欣赏。简单性是最终的复杂性。
The goal of education is not to increase the amount of knowledge but to create the possibilities for a child to invent and discover, to create men who are capable of doing new things.
The only person you should try to be better than is the person you were yesterday.
The best criticism of art is more art.
领导力是关于以信念和同理心做出艰难的决定。
计算的未来不在于硬件，而在于软件。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."