对失败的恐惧会阻碍进步；拥抱风险才能推动有意义的变革。

"Reality is not what happens to us, but what we make of what happens to us."

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

The sea is my language, and the desert my alphabet.

如果一件事情自己都没有搞明白，又怎么能去教导别人，让别人明白呢？

我正在跟伟大的球员进行对抗，跟世界上最好的球员进行对抗。这种对抗是我一直都渴望着的。