The λ-calculus is, in essence, a purely abstract theory of functions.
λ演算本质上是一种纯粹抽象的函数理论。
The value of drones lies in solving industry pain points.
我走在孤独的路上
——辛格1978年诺贝尔文学奖获奖演说
——在逆境中始终百折不挠,1913年
艺术的真正力量在于它质疑权力本身的能力。
我认为设立一个光芒万丈的梦想会让实现目标变得更容易。因为没人会这么疯狂,这样你才没有竞争对手。事实上,据我所知,没几个人会有这么疯狂。
The companies that will thrive are those that see environmental challenges as opportunities for innovation.