最困难的是在当下富足地生活，而不让它被过去或未来玷污。
The hardest thing is to live richly in the present without letting it be tainted by the past or future.
The intersection of mathematics and computer science is where some of the most exciting discoveries are made.
λ演算是一种表示函数及其应用的形式体系。
In baking, as in life, it’s the little things that make the biggest difference.
The past is always present, whether we acknowledge it or not.
如今人们对每样东西的价格了如指掌，对它们的价值却一无所知。
努力计算两次。
名声不是生活中最重要的东西，最重要的是快乐。