书籍是黑暗中的光。

在一个人口过度拥挤的世界里，人们不太愿意接受他人的多样性，更容易将他人视为对自身身份的威胁。

Conflict is the gadfly of thought. It stirs us to observation and memory. It instigates to invention. It shocks us out of sheeplike passivity, and sets us at noting and contriving.

We must resist the temptation to make architecture that is only about itself.

我们最宝贵的资产不是地下的资源，而是地上工作的人们。

愛は、言葉よりも行動で示すものだ。

未来不是现在提供的替代路径中选择的结果，而是一个被创造的地方——首先在思想和意志中创造，然后在活动中创造。

The challenge in model checking is not just to find errors, but to understand why they occur.