"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

模型检查是验证有限状态并发系统正确性的强大技术。

约瑟夫·斯法基斯

真相很少是纯粹的，也从不简单。

The truth is rarely pure and never simple.

理查德·弗拉纳根

艺术必须打动你，而设计不会，除非是设计一辆好巴士。

Art has to move you and design does not, unless it's a good design for a bus.

大卫·霍克尼

"The past is not something we leave behind; it's something we carry within us, shaping our present and future."

过去不是我们抛在身后的东西；它是我们内心携带的东西，塑造着我们的现在和未来。

穆罕默德·哈桑·阿尔万

在老年时，会有许多闲暇的时间，去计算那过去的日子，把我们手里永久丢失了的东西，在心里爱抚着。

泰戈尔

节约的习惯，由于模仿、遗传或这两方面的关系而传到下一代，从而造成更多的积累，财富的积累与消散有时是循环进行的。

欧文·费雪

“你曾承诺过不让他们杀我，你是认真的吗？”“在我一生中还从没这么认真过呢。我不会让你死的，威伯。”

E・B・怀特

明白事理的人使自己适应世界；不明事理的人想使世界适应自己。

萧伯纳

在心理上预测行情就行了，但一定不要轻举妄动，要等待，直到你从市场上得到证实你的判断是正确的信号，到了那个时候，而且只有到了那个时候，你才能用你的钱去进行交易。

杰西·利弗莫尔

城市太大了，他已经精疲力尽，再也跑不动了；城市又太小了，竟然无处容纳他的哀伤。

米格尔·阿斯图里亚斯

你取得成功的唯一途径是热爱你所做的事情。

The only way you are going to have success is to love what you are doing.

桑达尔·皮查伊

人总是越长大越胆小，很多事情现在不做，以后就更不敢去做了。

房琪

知音说与知音听，不是知音莫与谈。

周希陶

让人们相信谎言的可靠方法就是不断重复，因为人们很难区分耳熟的话和真话。

丹尼尔·卡尼曼

最好的解决方案来自于倾听土地的声音。

The best solutions come from listening to the land.

莎拉·格林

真相很少纯粹，也决不简单。

奥斯卡·王尔德

At seventy, I’m just getting started. Watch me.

70岁，我才刚刚开始。等着瞧吧。

马克·吐温

智者之虑，必杂于利害，杂于利，而务可信也；杂于害，而患可解也。

卢思浩

专业人士和新手的区别在于，他们知道如何从错误中优雅地走出来。

凯文·凯利

我没有信仰原则，如果你没注意到的话。

I don't believe in principles, in case you haven't noticed.

菲利普·约翰逊

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

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