Quality is not a claim; it is a proof.
质量不是声明；它是一种证明。
我想在宇宙中留下一点印记。
Faith has to do with things that are not seen and hope with things that are not at hand.
We must balance short-term performance with long-term value creation.
历史学家既是侦探，也是讲故事的人。
我喜欢竞争。这就是我的工作。
——兴中会
计算的未来在于开发能够自我验证正确性的系统。