我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
写作是理解我们挣扎的一种方式。
产品是企业的根本，没有好的产品一切都是空谈。
我们无法改变任何事物，除非先接受它。谴责不会解放，反而会压迫。
The more you know, the less you need.
我们这个行业不尊重传统——只尊重创新。