古代以天下为主体，君主为客体，君主一生所经营的，都是为了天下。

任正非内部讲话稿

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

一本书是一面镜子：如果傻瓜往里看，智者也无法从中看出什么。

耐心也是一种行动。

你越具体，你就越普遍。