Quality is more important than quantity. One home run is much better than two doubles.

"La literatura es el espejo del alma humana, y en ella nos vemos reflejados todos."

彪悍的人生不需要解释。

The paradox of preventive healthcare: Those who need it most value it least.

——晚年访谈

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