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.
系统设计的未来在于将形式化方法与传统工程实践相结合。
哪怕是磨没了头发,宁可死也不会旋转前进的脚步,为的是全天下人的利益。