"

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

埃德蒙·克拉克 埃德蒙·克拉克
💡 解读： The future of computing lies in the development of systems that can verify their own correctness.
🏷️ 标签： 我 未来 正确 自我 系统
💬 推荐名言 19句推荐
每一件事都是有得有失的。
杨超越 杨超越
女演员
小米和大家一起，始终保持对这个世界的热爱，才能在变化中发现机会、在挑战中找到出口，才能让我们的世界变得更好。
雷军 雷军
小米科技有限责任公司创始人
青春是伟大的财富，信任是永远的靠山，率真是制胜的法宝，好奇点燃了学习的热烈，友善铺就了向前的坦途。
王蒙 王蒙
“人民艺术家”国家荣誉称号获得者
只见红楼画阁，绣户朱门，雕车竞驻，骏马争驰。
金庸 金庸
与古龙、梁羽生合称为“武侠小说三剑客”
法庭的辩护，需要灵巧的智慧，敏捷的思路，以及瞬间决定的应对能力。优柔寡断，往往会招致失败。
艾伦·德肖维茨 艾伦·德肖维茨
哈佛大学法学院名誉教授
You have to dream hard.
谢尔曼·阿列克谢 谢尔曼·阿列克谢
生动描绘印第安人生活
16、 通常情况下，当某种不可逆转的事情在即将发生之际，人们会加速事件的发生（也许是为了证明在事件的进程中我们还是有一点微小的决定权的。）
米兰·昆德拉 米兰·昆德拉
2020年获得卡夫卡文学奖
国际政治是一项残酷而危险的事务，而且很可能继续保持这种状态。
约翰·米尔斯海默 约翰·米尔斯海默
美国政治学家
品类如何扩张？第一，当品类机会来临的时候，你一定要迅速做大，舍命狂奔；第二，你一定要“鬼子进村，打枪的不要”，因为你这个模式太优秀了，如果人家知道了，抄你学你竞争对手就会很多。与竞争对手相比，你到底解决哪些问题？
徐新 徐新
中国最优秀的风险投资家之一
窥镜蛾眉淡抹。
张炎 张炎
南宋词人
从那个问题带给你的感受开始讲起，而不是先攻击或责备对方。
菲利帕·佩里 菲利帕·佩里
《真希望我父母读过这本书》作者
人类已经成为他们工具的工具了。
梭罗 梭罗
瓦尔登湖畔的哲人
诗歌是反抗的武器。
佚名 佚名
数字化转型不是终点，而是企业持续进化的起点。
刘洪清 刘洪清
华为云CEO，推动华为云高速增长
通过贪婪的阅读，成长为一个终身的自学者；培养好奇心，每天努力变得更聪明一点。
查理·芒格 查理·芒格
美国投资家
人生可怕的苦难，人间的伶仃孤独，万物的虚无缥缈，内心的寂寞空虚，都一涌而来，呈现在你眼前，打破了一直到死都以梦想来自我陶醉，自我欺骗的虚幻心境。
莫泊桑 莫泊桑
世界短篇小说之王
可以这样说：没有美的魅力是一种人们尚不了解其规律的匀称，是这个人的各种特征以及这些特征和他的外表、神态的一种神秘的和谐。
弗朗索瓦·德·拉罗什富科 弗朗索瓦·德·拉罗什富科
以其《道德箴言录》闻名
先爱自己，其他一切都会水到渠成。
瑞奇·马丁 瑞奇·马丁
拉丁音乐国际化推手
儿孙自有儿孙福。
谚语 谚语
广泛流传于民间的简洁而富有教育意义的语句
🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行