最深刻的真理往往是我们最害怕的那些。
The most profound truths are often the ones we fear the most.
The best designs come from understanding the needs of the people who will use them.
我从不考虑过去，我总是考虑下一场比赛。
一个值得花一年去追求的目标是，学习足够多的关于一个主题的知识，以至于你无法相信一年前的你是多么的无知。
如果你害怕失败，你就不会创新。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."