科学进步是以一次次的葬礼为代价的。
The best way to get a project done faster is to start sooner.
"The truth may set you free, but first it will break you."
研究最有价值的部分是看到你的工作转化为现实世界的影响。
λ演算本质上是一个关于函数及其应用的理论。