The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

摧毁人民最有效的方法就是否认并抹去他们对自己历史的理解。

Creativity is just connecting things.

食品安全是企业的生命线，任何时候都不能放松。

自由的代价是愿意在任何地方、任何时间、以完全不计后果的方式进行突然的战斗。

计算的目的是洞察，而不是数字。