每日文摘
首页
›
作家
›
弗朗西斯·艾伦
›
名言详情
「计算的目标是洞察力，而不是数字。」- 弗朗西斯·艾伦经典语录
"
计算的目标是洞察力，而不是数字。
弗朗西斯·艾伦
💡 解读：
The goal of computing is insight, not numbers.
🏷️ 标签：
目标
不是
‹
The goal of computing is insight, not numbers.
The best way to learn a new programming language i...
›
👤 更多 弗朗西斯·艾伦 经典语录
10句
软件开发中最重要的一个方面是明确你要构建什么。
弗朗西斯·艾伦
程序员最重要的技能是阅读代码的能力。
弗朗西斯·艾伦
真正的危险不是计算机开始像人一样思考，而是人开始像计算机一样思考。
弗朗西斯·艾伦
Optimizing compilers are a lot like nuclear power plants. They are both very powerful and very dangerous.
弗朗西斯·艾伦
The real danger is not that computers will begin to think like men, but that men will begin to think like computers.
弗朗西斯·艾伦
The best way to learn a new programming language is by writing programs in it.
弗朗西斯·艾伦
程序最重要的属性是它是否实现了用户的意图。
弗朗西斯·艾伦
The most important property of a program is whether it accomplishes the intention of its user.
弗朗西斯·艾伦
最好的性能改进是从非工作状态过渡到工作状态。
弗朗西斯·艾伦
The most important skill for a programmer is the ability to read code.
弗朗西斯·艾伦
🏷️ 相关主题推荐
10句
我绝不坚信这个时代没有放之四海而皆准的正义和良善的价值观，它们不仅仅有，而且不是朝令夕改流动无常的，它们是稳定而永恒的。
亚历山大·索尔仁尼琴
一个人，出生了，这就不再是一个可以辩论的问题，而只是上帝交给他的一个事实；上帝再交给我们这个事实的时候，顺便保证了它的结果。所以死不是一件急于求成的事，死是一个必然会将临的节日。
史铁生
你在电视上看见一个小牛出生，出生了以后它几秒钟之后它就想法站起来，常常站不起来，因为站起来立刻就摔倒，然后它又站起来。怎么一个安排，就使得它知道它要站起来，而且失败了以后还可以再尝试，然后等到最后站起来，它就知道要去吃它妈妈的奶，这个母亲跟这个小牛之间的关系，这是一种非常神秘的事情，所以就是自然界非常稀奇的事情非常之多。就使得我想到，现在不是大家都热衷于人工智能吗，他们研究的东西里头也是很稀奇的东西，可是这些东西离小牛跟它母亲之间的复杂的这个关系那还是差得很远呢。我很难想象说是在以后两百年之间，生物学家会对母子之间的 bonding ，能够有深入的了解。
杨振宁
革命的道路，同世界上一切事物活动的道路一样，总是曲折的，不是笔直的。
毛泽东
这世上没有一样感情不是千疮百孔的。短的是生命，长的是磨难。
张爱玲
女人是用来爱的，而不是用来了解的。
王尔德
我们要树立人生目标，这样我们才知道生活的航向，才能懂得生活还有新的追求。但是比树立目标重要的是用行动去实现所谓的目标，只有下定决心，历经学习，奋斗，成长这些不断的行动，才有资格摘下成功的甜美果实。
李开复
人生中最重要的不是把成功当作资本，傻子也会这样做的。重要的是从失败中崛起，并受益，这可是需要聪明的才智，也正是智者和傻瓜的区别。
卡耐基
亚运金牌是人生中一个重要节点，但我的目标永远是朝着奥运会、朝着最高最强的那个舞台奋斗。希望明年在巴黎（奥运）跑出好成绩，尽可能站上决赛跑道，让世界看到我们中国田径的成长和进步。
谢震业
文学是一种社会现象，而社会并不是一种文学现象。社会上尚没有完全弄清、完全解决的问题，期待通过文学作品的阅读来得到信念，得到前景，得到路线图，那是不现实的。
王蒙
🔥 热门推荐
10句
但是在这里，真正属于我的世界只有脚下的小路那么宽。我一步也不会离开这条路。我从不曾需要多么宽阔的通道，能侧身而过就足够了。像鸟在天空侧身飞翔，鱼在大海里侧身遨游，我从来不曾渴望过全部的世界。我只是经过这个世界，去向的一个小小的所在。我只依赖熟知的事物而生活，我心有牵挂，不想迷路，不想回不了家。我在山野里，游荡在节制之中。但已经感到足够的自由。
李娟
但愿同入梦。
琼瑶
悲伤就是知识
拜伦
表面看起来糟糕的事，本质上却往往并非如此。
塞涅卡
我绝不坚信这个时代没有放之四海而皆准的正义和良善的价值观，它们不仅仅有，而且不是朝令夕改流动无常的，它们是稳定而永恒的。
亚历山大·索尔仁尼琴
我们根本没想到要怀疑或轻视“历史的启示”；历史就是我们的一切。
恩格斯
奇花与丽日争妍，翠竹共青天斗碧。
吴承恩
大家礼义教子弟，小家凶恶训儿郎。
周希陶
人人为我，我为人人。
列宁
真理就是自由人的祖国。真理不存在于丑化了的现实里。生命的第一个行动就是创造的行动。在争论中是不分高贵卑鄙，也不管称号姓氏的，重要的只是真理，在它面前人人平等。
罗曼·罗兰
首页
›
作家
›
💬 查看更多
40句相邻名言
性能的关键在于优雅，而不是大量的特殊情况。
彼得·诺尔
ALGOL 60语言的贡献者
The only way to learn a new programming language is by writing programs in it.
彼得·诺尔
ALGOL 60语言的贡献者
学习一种新编程语言的唯一方法是用它编写程序。
彼得·诺尔
ALGOL 60语言的贡献者
The computer is incredibly fast, accurate, and stupid. Man is unbelievably slow, inaccurate, and brilliant. The marriage of the two is a force beyond calculation.
彼得·诺尔
ALGOL 60语言的贡献者
计算机非常快、准确且愚蠢。人类非常慢、不准确且聪明。两者的结合是一种无法计算的力量。
彼得·诺尔
ALGOL 60语言的贡献者
The most important thing in the programming language is the name. A language will not succeed without a good name. I have recently invented a very good name and now I am looking for a suitable language.
弗朗西斯·艾伦
编译器优化的先驱
编程语言中最重要的就是名字。没有一个好名字，语言就不会成功。我最近发明了一个非常好的名字，现在正在寻找一种合适的语言。
弗朗西斯·艾伦
编译器优化的先驱
Optimizing compilers are a lot like nuclear power plants. They are both very powerful and very dangerous.
弗朗西斯·艾伦
编译器优化的先驱
优化编译器很像核电站。它们都非常强大，也非常危险。
弗朗西斯·艾伦
编译器优化的先驱
The best way to predict the future is to invent it.
弗朗西斯·艾伦
编译器优化的先驱
预测未来的最好方法就是去发明它。
弗朗西斯·艾伦
编译器优化的先驱
The real danger is not that computers will begin to think like men, but that men will begin to think like computers.
弗朗西斯·艾伦
编译器优化的先驱
真正的危险不是计算机开始像人一样思考，而是人开始像计算机一样思考。
弗朗西斯·艾伦
编译器优化的先驱
The most important single aspect of software development is to be clear about what you are trying to build.
弗朗西斯·艾伦
编译器优化的先驱
软件开发中最重要的一个方面是明确你要构建什么。
弗朗西斯·艾伦
编译器优化的先驱
The best performance improvement is the transition from the nonworking state to the working state.
弗朗西斯·艾伦
编译器优化的先驱
最好的性能改进是从非工作状态过渡到工作状态。
弗朗西斯·艾伦
编译器优化的先驱
The most important property of a program is whether it accomplishes the intention of its user.
弗朗西斯·艾伦
编译器优化的先驱
程序最重要的属性是它是否实现了用户的意图。
弗朗西斯·艾伦
编译器优化的先驱
The goal of computing is insight, not numbers.
弗朗西斯·艾伦
编译器优化的先驱
The best way to learn a new programming language is by writing programs in it.
弗朗西斯·艾伦
编译器优化的先驱
学习新编程语言的最好方法是用它编写程序。
弗朗西斯·艾伦
编译器优化的先驱
The most important skill for a programmer is the ability to read code.
弗朗西斯·艾伦
编译器优化的先驱
程序员最重要的技能是阅读代码的能力。
弗朗西斯·艾伦
编译器优化的先驱
The most important thing in science is not to stop questioning.
埃德蒙·克拉克
模型检测技术的先驱
科学中最重要的事情是不要停止提问。
埃德蒙·克拉克
模型检测技术的先驱
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
埃德蒙·克拉克
模型检测技术的先驱
模型检查是验证硬件和软件系统正确性的强大工具。
埃德蒙·克拉克
模型检测技术的先驱
The key to solving complex problems is to break them down into smaller, more manageable parts.
埃德蒙·克拉克
模型检测技术的先驱
解决复杂问题的关键在于将它们分解成更小、更易管理的部分。
埃德蒙·克拉克
模型检测技术的先驱
In computer science, we often have to deal with systems that are too complex to understand all at once.
埃德蒙·克拉克
模型检测技术的先驱
在计算机科学中，我们经常需要处理那些复杂到无法一次性理解的系统。
埃德蒙·克拉克
模型检测技术的先驱
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
埃德蒙·克拉克
模型检测技术的先驱
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
埃德蒙·克拉克
模型检测技术的先驱
We must always strive to push the boundaries of what is possible in computing.
埃德蒙·克拉克
模型检测技术的先驱
我们必须始终努力推动计算领域的可能性边界。
埃德蒙·克拉克
模型检测技术的先驱
The challenge in model checking is not just to find errors, but to understand why they occur.
埃德蒙·克拉克
模型检测技术的先驱
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
埃德蒙·克拉克
模型检测技术的先驱
The future of computing lies in the development of systems that can verify their own correctness.
埃德蒙·克拉克
模型检测技术的先驱
计算的未来在于开发能够自我验证正确性的系统。
埃德蒙·克拉克
模型检测技术的先驱
🎲 随机 · 灵感闪现
✨ 名言如星，拾光而行
