It's not about how bad you want it. It's about how hard you're willing to work for it.
λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。
人们并不总是理性的，他们的非理性行为可能会产生重大的经济后果。
我们不害怕未来，我们不害怕过去。
仅仅活着是不够的，还需要有阳光、自由，和一点花的芬芳。
The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.
绳：衡量。诬：歪曲、诬蔑。
一个人固守道德而不能发扬光大，信仰主张又不能坚定不移，这种人有他不能算有，没有他不能算无。
时间不会治愈。它只是让伤痛变得熟悉。
"The truth is rarely pure and never simple."