没有力量的正义是徒劳的，没有正义的力量是暴政。
λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。
一种新的科学真理并不是通过说服其对手并让他们看到光明而取得胜利，而是因为其对手最终死去，一个熟悉它的新一代人成长起来。
"Success is nothing if you don't have the right people to share it with."
The best leaders are those who listen more than they speak.《Leadership in the Modern Age》
I'm not afraid to fall in love. I'm afraid to fall for the wrong person again.
"I’ve practiced so much that I don’t need to think before I play. It’s like driving a car—you don’t think about which pedals to push."