"A writer is a world trapped in a person."

只有首先看到事情的可能性，才会有发生的机会。

你不必具备量子力学所要求的能力。你只需要知道一些简单的事情，并真正了解它们。

真相是，生活既美妙又可怕，既迷人又恐怖，既甜蜜又苦涩，这就是一切。

The challenge in model checking is not just to find errors, but to understand why they occur.

量子计算的未来不仅仅在于更快的计算，而在于对现实结构的更深入理解。