我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
君子不救人,不是没有能力,而是不愿意去做。
最严重的罪行不是以邪恶的名义犯下的,而是以善的名义犯下的。
利润和可持续性并不相互排斥;它们必须齐头并进。