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

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

约瑟夫·斯法基斯

不做空、不margin（融资，保证金杠杆交易），不做不懂的东西。什么时候明白都不晚。不过，真的明白恐怕都是在付出大代价之后。

段永平

世上如果有后悔药，我一定吃得药物中毒。

韩寒

不要害怕犯错，错误是成长的机会，从错误中我们可以学到很多东西。

阿德勒

当争斗在一个内心中发生，他的生存就有价值了。

罗伯特·勃朗宁

中国电影有审查制度，但没有分级制度。一部电影让观众从8岁到80岁都可以看。如果未来审查制度能宽松些，导演们会拍出更多好故事。

张艺谋

不要用兄弟情意来追求共同利益，这个不长久，一定要用共同利益追求兄弟情意。不能纯粹为了理想去追求事业，但你的事业一定要有伟大的理想。这样的合伙人制度才能长久。

徐小平

空白和沉默有时比任何装饰都更有力量。

安藤忠雄

最好的故事是那些感觉不可避免的故事，即使它们让你惊讶。

The best stories are the ones that feel inevitable, even if they surprise you.

乔恩·麦格雷戈

The true use of art is to make the invisible visible.

艺术的真正用途是让不可见的东西变得可见。

托马斯·格林

自由不能以彻底放弃自由为代价，因此利益必须考虑伦理道德的约束。

罗翔

正是因为你内心没有爱所以你不停地从外面寻找爱来填满自己。

克里希那穆提

The best way to predict the future is to create it.

预测未来的最好方法就是创造未来。

刘德华

The best technology is the one you don't notice.

最好的技术是你感受不到的技术。

胡晓明

Food security is the cornerstone of national security, we must firmly grasp it in our own hands.

粮食安全是国家安全的基石，我们必须牢牢把握在自己手中。

张启发

如果总是盯着他人的黑暗，而无视自己内心的幽暗，总有一天，你的影子会吞掉你。

罗翔

死者不会停留在他们被埋葬的地方。

"The dead don’t stay where they are buried."

胡安·加夫列尔·巴斯克斯

物质的繁荣，我们需要，意识的崇高，我们坚持。

雨果

整体不同于其部分的总和。

The whole is different from the sum of its parts.

沃尔夫冈·科勒

时间有没有尽头。

斯蒂芬·威廉·霍金

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

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