The only person you should try to be better than is the person you were yesterday.
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
透明度建立信任,而信任是每一段牢固商业关系的基础。
最重要的是你要有一个北极星,你必须知道自己要去哪里。