市场永远在变，唯有坚持品质才能立于不败之地。
λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。
"I'm not perfect, but I strive to be the best."
We have to continually be jumping off cliffs and developing our wings on the way down.
The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.