The future of computing lies in the development of systems that can verify their own correctness.
计算的未来在于开发能够自我验证正确性的系统。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
我们仰人鼻息，在学术上长期当别国学徒的日子快要结束了。数以百万计的人已经在我们的周围投入了生气勃勃的生活，歌颂的事迹和行为，它们本身就会歌唱。谁会怀疑我们的诗歌会复活并且带来一个新的时代呢？天文学家说，在我们的天顶燃烧的天琴座中的维迦星有一天会成为众星中的北斗，时间长达一千年之久。我们的新诗歌也将会如此。
爱默生
利之所在，不得不行。
谚语
长寿、幸福的秘诀是什么？不嫉妒、不抱怨、不过度消费，面对什么困难，都保持乐观的心态。交靠谱的人，做本分的事。
查理·芒格
孤立的个体具有主宰自己反应行为的能力，群体则缺乏这种能力。
古斯塔夫·勒庞
学不尚行，马牛而襟裾。
周希陶
越是低谷的时候，越是要更努力。
李笑来
如果心水是澄净的，那么就日日是好日，夜夜是清宵。
林清玄
识别小偷并不难：认为人人都会偷东西的人，就是小偷。
凯文·凯利
我从不间断读新科技、新知识的书籍，不至因为不了解新讯息而和时代潮流脱节。
李嘉诚
爱情，原来是含笑饮毒酒。
张爱玲
The only real wisdom is the wisdom of the heart.
唯一真正的智慧是心灵的智慧。
海涅
罪恶本质上是罪，是把尊严和信义抛弃的行为。
陀思妥耶夫斯基
只要开始出发，道路自会延伸。
沃尔特·惠特曼
每当我们给个人一种影响的时候，而这影响必定同时应当是给予集体的一种影响。
马卡连柯
不可名状、闷声不响、愤愤不平、莫名其妙、睡眼惺忪、筋疲力尽、乱作一团、如饥似渴、红光满面、迎头痛击、十拿九稳、不以为然、郑重其事、通情达理。
奥斯特洛夫斯基
卓越的公司，排在第一位的不是你支付报酬的多少，而是你将报酬支付给何人。如果你有适合的雇员，在他们力所能及的范围内，他们会为创造一个伟大的公司而努力。他们会高效率的完成工作，不会因为报酬少而折腰，这就好比他们的呼吸不受控制一样。
彼得·德鲁克
我喜欢自言自语，因为这样节约时间，而且不会有人跟我争论。
王尔德
不管是黄昏还是初露曙色，茉莉花总是白的。
乔治·塞菲里斯
要善良，因为你遇到的每一个人都在经历一场艰难的战斗。
苏格拉底