The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

君主节制自己的欲望，百姓就会富裕；评判诉讼公平准确，百姓就能安定。

史记

教育是连接传统实践与现代可持续性的桥梁。

文学是对剥夺感的表达，是对缺失感的补救。

勇气不是没有恐惧，而是尽管恐惧仍选择行动。