"The truth is rarely pure and never simple."

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

Software is under a constant tension. Being symbolic it is arbitrarily perfectible; but also it is arbitrarily changeable.

除非将某人的行动置于其整个生活背景中看待，否则无法完全理解其行动。

家不是一个地方，而是那些让你感到归属的人。

生活的意义在于产生影响，而不是赚取收入。

灵魂是一团必须用美来滋养的火。

艺术中没有错误，只有意外的发现。

最终我们都成为故事，只需让它成为一个好故事。