The horror of the Twentieth Century was the size of each new event, and the paucity of its reverberation.

当我们在没有危险的情况下征服时，我们的胜利就没有荣耀。

To men like that, time was a surfeit, a barrel they watched slowly drain. When really, he thinks, it’s a glowing puddle you carry in your hands; you should spend all your energy protecting it.

Model checking is a powerful tool for verifying the correctness of hardware and software systems.

人类对于不公正的行为加以指责，并非因为他们愿意做出这种行为，而是惟恐自己会成为这种行为的牺牲者。

创新是可持续水产养殖的关键。我们必须不断突破可能的界限，以确保我们的行业和地球都有一个健康的未来。