I believe in art as a form of resistance.
λ演算本质上是一个关于函数及其应用的理论。
最大的风险是不冒任何风险。在一个快速变化的世界里,唯一注定失败的策略就是不冒险。