效率是把事情做对，效果是做对的事情。

好的设计就是尽可能少的设计。

λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。

It's not about how hard you hit. It's about how hard you can get hit and keep moving forward.

The Sun always has ways to reach us wherever we are.

我来这里不是为了拿第二名。