在代数中，两个量的相等性通过方程来表达。

逻辑学研究不仅仅是关于形式系统，更是关于推理本身的本质。

Programming is understanding.

创新不仅仅是创造新产品；而是重新思考我们如何解决问题。

市场不能替代自治。

The truth is rarely pure and never simple.

Lisp is worth learning for the profound enlightenment experience you will have when you finally get it; that experience will make you a better programmer for the rest of your days, even if you never actually use Lisp itself a lot.

Safety is not just a priority, it's a core value. Every employee should go home safely every day.

可持续性不是成本，而是对我们共同未来的投资。

"Books so special and rare and yours that advertising your affection feels like a betrayal."

作家必须相信他所做的是世界上最重要的事情。即使他知道这不是真的，他也必须坚持这种幻觉。