The greatest discovery of my generation is that a human being can alter his life by altering his attitudes.
The best technology is the one you don't notice.
如果你对一个问题的看法可以从你对另一个问题的看法中预测出来，你已经受制于一种意识形态。实际上当你真正独立地思考一个问题，你的结论无法被预测。
Life is short, and it’s up to you to make it sweet.
λ演算本质上是一种纯粹抽象的函数理论。