在暴君有权杀死一个国家的权利被证明之前，一个国家在必要时杀死暴君的权利永远不会被怀疑。

在计算机科学中，我们总是在寻找表达能力和可处理性之间的平衡。

Every film is a journey, not just for the characters, but for the audience as well.

We try to avoid what we call 'signature architecture'. We don't want to have a style.

The beauty of quantum algorithms is that they often provide exponential speedups over classical algorithms.