「在每个大型程序内部，都有一个试图挣脱出来的小程序。」- 托尼·霍尔经典语录

"

在每个大型程序内部，都有一个试图挣脱出来的小程序。

托尼·霍尔 托尼·霍尔
💡 解读： Inside every large program is a small program struggling to get out.
🏷️ 标签： 试图
👤 更多 托尼·霍尔 经典语录 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.
托尼·霍尔 托尼·霍尔
The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.
托尼·霍尔 托尼·霍尔
🏷️ 相关主题推荐 10句
征服世界的将是这样一些人：开始的时候，他们试图找到梦想中的乐园，最终，当他们无法找到时，就亲自创造了它。
萧伯纳 萧伯纳
再有一个背判我的就是我的记忆。它歉一个佞臣或女奴一样善于曲意奉承。当我试图追求第一戏剧效果时，它就把憨厚纯朴的事实打入黑牢，向我贡献了一个美丽妖娆的替身。
王朔 王朔
任何人试图以真理裁判道德裁判者自居，以救世主自居，众人皆浊我独清，众人皆醉我独醒，不要随便信他。
王蒙 王蒙
最终，我们都只是在试图找到我们在世界上的位置，理解我们周围的混乱。
阿卜杜勒拉扎克·古尔纳 阿卜杜勒拉扎克·古尔纳
我的动力是什么？我觉得大多数创造者，都想为我们能够得益于前人取得的成就而表达感激。我并没有发明我用的语言或数学，我的食物基本都不是我自己做的，衣服更是一件都没做过。我所做的每一件事都有赖于我们人类的其他成员，以及他们的贡献和成就。我们很多人都想回馈社会，在历史的长河中再添一笔。我们只能用这种大多数人都掌握的方式去表达——因为我们不会写鲍勃·迪伦的歌或汤姆·斯托帕德的戏剧。我们试图用我们仅有的天分去表达我们深层的感受，去表达我们对前人所有贡献的感激，去为历史长河加上一点什么。那就是推动我的力量。
段永平 段永平
人们试图用法国的麻制造印度大麻。所有的实验迄今都未成功，那些不惜一切代价要获得奇妙享受的热衷者还继续使用穿越地中海的印度大麻，即印度的或者埃及的麻。印度大麻的成分是印度的麻的煎剂，奶油和少量的鸦片。
波德莱尔 波德莱尔
常识告诉我们，一个试图征服我们的国家是所有国家中最不适合保卫我们的。
托马斯·潘恩 托马斯·潘恩
若一个人无法甘于平凡，就会试图让自己变得特别。不是变得特别好，就是变得特别差。一切取决于你自己。
尼采 尼采
生活给我们各种束缚，表面上看起来，这些束缚是时间的、金钱的、人际关系的，但实际上，这些束缚是心灵的。阿德勒的整个理论体系，都在试图把人从这种束缚中解脱出来，让人重获心灵自由。
岸见一郎 岸见一郎
王二一家是勤勤恳恳踏踏实实经营逐渐积累起来的财富，生活上获得的改善也不过是得以尽兴听书，过年时赌个小钱。他的经历被食客张汉改头换面成了禀赋所带来的恩赐，说白了是天生的，不是人人都可得。关键的是，人们信了！尤其是两三次险些被请走的陶同事和老是犯错挨打的陈相公。他们不但羡慕王二“大小解分开”的禀赋，还试图检验自身是否也由此隐藏的天赋。听起来夸张搞笑，但也心酸，在等级分明的药房里讨生存的小人物，巴巴地指望着有一天，生活能朝好的方向发展。即使现实茫然而残酷，可挣扎仍在继续，希望之火虽小，却努力着不让它被浇灭。
汪曾祺 汪曾祺
🔥 热门推荐 10句
但是在这里，真正属于我的世界只有脚下的小路那么宽。我一步也不会离开这条路。我从不曾需要多么宽阔的通道，能侧身而过就足够了。像鸟在天空侧身飞翔，鱼在大海里侧身遨游，我从来不曾渴望过全部的世界。我只是经过这个世界，去向的一个小小的所在。我只依赖熟知的事物而生活，我心有牵挂，不想迷路，不想回不了家。我在山野里，游荡在节制之中。但已经感到足够的自由。
李娟 李娟
悲伤就是知识
拜伦 拜伦
但愿同入梦。
琼瑶 琼瑶
表面看起来糟糕的事，本质上却往往并非如此。
塞涅卡 塞涅卡
我绝不坚信这个时代没有放之四海而皆准的正义和良善的价值观，它们不仅仅有，而且不是朝令夕改流动无常的，它们是稳定而永恒的。
亚历山大·索尔仁尼琴 亚历山大·索尔仁尼琴
奇花与丽日争妍，翠竹共青天斗碧。
吴承恩 吴承恩
我们根本没想到要怀疑或轻视“历史的启示”；历史就是我们的一切。
恩格斯 恩格斯
大家礼义教子弟，小家凶恶训儿郎。
周希陶 周希陶
人人为我，我为人人。
列宁 列宁
真理就是自由人的祖国。真理不存在于丑化了的现实里。生命的第一个行动就是创造的行动。在争论中是不分高贵卑鄙，也不管称号姓氏的，重要的只是真理，在它面前人人平等。
罗曼·罗兰 罗曼·罗兰
首页 › 作家 › 💬 查看更多 40句相邻名言
学习的每一个方面或智能的任何其他特征都可以原则上被精确描述，以至于可以制造一台机器来模拟它。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与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.
托尼·霍尔 托尼·霍尔
程序验证的先驱
可靠性的代价是追求极致的简洁。
托尼·霍尔 托尼·霍尔
程序验证的先驱
Simplicity is prerequisite for reliability.
托尼·霍尔 托尼·霍尔
程序验证的先驱
简洁是可靠性的前提。
托尼·霍尔 托尼·霍尔
程序验证的先驱
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%的时间失败，那么你的目标还不够高。
迈克尔·斯通布雷克 迈克尔·斯通布雷克
现代数据库系统的先驱
预测未来的最好方法就是去创造它。
迈克尔·斯通布雷克 迈克尔·斯通布雷克
现代数据库系统的先驱
Data is the new oil.
迈克尔·斯通布雷克 迈克尔·斯通布雷克
现代数据库系统的先驱
数据是新的石油。
迈克尔·斯通布雷克 迈克尔·斯通布雷克
现代数据库系统的先驱
The key to success is to focus on the fundamentals and execute them flawlessly.
迈克尔·斯通布雷克 迈克尔·斯通布雷克
现代数据库系统的先驱
🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行