在计算机科学中，验证过程与创造过程同样重要。
The process of verification is as important as the process of creation in computer science.
The secret to success is learning how to use pain and pleasure instead of having pain and pleasure use you. If you do that, you’re in control of your life. If you don’t, life controls you.
我写作是为了弄清楚我在想什么。
习惯的强度是其被强化次数的函数。
编写无错误程序的方式有两种：只有第三个有效。
现实并非发生在我们身上的事，而是我们如何处理那些发生的事。