True peace is not merely the absence of tension: it is the presence of justice.

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

我不完美，我也不假装完美。

JUSTICE. Wrong none by doing injuries, or omitting the benefits that are your duty.

理解变化的唯一方法是投入其中，随之而动，加入舞蹈。

年龄只是一个数字。我从未让它定义我能做什么或不能做什么。

永远不要低估一个相信共同愿景的团队的力量。