不要轻易放弃，因为你永远不知道下一秒会发生什么。
Don't give up easily, because you never know what will happen in the next second.
真相是平衡，但真相的对立面——不平衡——未必是谎言。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
CRISPR给了我们重写生命密码的工具，但我们必须明智地使用它们。
测量可测量的，并使不可测量的成为可测量的。
The most exciting phrase to hear in science, the one that heralds new discoveries, is not 'Eureka!' but 'That's funny...'
Innovation doesn't happen overnight, it requires continuous investment and patience.
我不是一个喜欢传统的人。
多项式时间归约的概念对于理解NP完全问题的结构至关重要。