我从不害怕失败；因为我宁愿失败，也不愿不属于最伟大者之列。
I was never afraid of failure; for I would sooner fail than not be among the greatest.
"In the middle of difficulty lies opportunity."
The first rule of quality is that it must be defined.
文字有治愈和毁灭的力量。
λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。
当你停止学习的那一刻，你就停止了成长。