最伟大的思想冒险往往始于一个简单的"如果"。

"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

极不切实际的梦想即使没有实际权力做后盾，一样可以让人产生最大无畏的胆气。这是因为，怀有大希望者的力量可以有最荒谬的来源：一个口号、一句话或一枚徽章。

最终，我们记住的不是敌人的话语，而是朋友的沉默。

In art, as in life, the simplest solutions are often the most profound.

配额只是一个数字，除非我们坚定地执行它。