形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
没有一天不是浪费、糟蹋、玷污了的。没有作品，没有思想，没有努力做站得住脚的事。一片混乱的欲望在你争我夺。一片风沙，一无所得……想做有什么用？想做的事都没有做。做了的事都是不想做的。他成了一个他不想做的人，这就是他生活的总结。
罗曼·罗兰
不敢说一定没有命运，但假如一件事在天时、地利、人和等方面皆相背时，那肯定不会成功。若我们贸然去做，失败时便埋怨命运，这是不对的。
李嘉诚
面对死亡的态度，决定生活的质量。
蔡志忠
兄弟底三民主义，是集合中外底学说，应世界底潮流所得的。就是美国前总统林肯底主义，也有与兄弟底三民主义符合底地方，其原文为The government of the people， by the people， for the people，这话苦没有适当底译文，兄弟把他译作‘民有’、‘民治’、‘民享’。……他这‘民有’、‘民治’、‘民享’主义，就是兄弟底‘民族’、‘民权’、‘民生’主义。
——〈在中国国民党本部特设驻粤办事处的演说〉，1921年3月6日
孙中山
我不入地狱，谁入地狱。
如果我不进入地狱拯救众生，还有谁会去？
释迦牟尼
谁的生平让你羡慕到甘心活在一个预知的剧本中？
林夕
有些人不需要说话也能成为朋友。
弗雷德里克·巴克曼
做精读笔记时的“二不做二做”：二不做：不整段画重点。不重复摘抄书中的事实性陈述。二做：在笔记里主要记录自己的所思所想。积极进行批判性思考，利用“多色批注法”记录自己的观点立场。朗读+录音精读法：用手机录下自己朗读的书中经典段落，利用碎片时间回听，加深理解。
李柘远
人知名位为乐，不知无名无位之乐为最真；人知饥寒为忧，不知不饥不寒之忧为更甚。
洪应明
听YouTube上面那个瑜伽教练的话，“走路，好像你在用脚亲吻地球一样。”
马特·海格
如果你从我们的投资决策里剔除掉最好的那15个，我们的表现就显得非常平庸了。（游戏的重点）不是非常多的动作而是非常大的耐心。你要坚守你的原则，当机会出现的时候，就大力出击。
查理·芒格
只有一样东西令梦想无法成真，那就是害怕失败。
保罗·科埃略
Data reveals the truth: Most poor people are not lazy.
数据揭示的真相：多数穷人并非懒惰者。
阿巴希·巴纳吉
"The best way to predict your future is to create it."
预测你未来的最好方法就是去创造它。
莎拉·德森
难以捉摸、微妙难测和不肯定性，这便是黑夜。
史铁生
马云：不能统一人的思想，但可以统一人的目标。千万不要相信你能统一人的思想，那是不可能的。30%的人永远不可能相信你，不要让你的同事为你干活，而让他们为我们的共同目标干活。团结在一个共同的目标下，要比团结在一个人周围容易的多。
马云
"The beauty of literature is that it allows us to live multiple lives in one."
文学的美在于它让我们在一生中活出多种生活。
特雷莎·莫拉
当你从德国高速公路上驾车时，千万不要从后视镜向后看。
彼得·林奇
朕就是这样的皇帝，朕就是这样的汉子！父皇既把这万历河山交付给朕，朕就要将他治理的固若金汤！谁阻了朕的这点志向，朕绝不容情！
二月河