形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

A director must be a policeman, a midwife, a psychoanalyst, a sycophant and a bastard.

啊，充分利用我们还能花费的东西，在我们也归于尘土之前；尘土归于尘土，躺在尘土之下，没有酒，没有歌，没有歌手，也没有——尽头！

Ah, make the most of what we yet may spend, Before we too into the Dust descend; Dust into Dust, and under Dust to lie, Sans Wine, sans Song, sans Singer, and—sans End!

欧玛尔·海亚姆

Life would be infinitely happier if we could only be born at the age of eighty and gradually approach eighteen. 　　

如果我们能在80岁的时候出生，然后慢慢走向18岁，那生活将会幸福无比。

马克·吐温

当一种程序语言的程序需要引起注意时，它是低级的。

A programming language is low level when its programs require attention to the irrelevant.

艾伦·佩利

I'm a fighter, and I believe in the power of love.

我是一个战士，我相信爱的力量。

凯蒂·佩里

安分贫一时，本分终不贫。

周希陶

项目筛选有两种：一种是投资人介绍的，比如陈欧说这儿有一个项目，就是投资者推荐投资者，这是投资人最重要的一个途径，因为某种意义上已经经过筛选了，事实上陈欧给我推荐的两个项目全死掉了，他说此生不向我推荐项目了，我说不，要多推荐。第二种叫海投，4000里面起码有3800个是海投，但不要忘记，最近张泉灵一出来，也是几千个项目，我保证有一半是重叠的，创业者也不断试错，我们有五、六个人专职做这个，确保每一封信都看，都回，而且是署名的回，我们不能保证每个都投。

徐小平

愿每次回忆，对生活都不感到负疚。

郭小川

煤炭行业的发展必须坚持安全第一、环保优先的原则，实现绿色开采和可持续发展。

李延江

导师说我考上了！但我还没有去拿通知书，因为是全国统考的，所以成绩并不在学校里，有榜单的，我考前几名。

赵薇

我觉得网络公司一定会犯错误，而且必须犯错误，网络公司最大的错误就是停在原地不动，最大的错误就是不犯错误。关键在于总结我们反思各种各样的错误，为明天跑的更好，错误还得犯，关键是不要犯同样的错误。

马云

衍生品有很多条款，例如一方的信用被调低，信用被调低的一方必须提供更多的抵押品，你可能因此破产（如果使用了足够的财务杠杆），但当公司伸手去拿（对方的抵押品）的时候，钱并不在那里，为了保护自己，他们引入了不稳定因素，似乎没有人意识到他们发明的系统会带来灾难，这是一个疯狂的系统！

查理·芒格

花信来时，恨无人似花依旧，又成春瘦，折断门前柳，天与多情，不与长相守，分飞后，泪痕和酒，沾了双罗袖。

晏几道

我爱你，千千万万遍。

卡勒德·胡赛尼

要正直地生活，别想入非非！要诚实地工作，才能前程远大。

陀思妥耶夫斯基

Legal rules are not merely commands backed by threats; they are also rules that confer powers and create obligations.

法律规则不仅仅是威胁支持的命令；它们也是赋予权力和创造义务的规则。

H·L·A·哈特

The journey of a thousand miles begins with one step.

千里之行，始于足下。

瑞奇·马丁

Sustainability isn't a cost—it's an investment in our future.

可持续性不是成本，而是对我们未来的投资。

丽莎·马丁

在市场设计中，简洁往往能带来更好的结果。

In market design, simplicity often leads to better outcomes.

保罗·米尔格罗姆

—— 请按键盘 空白键 开始游戏 ——

—— 请按键盘空白键开始游戏 ——