我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
"A story is a way to say something that can't be said any other way."
译文:有仇的冤家应该和睦相处,不应该继续结仇,都回头看下自己的不足。赏析:多一个敌人不是多一个朋友,冤家过多对我们的人生并没有好处。在发生矛盾时,我们都反思一下自己的言行是否得当,各退让一步,天地自然变宽了。
不要施小恩惠而伤害整体,更不可以公济私。以常情宽恕别人,以道理约束自己。