The λ-calculus is a formalism for representing functions and their application.
λ演算是一种表示函数及其应用的形式体系。
我不能选择那最好的，是那最好的选择我。
做出伟大工作的唯一途径就是热爱你所做的事。如果你还没找到，继续寻找，不要安于现状。
"When you follow your heart or your gut, when you really follow the things that feel right to you, you can never lose."
死亡疾于风，它带走的一切将一去不返。
我总是努力在生活中保持积极和乐观。
艺术是可见与不可见之间的桥梁。
The lab notebook is a scientist’s most honest companion.
Greatness comes from believing in yourself and never giving up.