我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
如果你仔细观察，平凡的事物也会变得非凡。
MODERATION. Avoid extreams; forbear resenting injuries so much as you think they deserve.
"La literatura no es un espejo de la realidad, sino un martillo con el que darle forma."
人生重要的事情是确定一个伟大的目标，并决心实现它。