如果你不能安全地开采它，你根本不应该开采它。
如果你和你的竞争对手做的事情本质上是一样的，你可能不会太成功。
历史学家既是侦探，也是讲故事的人。
海洋是一个既美丽又恐怖的地方。
平凡与非凡的区别在于那一点额外的努力。
作家是真理的追寻者，在他的追寻中他找到了人性的本质。
在计算机科学领域，数学严谨性是构建可靠高效算法的基石。
形式化方法的美在于它们能够提供关于系统行为的绝对保证。