每日文摘
首页
›
作家
›
托尼·霍尔
›
名言详情
「Simplicity is prerequisite for reliability.」- 托尼·霍尔经典语录
"
Simplicity is prerequisite for reliability.
托尼·霍尔
💡 解读：
简洁是可靠性的前提。
‹
可靠性的代价是追求极致的简洁。
简洁是可靠性的前提。
›
👤 更多 托尼·霍尔 经典语录
10句
程序最重要的属性是它是否实现了用户的意图。
托尼·霍尔
The best way to predict the future is to invent it.
托尼·霍尔
软件开发中最重要的一个方面是清楚你要构建什么。
托尼·霍尔
抽象的目的不是模糊，而是创建一个新的语义层次，在这个层次上可以绝对精确。
托尼·霍尔
当一种编程语言的程序需要关注无关的细节时，它就是低级的。
托尼·霍尔
A programming language is low level when its programs require attention to the irrelevant.
托尼·霍尔
The most important property of a program is whether it accomplishes the intention of its user.
托尼·霍尔
在每个大型程序内部，都有一个试图挣脱出来的小程序。
托尼·霍尔
简洁是可靠性的前提。
托尼·霍尔
The most important single aspect of software development is to be clear about what you are trying to build.
托尼·霍尔
🔥 热门推荐
10句
但是在这里，真正属于我的世界只有脚下的小路那么宽。我一步也不会离开这条路。我从不曾需要多么宽阔的通道，能侧身而过就足够了。像鸟在天空侧身飞翔，鱼在大海里侧身遨游，我从来不曾渴望过全部的世界。我只是经过这个世界，去向的一个小小的所在。我只依赖熟知的事物而生活，我心有牵挂，不想迷路，不想回不了家。我在山野里，游荡在节制之中。但已经感到足够的自由。
李娟
悲伤就是知识
拜伦
但愿同入梦。
琼瑶
表面看起来糟糕的事，本质上却往往并非如此。
塞涅卡
我绝不坚信这个时代没有放之四海而皆准的正义和良善的价值观，它们不仅仅有，而且不是朝令夕改流动无常的，它们是稳定而永恒的。
亚历山大·索尔仁尼琴
奇花与丽日争妍，翠竹共青天斗碧。
吴承恩
我们根本没想到要怀疑或轻视“历史的启示”；历史就是我们的一切。
恩格斯
大家礼义教子弟，小家凶恶训儿郎。
周希陶
人人为我，我为人人。
列宁
真理就是自由人的祖国。真理不存在于丑化了的现实里。生命的第一个行动就是创造的行动。在争论中是不分高贵卑鄙，也不管称号姓氏的，重要的只是真理，在它面前人人平等。
罗曼·罗兰
首页
›
作家
›
💬 查看更多
40句相邻名言
The interplay between syntax and semantics is central to the study of formal languages.
戴纳·斯科特
形式语义学的奠基人
语法和语义之间的相互作用是形式语言研究的核心。
戴纳·斯科特
形式语义学的奠基人
Every aspect of learning or any other feature of intelligence can in principle be so precisely described that a machine can be made to simulate it.
约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
学习的每一个方面或智能的任何其他特征都可以原则上被精确描述，以至于可以制造一台机器来模拟它。
约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
The ultimate aim of artificial intelligence is to make computers do things that would require intelligence if done by humans.
约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
人工智能的最终目标是让计算机做那些如果由人类完成则需要智能的事情。
约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
计算机程序会做你告诉它要做的事情，而不是你希望它做的事情。
约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
发现可能性的极限的唯一方法是超越它们进入不可能。
约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
拒绝做算术的人注定要胡说八道。
约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
The greatest single achievement of computer science is the development of the concept of the algorithm.
约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
计算机科学最伟大的单一成就是算法概念的发展。
约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
The future of computing is not in the hardware, but in the software.
约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
计算的未来不在于硬件，而在于软件。
约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
软件开发中最重要的一个方面是清楚你试图构建什么。
约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
The only way to deal with the complexity of the world is to simplify it.
约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
处理世界复杂性的唯一方法是简化它。
约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
There are two ways of constructing a software design: One way is to make it so simple that there are obviously no deficiencies, and the other way is to make it so complicated that there are no obvious deficiencies.
托尼·霍尔
程序验证的先驱
有两种构建软件设计的方式：一种方式是让它简单到明显没有缺陷，另一种方式是让它复杂到没有明显的缺陷。
托尼·霍尔
程序验证的先驱
The price of reliability is the pursuit of the utmost simplicity.
托尼·霍尔
程序验证的先驱
可靠性的代价是追求极致的简洁。
托尼·霍尔
程序验证的先驱
简洁是可靠性的前提。
托尼·霍尔
程序验证的先驱
Inside every large program is a small program struggling to get out.
托尼·霍尔
程序验证的先驱
在每个大型程序内部，都有一个试图挣脱出来的小程序。
托尼·霍尔
程序验证的先驱
The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.
托尼·霍尔
程序验证的先驱
抽象的目的不是模糊，而是创建一个新的语义层次，在这个层次上可以绝对精确。
托尼·霍尔
程序验证的先驱
The most important property of a program is whether it accomplishes the intention of its user.
托尼·霍尔
程序验证的先驱
程序最重要的属性是它是否实现了用户的意图。
托尼·霍尔
程序验证的先驱
The best way to predict the future is to invent it.
托尼·霍尔
程序验证的先驱
预测未来的最好方法就是发明它。
托尼·霍尔
程序验证的先驱
A programming language is low level when its programs require attention to the irrelevant.
托尼·霍尔
程序验证的先驱
当一种编程语言的程序需要关注无关的细节时，它就是低级的。
托尼·霍尔
程序验证的先驱
The most important single aspect of software development is to be clear about what you are trying to build.
托尼·霍尔
程序验证的先驱
软件开发中最重要的一个方面是清楚你要构建什么。
托尼·霍尔
程序验证的先驱
The only way to learn a new programming language is by writing programs in it.
托尼·霍尔
程序验证的先驱
学习一种新编程语言的唯一方法是用它编写程序。
托尼·霍尔
程序验证的先驱
The most dangerous kind of waste is the waste we do not recognize.
迈克尔·斯通布雷克
现代数据库系统的先驱
最危险的浪费是我们没有意识到的浪费。
迈克尔·斯通布雷克
现代数据库系统的先驱
If you don't fail at least 90 percent of the time, you're not aiming high enough.
迈克尔·斯通布雷克
现代数据库系统的先驱
如果你没有至少90%的时间失败，那么你的目标还不够高。
迈克尔·斯通布雷克
现代数据库系统的先驱
预测未来的最好方法就是去创造它。
迈克尔·斯通布雷克
现代数据库系统的先驱
🎲 随机 · 灵感闪现
✨ 名言如星，拾光而行
