The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
忍得一时之气，免得百日之忧。近来学得乌龟法，得缩头时且缩头。
【译文】忍下一时的怨气，可以免除长久的忧患。遇到不利的情况学学乌龟，该缩头的时候就要把头缩回去。
周希陶
我过去是，现在仍然是一个探索者，但是我不再占星问道，我开始倾听内心深处的低语。
赫尔曼·黑塞
有几分勤学苦练，天资就能发挥几分。天资的充分发挥和个人的勤学苦练是成正比的。
海涅
手持大量现金而不持股需要大量的勇气。我不是靠追逐那些平庸的机会来获得今天的成就的。
查理·芒格
别忘了在人生艺术上成功与在任何其他艺术中的成功一样，也值得钦慕与重视，也需要高度的聪慧与才智。主宰人生艺术的不外是调度钱财的能力。不错，假如我们需要或短缺金钱，过分无度为钱财所役，损人利己征物敛财，好比吝啬鬼，守财奴，资本家……那么，金钱确是万恶的。可是那些分明有钱而不知善用的人，可真是咎由自取！啊！亲爱的孩子，我们衷心希望你们在生活中各方面都美满幸福！为了你们好，宁愿让聪觉得我们唠唠叨叨，而不愿在操持家务最重要的篇章上保持缄默。弥拉学过家政，自然明白在家常琐务上能不厌其烦，一丝不苟，就是不出大纰漏的最佳保证。因此，弥拉在钱财上必须抓紧，而聪也必须乐于跟她合作。我知道你们两人对我所说的都很清楚，但要紧的是能知行合一，而不仅是纸上谈兵而已。
傅雷
逃避就是心理防御机制中的一种，其核心在于人们根据主观分析或者以自身经验判断，认为接下来要面对的事情十分困难或注定失败，会带来各种负面的情绪。
李国翠
当一切都同样动荡，就没有任何事情显得动荡。
布莱士·帕斯卡
你们都是商量好的吗，一盏一盏灭的那么有节奏。
佚名
辅助不是躲在后面加血，而是要在最危险的时候站出来。
阿豆
"We are all the sum of our stories, and biography helps us understand the equation."
我们都是自己故事的总和，而传记帮助我们理解这个等式。
格雷厄姆·法默尔
我的血里，有铁在奔流。
牛汉
"The world is full of stories, but the ones that stay with us are those that speak to our deepest fears and desires."
世界上充满了故事，但那些留在我们心中的，是那些触及我们最深恐惧和渴望的故事。
吉丹贾丽·斯里
常常听人说：爱情会把人掏空。这在遭遇挫折的时候好像尤其如此，倾心相爱的那个人离你而去了，你会顿时感到万念俱灰。可是，我知道，只要你曾用真心去爱，爱的收获就必定会以某种方式保藏在你的心中，当岁月渐渐抚平了创伤，你就会发现最主要的珍宝并未丢失。
周国平
作家要么是隐居的实践者，要么是内疚的、有过失的人。
The writer is either a practicing recluse or a delinquent, guilt-ridden one.
苏珊·桑塔格
It's amazing how difficult it is for a man to understand something if he’s paid a small fortune not to understand it.
令人惊讶的是，如果一个人花了一小笔钱不理解它，那么他理解它是多么困难。
约翰·博格尔
  要掌控自然，必须遵循自然规律。
Nature， to be commanded， must be obeyed.
培根
一位真正优秀的投资者，不在于他是否永远是市场中的大赢家，而在于他是否有勇气从每一次的失败中站起来，并且变得更加强大。
乔治·索罗斯
世界上没有什么比真正的无知和假装的愚蠢更危险的了。23、到最后我们记住的不是敌人的言语，而是朋友的沉默。
马丁路德金
哀于何处哀，愁是遍地愁。而女人，总是要一些哀愁才能压住在风里摇晃的运气。
余秀华