不要思考。思考是创作的敌人。罪魁祸首是自我意识，任何自我意识都是混乱的。你不能尝试去做事情。你必须要做的仅仅是行动。

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

Success is a journey, not a destination. The doing is often more important than the outcome.

Improve yourself through reflection.

译文：古代的士、农、工、商四种职业不同但遵循的道是相同的，他们尽自己的心力，在这一点上是一样的。

In foreign policy, the currency of trust is more valuable than gold.

UNIX非常简单，只需要一个天才来理解它的简单性。