没有友谊的人终其一生都是可怜的孤独者。没有朋友的社会是一片熙熙攘攘的沙漠。
培根名人名言哲理格言警句语录 培根
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
The challenge in model checking is not just to find errors, but to understand why they occur.
埃德蒙·克拉克
Sustainability isn't a cost center, it's an investment in our future.
可持续发展不是成本中心，而是对我们未来的投资。
詹妮弗·威尔逊
成功者是按规律办事的人。
宋志平
黑暗不在外面，而在我们内心。
The darkness is not outside, but within us.
拉斯诺霍尔卡伊·拉斯洛
规模不等于竞争力，效率才是。
宁高宁
脱贫摘帽不是终点，而是新生活、新奋斗的起点。
《人民日报》
虽然一个人必须在战争中征服数千人才能获得胜利，但是，征服自我的人，方是最伟权大的征服者。
释迦牟尼
我就是这么奇怪，我进入了新生活的行列，愿望也实现了，却时时还怀着隐隐的、好似隔着一重薄雾似的怀旧之情，奇怪地思念那种孤独、沉闷、空虚的日子。
赫尔曼·黑塞
老话说得好，没有胸毛还有腿毛。
郭德纲
能源转型既是挑战，也是机遇，我们要主动应对。
王宜林
许多年以后，面对行刑队，奥雷连诺·布恩迪亚上校将会回想起，他父亲带他去见识冰块的那个遥远的下午。
加西亚·马尔克斯
我们就像是从终点站到终点站往返行驶的有轨电车，连车上的乘客也大体上算得出来，生活变得太有序，太按部就班了，我心里感到一种无名的恐惧。
毛姆
人的一生就应该像一条河，开始是涓涓细流，被狭窄的河岸所束缚，然后，它激烈地奔过巨石，冲越瀑布。渐渐地，河流变宽了，两边的堤岸也远去，河水流动得更加平静。最后，它自然地融入了大海，并毫无痛苦地消失了自我。 
罗素
远离那些企图让你丧失雄心的人吧。小人经常如此，而真正的伟人会让你觉得你也可以变得伟大。
马克吐温
华为的每一个进步都是被逼出来的。
任正非
The health of our oceans directly impacts the health of our communities and economies.
我们海洋的健康直接影响我们社区和经济的健康。
詹妮弗·怀特
信念不是被动等待，而是主动的想象和感受。
Faith is not passive waiting; it is active imagination and feeling.
内维尔·戈达德
基于对数理逻辑的研究与应用的思考，逻辑学可助力智能推理取得突破性发展。
沈有鼎
我或许也会在这里坚守到自己生涯结束的那一刻。
字母哥