"

计算的未来在于开发能够自我验证正确性的系统。

埃德蒙·克拉克 埃德蒙·克拉克
💡 解读： The future of computing lies in the development of systems that can verify their own correctness.
🏷️ 标签： 我 未来 正确 自我 系统
💬 推荐名言 20句推荐
一个人能同时保有全然相反的两种观念，还能正常行事，是第一流智慧的标志。——菲茨杰拉德
罗振宇 罗振宇
“得到app”创始人
长期看，是普通大众的理念在决定着我们的未来。
张维迎 张维迎
中国经济学家
言饰于外，志藏于中；言发于先，行成于后。
王夫之 王夫之
与顾炎武、黄宗羲并称明清之际三大思想家
Even God cannot cause that two times two should not make four.
胡果·格劳秀斯 胡果·格劳秀斯
现代国际法奠基人
生命诚可贵，爱情价更高；若为自由故，二者皆可抛。
裴多菲 裴多菲
匈牙利民族文学的奠基人
爱孩子，更要懂得如何爱。
李玫瑾 李玫瑾
教育心理学专家
危在我，而施于人。故我危则人危，人不欲危，则必出我于厄难。
张居正 张居正
明朝政治家
我们需要的并非天赋而是勤奋，并非聪明才智而是问题意识。
彼得·德鲁克 彼得·德鲁克
现代管理学之父
我在乎你，所以我将使你心烦意乱；我敬重心中完美的你，因此我将伤害凡尘中的真实的你。
阿兰·德波顿 阿兰·德波顿
英国作家
The times they are a-changin'.
鲍勃·迪伦 鲍勃·迪伦
美国唱作人
做企业要像种地一样，脚踏实地，不能急于求成。
陈丹 陈丹
广东恒兴董事长，水产养殖领军者
三个投资哲学：守正用奇；弱水三千但取一瓢，桃李不言下自成蹊；风物长宜放眼量，高筑墙，广积粮，缓称王。
张磊 张磊
价值投资教父
只有自己栽的树才是树，只有自己喂的猫才是猫。只有自己眼睛看到的世界才是世界。
余秀华 余秀华
2015年获国家级诗歌刊物《诗刊》年度“诗人奖”
对我来说，每部电影都是一次挑战和探索，我喜欢去尝试不同的题材和风格，永远不满足于现状。
张艺谋 张艺谋
“第五代导演”代表人物之一
每天都是一个崭新的日子。走运固然不错，不过我宁可保持精确。那样，机会来临时，你已经做好了准备。 
海明威 海明威
20世纪最著名的小说家之一
清洁：身体、衣着和居所要力求干净。
富兰克林 富兰克林
美国政治家、物理学家、社会活动家
Freedom was a thing that shifted as you looked at it, the way a forest is dense with trees up close but from outside, from the empty meadow, you see its true limits. Being free had nothing to do with chains or how wide your cage was.
科尔森·怀特黑德 科尔森·怀特黑德
小说《地下铁道》
好把的是病，猜不透的是人心。
刘震云 刘震云
中国男作家、编剧
你是真的想要这份工作，还是仅仅想要这份工资？
王兴 王兴
美团创始人、董事长兼首席执行官
创业者要有‘偏执狂’的精神，但也要有开放的胸怀。
阎焱 阎焱
中国风险投资界的教父
🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行