The only limit to our realization of tomorrow will be our doubts of today.
实现明天的唯一限制将是我们今天的疑虑。
尼科尔·巴斯名人名言哲理格言警句语录 尼科尔·巴斯
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
The challenge in model checking is not just to find errors, but to understand why they occur.
埃德蒙·克拉克
一回经蛇咬，三年怕草绳。
谚语
我要的只是在我深爱的乱七八糟的城市里发发疯，享受一下人世间的艳俗与繁荣罢了。
三毛
72 小时法则：当你决定做一件事 ， 必须在 72 小时内开始。
博多·舍费尔
我喜欢深存感恩之心又独自远行的女人。知道谢父母，却不盲从。知道谢天地，却不畏惧。知道谢自己，却不自恋。知道谢朋友，却不依赖。知道谢每一粒种子每一缕清风，也知道要早起播种和御风而行。
毕淑敏
一个今天胜过两个明天。
柏拉图
数学不知道种族或地理边界；对于数学来说，文化世界是一个国家。
Mathematics knows no races or geographic boundaries; for mathematics, the cultural world is one country.
尤里·泽瓦
人生中最重要的不是把成功当作资本，傻子也会这样做的。
卡耐基
在我来说，旅途真正的快乐不在于目的地，而在于它的过程。遇见不同的人，遭遇到奇奇怪怪的事，克服种种困难，听听不同的语言，在我都是很大的快乐。
三毛
失败的目的是引领你走向成功。那些生活事业有成的人，看到的不仅仅是失败，而是着眼于未来。而那些害怕失败的人有可能从未成功过，就是因为他们没有努力。
吉姆·罗杰斯
从长远来看，有价值的并非是一个人读了什么书，而是独立思考并吸收了什么东西，是通过阅读激发的那些想法和感觉。正是你自己的想法，独立思考得出的那些想法，使你成为一个有意思的人。
埃莉诺·罗斯福
大约4万年前，克罗马农人来到欧洲，他们的形态接近现代人类，武器先进，还有其他进步的文化特征。不到几千年，已在欧洲生活了几十万年的尼安德特人就消失了，而原本他们是欧洲唯一的人类种群。从事情发生的顺序看，很有可能是克罗马农人凭借先进的技术、语言能力或脑力，杀害或取代了尼安德特人——几乎没有证据显示这两种人曾经混血。
贾雷德·戴蒙德
Life is what happens when you’re busy making other plans.
生活就是当你忙于制定其他计划时所发生的一切。
亚瑟小子
Architecture is the art of making meaningful places.
建筑是创造有意义场所的艺术。
让·努维尔
"The past is always with us, but it doesn't have to define our future."
过去总是与我们同在，但它不必定义我们的未来。
琳达·苏·帕克
一个人的经历，他的情感、荣誉、挫折，包容他的错误，都属于这条路的一部分。从这个角度来讲，经历是一笔财富。但一个被经历压倒的人，是无法得到这比财富的。
褚时健
The bureaucrat’s utility function includes the size of his budget as an argument.
官僚的效用函数中包括其预算规模作为一个参数。
詹姆斯·布坎南
游戏行业最宝贵的是人才，比资金更重要。
丁磊
所有杰作的秘诀全在这一点：题旨同作者性情贴合。
福楼拜