La ficción es más real que la realidad, porque la ficción nos permite ver lo que la realidad oculta.

形式化方法不是银弹，但它们是追求可靠系统的重要工具。

宇宙是无限多样的。

爱我或者恨我，两者必有其一。一直都这样。有人恨我的比赛，我的狂妄自大；恨我的后仰投篮，我对胜利的渴望；恨我是一名老将，恨我获得过总冠军。恨吧，用你的全部心思去恨吧。然而也有很多人深爱着我，理由却和恨我的人一样。

对真理最好的检验是思想在市场竞争中被接受的力量。

He has not learned the first lesson of life who does not every day surmount a fear.

生命的真相不在于宏大的事件，而在于那些安静的间隙。

We don't even know how strong we are until we are forced to bring that hidden strength forward.

Just pursue your own natural curiosity and solve your own problems. Learning is a byproduct of all of that.

Sometimes it's the journey that teaches you a lot about your destination.