形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
最重要的是专注于长期愿景，而不是短期波动。
未来的答案埋藏在过去中。
像煤炭开采这样的传统行业中的创新不仅是可能的——它是必不可少的。
The past is always there, but it's not the only thing that's there.
我不害怕失败，我害怕不去尝试。
顺从天意的**是以义服人的**，违反天意的**是以力服人的**。
The best curatorial projects are those that disappear, leaving only the art.
如果你没有偶尔失败，说明你还没有足够地突破界限。
The best stories are those that mix the happiness and sadness of life together in the right proportions.