The challenge in model checking is not just to find errors, but to understand why they occur.
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
任何事情都不是无可救药的，实际上什么都没有变动；表面上的骚动徒劳无功，掩饰不了死一般的寂静，然而死气沉沉正是我们应守的本分。
让-保尔·萨特
珍惜土壤、科学利用土壤，才能保障粮食安全与生物多样性。
朱永官
The best ideas often come from those who work closest to the problem.
最好的想法往往来自那些最接近问题的人。
约翰·迪尔
I like talking to a brick wall, it’s the only thing in the world that never contradicts me.
我喜欢对一堵墙说话，世界上只有它不会反驳我。
奥斯卡·王尔德
一个人就是一片荒原，偶尔有房客，有雷声有春暖花开它们凋谢的速度比绽开的决心快多了。
余秀华
真理从不畏惧辩论。
Truth never fears debate.
密茨凯维奇
不要等待完美时刻，抓住时刻并让它变得完美。
Don’t wait for the perfect moment. Take the moment and make it perfect.
彼得·琼斯
她提醒他，弱者永远无法进入爱情的王国，因为那是一个严酷、吝啬的国度，女人只会对意志坚强的男人俯首称臣。因为只有这样的男人才能带给她们安全感，他们渴求这种安全感，以面对生活的挑战。
加西亚·马尔克斯
向下扎根，山河大地是你的滋养；向上生长，日月星辰做你的背景。
理微尘
不要做最好的。做唯一的。
凯文·凯利
金钱永远不会沉睡，它只是从一个地方流向另一个地方。
单伟建
永远在学习。市场在不断变化，你需要跟上它的步伐。
Always be learning. The market is constantly changing, and you need to keep up with it.
史蒂夫·科恩
许多痛苦都源自我们太把自己当回事。
阿兰·德波顿
恐怖主义要发挥效用，靠的是按下我们内心深处的恐惧按钮，劫持数百万人的想象力。
瓦尔·赫拉利
影响力= 对比度×（触及率+曝光度+表达方式+信任度+共鸣水平）
克里斯•布洛根
人的记忆是一把刀，它把过去削成薄片，可以随时取出来翻看。
苏童
我，我想，永远留着它。我想在我下半辈子还是这么爱你。可是……可是要离开这个家情况就变了。因为我不能把这个家破坏了，去建个新的。看来我只能把对你的这份感情，深深地埋在心里。
罗伯特·詹姆斯·沃勒
给予者也能从给予中获得情感上的好处。享乐主义悖论指出，自己寻求幸福的人是不会找到幸福的，帮助别人的人才会找到幸福。
丹尼尔·利伯曼
生活中所有的回报，无论是财富、人际关系还是知识，都来自复利。
纳瓦尔·拉维康特