The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
Protecting marine life is protecting our own future.
保护海洋生物就是保护我们自己的未来。
丽莎·陈
有些黑人撒谎，有些黑人不道德，有些黑人在女人面前不规矩——不管她们是黑种女人还是白种女人。但是，这种真相适用于人类所有的种族，而不仅仅是某个特殊的种族。在这个法庭里的人，没有人没撒过谎，没有人没做过不道德的事，没有一个男人会看女人时从来不带欲望。
哈珀·李
没一个伪君子能快活得了。
塞缪尔·约翰逊
西方马克思主义的批判精神，为我们理解当代资本主义提供了重要的理论资源。
仰海峰
每一次的十字军东征都是对信仰的坚守和对异教徒的震慑。 
英诺森三世
Cultural materialism is based on the simple premise that human social life is a response to the practical problems of earthly existence.
文化唯物主义基于一个简单的前提，即人类社会生活是对地球生存实际问题的回应。
马文·哈里斯
分散化是保守的投资者长期坚守的信条。
本杰明·格雷厄姆
在这个世界上，没有人真正可以对另一个人的伤痛感同身受。
辛夷坞
“德”都差不多一样短暂。像ｘｘ，“娶妻娶德”，但妻子越来越唠叨，烦得他走投无路。
张爱玲
我喜欢压力。我喜欢重要时刻。这就是我打球的目的。
"I love the pressure. I love the big moments. That’s what I play for."
罗杰·费德勒
你不会因为避免错误而致富，而是通过发现自己的优势、建立自己的自信获得财富。
博多·舍费尔
"The best love is the kind that awakens the soul and makes us reach for more, that plants a fire in our hearts and brings peace to our minds."
最好的爱是那种唤醒灵魂、让我们追求更多、在心中点燃火焰并带来内心平静的爱。
莎拉·德森
大多数人的眼中，我是什么呢？一个无用的人一个反常与讨厌的人，一个没有社会地位而且永远也不会有社会地位的人。
梵高
富贵气太重，也不是什么好的迹象征兆。
曾国藩
选择是个大难题，有时候选择花去了你所有的时间，而你依然不知道，你能够做什么。
王安忆
树木也许曾经相当强壮，足以通过艰难斗争重新排除外来因素，但往往必定衰败凋零。
尼采
你只能对这时代生活的艰难感慨系之了。
梭罗
专注于你能控制的事情。
米歇尔·奥巴马
好的企业文化是能管到制度管不过来的东西，不是个神秘的咒语。制度是强制性的，文化则不完全是。建立好的企业文化非常难，破坏起来非常容易。
段永平