最好的尚未到来。

冲突是思想的牛蝇。它激发我们观察和记忆。它激励创新。它将我们从羊群般的被动性中惊醒，并让我们留心观察和设计。

To feed the world, we must first respect the natural cycles that make farming possible.

把（春秋末期晋国豪富）韩魏两大家庭的财产附加给某个人，他仍然谦虚谨慎，那么他的品质就比一般人强太多了。

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

我们不需要魔法来改变世界，我们内心已经拥有所需的力量。

记忆是相见的一种方式。