λ演算的基本概念是函数，被视为一种对应规则。

未来属于那些拥抱变化并推动转型的人。

Responsible decommissioning is as important as responsible development.

活在当下的能力是心理健康的重要组成部分。

这是最幸运的年代，也是最倒霉的年代，这是智慧的年代，也是愚昧的年代；这个时期信仰与怀疑共存，这个时期光明与黑暗共存；这是希望之春，也是失望之冬；人们面前琳琅满目，但又一无所有；我们正直达天堂，我们正直通地狱。