当我们发现，这个有形世界的结构竟然与纯由数理逻辑与形上之美所导出的概念紧密相符，这难道不是最令我们觉得奥妙与敬畏的吗？

程序最重要的属性是它是否实现了用户的意图。

我不会假装在冠状病毒到来之前一切都很完美。

He who is content is always happy; endless desires never find satisfaction.

时节不寒冷，就不会知道松柏挺拔且郁郁葱葱的；事情不危难，就不会知道君子每日都在持守信念。