The future of computing lies in the development of systems that can verify their own correctness.

一部好小说告诉我们关于主角的真相；而一部坏小说告诉我们关于作者的真相。

一致性将优秀的烘焙师与伟大的烘焙师区分开来。

真正的创新来自于对细节的极致追求。

心理学的任务是研究经验的直接内容及其组合。