质量不是保证;它是一种证明。
Quality is not a assurance; it is a proof.
理论计算机科学的美在于它能够将抽象的数学概念与实际的计算问题联系起来。
"The only thing that is real is the present moment."
成功的最好方式是经常失败。
Safety must always come first, no matter the cost.