Pleasures, then, and the avoidance of pains, are the ends that the legislator has in view.
有人说:“如果用恩德来回报别人对自己的怨仇,行不行呢?”孔子说:“这样的话,你将用什么来报答别人对你的恩德呢?不如以公正对待怨仇,以恩德报答恩德。”
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
With great power comes the need for great caution.
美好的人生是由爱所激励,由知识所引导的。