不要长久地仇恨任何人与事。这种心态焚烧如同炼狱般苦痛，真正受到伤害的，只有自己。
三毛名人名言哲理格言警句语录 三毛
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
约瑟夫·斯法基斯
爱是一种神圣的能力，它能唤醒人性中最好的一面。
亚米契斯
凡是人碰巧迎合了君主或上司而受到赏识重用，与受到来自乡里和朝廷的损害，都是由于命。
王充
你有敌人？很好。那意味着在你一生中的某个时刻，你曾经站出来维护过某样东西。
You have enemies? Good. That means you've stood up for something, sometime in your life.
丘吉尔
赠予的本质包含野心和特权，受赠的本质则包含顺从。
蒙田
吾视曹操百万之众，如群蚁耳！但我一举手，则皆为齑粉矣！
罗贯中
所谓的“息税折摊前利润”就是狗屎。
查理·芒格
用户不会为技术买单，只会为价值买单。
李想
孩子的性格决定命运，人性的教育大于智力教育。
李玫瑾
我的朋友！珍重些罢，不要把心灵中的珠儿，抛在难起波澜的大海里。
冰心
断送行人老，春寒恻恻掩重门，金鸭香残火尚温。
赵孟頫
Myth is the part of language where the formula traduttore, traditore reaches its lowest truth value.
神话是语言中“翻译即背叛”这一公式真理值最低的部分。
克劳德·列维-斯特劳斯
看待权势比自己大的人的尺度必须有所缩小。在实行中要缩小这个尺度有时必须有奇特的才能。
拉布吕耶尔
在快速变化的环境中，保持学习的心态比掌握特定技能更重要。
梁汝波
人的生命短得可笑。怎样生活？一些人千方百计逃避生活，另外一些人把自己整个身心献给了它。前一种人在晚年时精神空虚，无所回忆；后一种人------精神和回忆都是丰富的。
高尔基
教师应该成为多面手，越多面越能对学生产生意料之外的影响。其实，堪称中国基础教育脊梁的“中师一代”之所以受欢迎，除了他们勤奋好学外，还在于他们多才多艺:粉笔板书、吹拉弹唱、跳舞体操等都过硬，每一样都能“唬住”学生。
张贵勇
The algebraic analysis soon makes us forget the main object [of research] by focusing attention on the abstract combinations and it is only at the end that we return to the original objective.
代数分析很快让我们忘记了研究的主要对象，将注意力集中在抽象的组合上，直到最后我们才回到最初的目标。
约瑟夫·路易斯·拉格朗日
创新不仅仅是创造新产品，而是重新构想我们如何解决老问题。
Innovation is not just about creating new products, but about reimagining how we solve old problems.
苏珊·马丁
从1到10，需要成为一个没有弱点的品牌。
小马宋