"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."

I have learned to seek my happiness by limiting my desires， rather than in attempting to satisfy them.

最好的决策来自于同时倾听数据和人的声音。

伟大并不是一种只有我们中的特殊人物才能品尝到的奇妙、深奥、难以捉摸、神一般的特征。它是真正存在于我们所有人中的东西。