The fundamental cause of the trouble is that in the modern world the stupid are cocksure while the intelligent are full of doubt.

我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。

改变一个人的关键是改变他的自我意识。

"The power of a story is in its ability to inspire resilience."

数学的美只对那些更有耐心的追随者展示。