Everyone is a genius. But if you judge a fish by its ability to climb a tree, it will spend its whole life believing it is stupid.

Quality is not an end in itself; it is a means to an end.

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

哪怕是磨没了头发，宁可死也不会旋转前进的脚步，为的是全天下人的利益。