λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
我们生活在一个过去总是存在的世界。
I’ve never been afraid of failure.
The mind is a flow of ever-changing experiences.
我们总是高估未来两年内会发生的变化,而低估未来十年内会发生的变化。不要让自己被麻痹而无所作为。