计算的未来在于开发能够自我验证正确性的系统。

The best stories are those that stay with you.

作家最伟大的工具不是笔，而是引导它的心与思想。

如果我不演戏，我不知道我会做什么。我想我会发疯的。

No testimony is sufficient to establish a miracle unless the testimony be of such a kind that its falsehood would be more miraculous than the fact which it endeavors to establish.

The companies that succeed are those that turn non-consumers into consumers.

在数学中，我们常常追求优雅和简洁，但在计算机科学中，我们还必须考虑实用性和效率。