生活对感受者来说是悲剧,对思考者来说是喜剧。
La vie est une tragédie pour celui qui sent, et une comédie pour celui qui pense.
Literature is analysis after the event.
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
利润和可持续发展必须齐头并进,否则两者都会沉没。
The decline of trust in institutions is one of the most serious problems facing modern democracies.