一个不太聪明但沟通能力不错的人，可能会比一个超级聪明但沟通能力欠缺的人更成功。这是个好消息，因为提高沟通能力的提高，比智商的提高要容易得多。

Experience is the name everyone gives to their mistakes.

模型检查是验证有限状态并发系统正确性的强大技术。

"The unexamined life is not worth living."

最大的风险就是不冒任何风险。在一个快速变化的世界里，唯一注定失败的策略就是不冒险。

Global hunger won't be solved by charity alone - it requires systemic change.