预测未来的最好方法就是创造未来。
如果你只读大家都在读的书,你只能想到大家都在想的东西。
I don't want to be the guy who plays the same role over and over again. I want to be challenged.
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
"The more we learn about life, the more we realize how much we have yet to discover."