The future of computing lies in the development of systems that can verify their own correctness.
计算的未来在于开发能够自我验证正确性的系统。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
To conquer fear is the beginning of wisdom.
征服恐惧是智慧的开始。
罗素
勇敢不是没有恐惧，而是面对恐惧后依然前行。
佚名
能够爱一个人爱到问他拿零用钱的程度，都是严格的考验。
张爱玲
要变强吗？那就要赢我！
麦哲伦
有两种东西，我们越是反常的思索，越是在心中灌注了永远新鲜和不断增长的赞叹和敬畏：我头上的星空和我心中的道德。
康德
大概生命中所有的灿烂，都要用寂寞来偿还
加西亚·马尔克斯
大多数人的感激之情，不过是一种想得到更大恩惠的隐秘的欲望而已。
拉罗什富科
图片
雨果
我们学习法律可不是为了钻法律漏洞，而是树立对法的敬畏和尊重。这就是为什么伯尔曼会说：“法律若不被信仰，不过是一纸空文。”
罗翔
“无论两条腿如何努力，也无法让两颗心的距离更加接近”
梭罗
自尊心是个膨胀的气球，轻轻一针就刺出了大风暴。
伏尔泰
我们在这里睡觉时，在另一个地方却是清醒的，因此每一个人都是两个。
博尔赫斯
一个人不可能以部分、残缺的形式反映全部。
李小龙
从御池大街往上走，一路上，她看见打睿山到北山的`天空一片火红，不禁驻足仰望了好一阵子。
川端康成
我是大路，是远游客，是所有下海的船。
罗伯特·詹姆斯·沃勒
业精于勤荒于嬉，行成于思毁于随。
译文：勤奋能使学业更加精进，而沉迷于玩乐会导致学业荒废；德行由于独立思考而有所成就，由于因循随俗而败坏。赏析：人如果愚钝不开，只要勤奋也能补拙，但聪明的人要是玩物就会丧志，做任何事也不会成功。
佚名
一半时间里我是思想者，另一半时间里我是一个理智的实践者。我对学术问题保持理智和务实，对实际问题保持哲学思考。
塔勒布
我们经常认为他们生来就知道自己的奋斗目标，并且一直向着目标不断前行，但实际上没有什么人是一帆风顺的。
凯文·凯利
我不在乎他们偷了我的想法。我关心的是他们没有自己的。
尼古拉·特斯拉