The only person you should try to be better than is the person you were yesterday.
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
海洋的恢复力是惊人的,但并非无限的。
我们知道得越多,理解得越少。
透明度建立信任,而信任是每一段牢固商业关系的基础。
最重要的是你要有一个北极星,你必须知道自己要去哪里。