在计算机周围，很难找到正确的时间单位来衡量进度。一些大教堂花了一个世纪完成。您能想象一个程序需要花费这么长时间吗？

我会怀疑自己，我会缺乏安全感，我会恐惧失败。我会在那几个夜晚，在我喜欢的球场上现身时，想着「我的背很痛，我的脚受伤，我的膝盖受伤。我没有办法了，我只想放松。」我们都曾自我怀疑，你不需要否认它，但你也不能够向它屈服。你要做的是去拥抱它。

Happiness depends on the inner self, not the external world.

"To me, fearless is not the absence of fear. It's not being completely unafraid. To me, fearless is having fears. Fearless is having doubts. Lots of them. To me, fearless is living in spite of those things that scare you to death."

You have to be ready to suffer if you want to be successful.

对付不自由世界的唯一方法就是变得如此绝对自由，以至于你的存在本身就是一种反叛。

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。