系统设计的未来在于将形式化方法与传统工程实践相结合。
我从不试图取悦观众,我只做我认为对的事情。
没有自由就不会有道德。
We are all patchwork, and so shapeless and diverse in composition that each bit, each moment, plays its own game.
未来最成功的社会将是那些能够结合国家和市场优势的社会。
"Success is not given, it is earned."