路是自己选的，没有输赢，只有值不值得。任何经历过的事，不是得到就是学到。
刘震云名人名言哲理格言警句语录 刘震云
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
约瑟夫·斯法基斯
土耳其作家帕慕克曾用一本书的篇幅描写他居住了一生的城市伊斯坦布尔，在题记中，他说，“美景之美，在于忧伤”。
吴晓波
有些幸运儿早年就知道他们喜欢数学、照顾动物、或是写作，并找到法子来把更多时间用于所爱之事。但是多数人的人生起步时，要紧之事总是混杂着无谓之事，他们只能慢慢地学会如何区分。
保罗·格雷厄姆
只有把产品质量放在第一位，企业才能走得更远。《水产养殖的未来》
薛华
人在失去了什么东西的时候，总觉得那个东西应该属于他，总是不甘心，这是人的迷惑。其实，既然失去了，就是应该失去，世上自然另有属于你的一份。只有知识应该属于学生，希望应该属于青年，不能失去，不该失去。
王鼎钧
多才自劳苦，无用只因循。
韩愈
口说无凭，事实为证。
谚语
你追寻过吗？天空之外的天空，山峦背后的山峦，有一个更美好的世界等着，一个值得我们为它痛哭、为它匍匐的美好世界，你向往过吗？
简媜
大声阅读图书给孩子听对孩子是有好处的。只有当你给孩子阅读了许多故事以后，孩子才能扔掉拐棍，独立阅读。
托尼·利特尔
善读书者，无之而非书：山水亦书也，棋酒亦书也，花月亦书也。善游山水者，无之而非山水：书史亦山水也，诗酒亦山水也，花月亦山水也。
张潮
历史是最好的教科书。
习近平
生活像运动一样短暂，毫无疑问地，最大的骗子是时间。时间是不可逆转的，因此我们应该珍惜每一刻，活在当下。生活像运动一样短暂，毫无疑问地，最大的骗子是时间。时间是不可逆转的，因此我们应该珍惜每一刻，活在当下。
达·芬奇
技术将推动下一个能源时代，我们必须接受它。
Technology will drive the next era of energy, and we must embrace it.
迈克·沃斯
有两种过错是基本的，其他一切过错都由此而生：急躁和懒惰。
弗兰兹·卡夫卡
你或者已经误会没事了像把一柄带血的纸扇给狠狠的折起来放在暗处末了展开来血枯血涩依旧是一柄带血的桃花扇。
李碧华
人有时候需要等待，有时候需要忍耐，有时候需要为顾全大局而持续沉默，有时候一时看不清楚需要再看一看。
王蒙
你用刀刃在纸张中开路，犹如用思想在文字中开路，因为阅读就像在密林中前进。
伊塔洛·卡尔维诺
真正的朋友的精神方面的感应，和狗的嗅觉一样灵敏；他们能体会到朋友的悲伤，猜到悲伤的原因，老在心里牵挂着。
司汤达
如果日耳曼民族不再强大到可以浴血保卫它自己的存在的话，它就应当灭亡。
阿道夫·希特勒