"

The future of computing lies in the development of systems that can verify their own correctness.

埃德蒙·克拉克 埃德蒙·克拉克
💡 解读： 计算的未来在于开发能够自我验证正确性的系统。
💬 推荐名言 19句推荐
要做对的事情，做感兴趣的事情，并且坚持把这件事情做好。
段永平 段永平
创立“小霸王”
往外张望的人在做梦，向内探寻的人才是命运。
卡尔荣格 卡尔荣格
你对一个完全不了解的人谈情说爱，是对自己的不负责任。
麦家 麦家
茅盾文学奖得主
家里练不出千里马，花盆里栽不出万里松。
李娟 李娟
获第七届鲁迅文学奖散文杂文奖
技术是比亚迪的基因，创新是比亚迪的灵魂。
王传福 王传福
比亚迪股份有限公司创始人
世界上有许多既美好又出类拔萃的事物，可是他们却各不相依。
歌德 歌德
最伟大的德国作家之一
我们每个人都应该探寻自身的“合理”与“禁忌”。
赫尔曼·黑塞 赫尔曼·黑塞
1946年获诺贝尔文学奖
我们只能通过我们手头的人类来认识和感受人性。
埃利·威塞尔 埃利·威塞尔
被看作“大屠杀活教材”
但是事情既已无可奈何，他就转身弯腰，急忙往前赶路，不再去想这件事了。
托马斯·哈代 托马斯·哈代
英国诗人、小说家
你可以随时转身，但你绝对不可以后退。
鲍勃·迪伦 鲍勃·迪伦
美国唱作人
有志者，事竟成。  
范晔 范晔
著《后汉书》
在意自己脸的人有自己。
岸见一郎 岸见一郎
日本作家
Success in furniture manufacturing comes from understanding both craftsmanship and the customer’s needs.
詹姆斯·威尔逊 詹姆斯·威尔逊
渔业技术创新先驱
创造历史的最好方法是把它写出来。
丘吉尔 丘吉尔
“最伟大的100名英国人”中有史以来最伟大的英国人
列宁和斯大林也是如此。每个人都相信自己在做正确的事情，无论面临什么样的问题，比如土地改革，或者军事战术。格雷戈里却做不到。
肯·福莱特 肯·福莱特
当代大师级历史小说作家
为了迅速揭示你刚认识的一个人的真实性格，把他们转移到一个慢得不能再慢的网络连接上。观察一下。
凯文·凯利 凯文·凯利
《连线》杂志创始主编
积极向上的女性明白男性和女性是不同的，这些差异应该被庆祝，而不是被否认。
菲莉丝·施拉夫利 菲莉丝·施拉夫利
美国律师
房地产行业这个说法太泛了，就像说电子消费品这个行业生意模式好不好一样，没办法得出结论的。电子消费品行业竞争非常激烈，但苹果就做出了一个非常好的商业模式，而其他的企业就非常不容易。
段永平 段永平
创立“小霸王”
重新跟断绝关系的朋友往来，是人的弱点之一。
奥格·曼狄诺 奥格·曼狄诺
《羊皮卷》作者
🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行