有些人不喜欢改变，但如果替代方案是灾难，你就需要拥抱变化。

Interest is the first and most important ingredient in the recipe for grit.

数学之美在于它是人类少数几个可以知晓绝对真理的领域之一。

模型检查是验证硬件和软件系统正确性的强大工具。

我们需要世界上的思想多样性来面对新的挑战。

责任偏爱于有能力承担它们的人，权利钟情于知道如何去做的人。