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

模型检查是验证硬件和软件系统正确性的强大工具。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
除了为财富转移给盗贼统治者进行辩护外，有组织的宗教还为中央集权的社会带来了另外两个重大的好处。第一个好处是，共同的意识形态或宗教有助于解决没有亲属关系的人们应如何共处而不致互相残杀这个问题——办法就是为他们规定一种不是以亲属关系为基础的约束；第二个好处是，它使人们产生了一种为别人而牺牲自己生命的动机，而不是产生利己之心。以少数社会成员战死沙场为代价，整个社会就会在征服其他社会或抵御外侮时变得更加有效。
贾雷德·戴蒙德名人名言哲理格言警句语录 贾雷德·戴蒙德
做人只需时时向善，酒肉穿肠而过，荤口念佛也全无忌讳。
佚名名人名言哲理格言警句语录 佚名
从长远看，不断重复的说法会进入我们无意识的自我的深层区域，而我们的行为动机正是在这里形成的。到了一定的时候，我们会忘记谁是那个不断被重复的主张的作者，我们最终会对它深信不移。
古斯塔夫·勒庞名人名言哲理格言警句语录 古斯塔夫·勒庞
我认为你能做的最好的事情就是对自己真实和诚实。
I think the best thing you can do is to be true to yourself and to be honest with yourself.
桑德拉·布洛克名人名言哲理格言警句语录 桑德拉·布洛克
莫打鼓，莫敲锣。听我唱这逐满歌。如今皇帝非汉人，满洲清妖老猢狲。辫子拖长尺八寸，猪尾摇来满地滚。头戴红樱真狗帽，顶挂朝珠如鼠套。
章太炎名人名言哲理格言警句语录 章太炎
不可能充满预见地将生命的片段串联起来，你只能在回顾的时候才会发现这些点点滴滴的联系。所以你必须坚信你的经历，会在未来的某一天连在一起。
史蒂夫·乔布斯名人名言哲理格言警句语录 史蒂夫·乔布斯
梦只在精神领域才具有现实性。
弗洛伊德名人名言哲理格言警句语录 弗洛伊德
We tend to overestimate what we can do in a day， and underestimate what we can achieve in a decade. Miraculous things can be accomplished if you give it ten years. A long game will compound small gains to overcome even big mistakes.
人们总是倾向于高估一天能达成的事情，而低估十年能取得的成就。奇迹常常可以在十年的尺度上发生。长期主义能够实现的小进展的持续积累的复利，足以超越哪怕巨大的失误。
凯文·凯利名人名言哲理格言警句语录 凯文·凯利
与其锲而不舍，不断努力地付出，以达到你的目标，不如尽到本分之后就静观其变，学习接受结果的自然呈现。与其什么事情都要立刻获得“是或不是”，“对或错”，“要或不要”的答案，不如学习稳坐在矛盾、暧昧、隐晦之中，耐心地等候正确时机的出现。与其一味地逞强好胜，不如学习接受别人的关怀和照顾，甚至接受“失败也是可以的”。人生真正的失败是一味地追求成功，最终却发现那都不是你真心想要的。与其强求事情都按照你所希望的方式发生，而不断去控制周遭的人、事、物，让自己变成控制狂，不如让事情自然而然地水到渠成，学习包容和宽恕。与其要求别人的言行举止都要按照你的意思来进行，不如对人多一分宽容和慈悲。
张德芬名人名言哲理格言警句语录 张德芬
You can t just ask customers what they want and then try to give that to them. By the time you get it built, they ll want something new.
你不能只问顾客要什么，然后想法子给他们做什么。等你做出来，他们已经另有新欢了。
史蒂夫·乔布斯名人名言哲理格言警句语录 史蒂夫·乔布斯
通过干干净净地赚钱让人相信干干净净地赚钱是可能的，通过实现理想让人相信实现理想是可能的，通过改变世界让人相信改变世界是可能的。《生命不息，折腾不止》
罗永浩名人名言哲理格言警句语录 罗永浩
一个社会即使探索到了本身运动的自然规律，……——它还是既不能跳过也不能用法令取消自然的发展规律。
马克思名人名言哲理格言警句语录 马克思
在那些为了抨击名望和学问的书籍的封面上赫然印着作者的大名。
爱默生名人名言哲理格言警句语录 爱默生
无不让也，不可，说在殆。
墨子名人名言哲理格言警句语录 墨子
若你在这世上，寻找爱你之爱，而非爱你之人，会发现那个人只是你。
释迦牟尼名人名言哲理格言警句语录 释迦牟尼
对于不可控的事情，我们保持乐观，对于可控的事情，我们保持谨慎。可控的事情就是你现在有一些小小的影响力，你别滥用，别得意忘形，对于不可控的事情，将来会怎么样，你不知道，你抱着乐观的心接受一一个开放性的选项，于是你仔细去回想你这一生中所遇到的很多的经历，很多重要时刻，你才恍然大悟，原来你就是一个很渺小的人呢。
罗翔名人名言哲理格言警句语录 罗翔
数据是新的石油，但比石油更重要的是如何用好数据。
马化腾名人名言哲理格言警句语录 马化腾
劝农业，无夺其时。
诸葛亮名人名言哲理格言警句语录 诸葛亮
Imagination is the only weapon in the war against reality.
想象力是对抗现实的唯一武器。
皮埃尔·穆勒名人名言哲理格言警句语录 皮埃尔·穆勒