λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。

到了我这个年纪的时候就会发现，衡量自己成功的标准就是有多少人在真正关心你、爱你。

When I approach a child, he inspires in me two sentiments; tenderness for what he is, and respect for what he may become.

Innovation is not just about new ideas, but about making them work.

在某种意义上，生活中的最重大和最重要问题都是无法解决的。我们无法解决它们，只能在成长中超越它们。

商业中最危险的一句话是"我们一直是这样做的"。