The future of computing lies in the development of systems that can verify their own correctness.
计算的未来在于开发能够自我验证正确性的系统。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
我要把女儿养大，让她成为一个自由的自立的人。我把她带到这个世界上来，爱她，养育她，不是为了让她将来和哪个男人睡觉，从此这辈子依附于他。
毛姆
坏习惯不加以抑制，不久它就会变成你生活上的必需品。
奥古斯丁
计划本身毫无价值，但规划的过程至关重要。
Plans are worthless， but planning is everything.
艾森豪威尔
他们的命运是否要等数百年，才能再次在六点钟的电车里相交？他拾起头，看青春在镜子里被肢解，看自己乍现衰老的迹象：被人爱的时代已经结束，爱别人的时代已经开启，如果你还配得上去爱的话。
弗朗索瓦·莫里亚克
"A writer's duty is to tell the truth, even when it is uncomfortable."
作家的职责是讲述真相，即使它令人不安。
热罗姆·费拉里
世界上最柔软的东西是水，但它可以穿透最坚硬的东西，可以存在于任何空间，没有什么能超过它，例如，滴水穿石，这是软的，所以弱可以克服强，软能战胜强者。
李小龙
I don't play for the records. I play because I love the game.
我不是为纪录而比赛，我比赛是因为我热爱这项运动。
诺瓦克·德约科维奇
As the only basis for the character of the character, deep sincerity is the only foundation of talent.
爱默生
花好月好，长聚不散。
王安忆
春何曾说话呢？但她那伟大潜隐的力量已这般的温柔了世界了！
冰心
尽量挤出时间使自己得到良好的休息。只有得到良好的休息，才会有充沛、旺盛的精力去面对突如其来发生的各种事情。
李嘉诚
世界上的事情最好是一笑了之，不必用眼泪去冲洗。
泰戈尔
盼了多少年了呀，老瞎子想，盼了五十年了！五十年中翻了多少架山，走了多少里路哇，挨了多少回晒，挨了多少回冻，心里受了多少委屈呀。一晚上一晚上地弹，心里总记得，得真正是一根一根尽心地弹断了才成。现在了快盼到了，绝出不了这个夏天了。老瞎子知道自己又没什么能要命的病，活过这个夏天一点不成问题。“我比我师父可运气多了”他说、“我师父到了没能盼到眼睛看一回”
史铁生
伤口是别人给与的耻辱，自己坚持的幻觉。
陆小曼
人一穷，连最细致的感情都粗糙。爱到最高点，你也要自立。自己不立，谁来立你？得第二，也是输。岂容狡辩？
李碧华
最折磨人的不是脑力劳动，也不是体力劳动。而是操心（worry)。
傅雷
科技创业的核心是解决真实问题，而非追逐风口。
张伟
再漂亮的女人也不可能适合所有的服饰与造型，但聪敏的女人会学会用辅助条件让自己适合或许并不适合自己的东西！
董卿
写这封信只是想欢迎你，告诉你没有你的一天是永远无法结束的一天。
加缪