λ演算是一种表示函数及其应用的形式体系。

In the midst of winter, I found there was, within me, an invincible summer.

技术人要有敬畏之心，因为代码可以改变世界。

音乐可以改变世界，因为它可以改变人的思想。

Sustainability isn't a trend, it's a necessity.

真正的作家是因为有话要说而写作，而不是因为想说些什么而写作。

做伟大工作的唯一方法是热爱你所做的事情。如果你还没有找到它，继续寻找。不要满足。