有趣 / 有料 / 涨知识 - 每日文摘
爱笑话
爱发现
几句话
每日文摘
有趣 / 有料 / 涨知识 - 每日文摘
首页
名言
文案
人物
标签
著作
推荐
搜索
模型检查是验证有限状态并发系统正确性的强大技术。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
约瑟夫·斯法基斯
人类的理解力就像一张白纸,经验在上面留下了痕迹。
约翰·洛克
教育不是填满水桶,而是点燃火焰。
塔拉·韦斯特弗
没有人能够伤害到你,除非是你自己愿意受到伤害。
金融帝国
苹果公司对施乐PARC的这次技术盗窃,有时被形容为工业史上最严重的抢劫行为之一。乔布斯偶尔也会 骄傲地承认这一说法。“归根结底,我们只是想尽量了解有史以来最棒的发明,然后将它运用到我们正在做的事情当中。”他有一次说,“毕加索不是说过么:‘好的艺术家只是照抄,而伟大的艺术家窃取灵感。’在窃取伟大的灵感这方面, 我们一直都是厚颜无耻的。”
沃尔特·艾萨克森
乔布斯生性就喜欢误导人,或者有时候故作神秘,只要他觉得有理由。而另一方面,他有时也会诚实得近乎残忍,讲出那些我们大多会粉饰或隐瞒的事实。撒谎和实话实说都只是他那尼采式的人生态度的两个侧面。一般规律对他不适用。
沃尔特·艾萨克森
我需要天空一片被微风冲淡的蓝色让诗句渐渐散开。
顾城
拿到感觉,就已经解决了很大的问题了。
李中莹
迈出第一步,才知道第二步怎么走。
霍达
你可能认为另一边的草更绿。但如果你花时间给自己的草浇水,它也会一样绿。
亨利·福特
江山如有得,山木更无私。
杜甫
当你开始做(原来认为)不够格的事情时,你就会成长。
史蒂文·巴特利特
Words and actions should be consistent; honesty is the best expression of faith.
言行应当一致,正直是信仰的最佳表达。
西塞罗
股市极大地分散了投资业务的注意力。
约翰·博格尔
在一个充满仇恨的世界,我们仍然要满怀希望;在一个充满绝望的世界,我们仍然要敢于梦想。
迈克尔·杰克逊
Every advance in knowledge opens up new questions and new difficulties.
知识的每一次进步都会带来新的问题和新的困难。
乔治·西蒙·欧姆
品牌和营销同时诞生。
小马宋
听从命运之人,将不再有榜样和理想,没有爱,也不得安慰!但这才是人该走的路。你我这样的人注定孤独。但我们拥有彼此,有秘密的方式作为补偿,去另辟蹊径,去反抗,去追求不凡。但是,要走上命运之路,就必须连这些也放弃,就不会成为革命者,成为榜样和殉道者。走上命运之路,超乎想象。
赫尔曼·黑塞
我们爱名誉并不是为名誉,可以说完全是为了它所带来的利益。
爱尔维修
如果生活能够在我们面前壮丽地展开,如果我们还年轻的眼睛可以浏览这些走廊、细查这座旅馆的大厅和房间,那座未来的悲剧和等待着我们的惩罚的舞台,我们和我们的朋友,我们所有人都将颤抖着倒退!
波德莱尔
加载更多