"A book is a conversation across time."
书是一次跨越时间的对话。
Innovation comes from solving real problems.
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
我认为对自己有幽默感并且不要把自己看得太重要是很重要的。