The only way to do great work is to love what you do.
成长来自于冒险,但必须是与你的愿景一致的计算过的冒险。
判断两个λ表达式是否等价的问题是无法解决的。
工作中的快乐秘诀在于一个词——卓越。知道如何做好某件事就是享受它。