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

解读：人生起点、境遇常非自主选择，既然无法更改出身等既定事实，那就积极应对，凭借自身努力在既有条件下创造精彩，发挥主观能动性。

生命的意义包含在生命的每一个表达中。它存在于所有创造中无限的形式和现象中。

The only limit to our realization of tomorrow will be our doubts of today.

译文：古人最忌讳，表面对人顺从，背地里却反对。