Tony Hoare
@tonyHoare
Vous ne pouvez pas enseigner aux débutants de la programmation de haut en bas, car ils ne savent pas quelle extrémité se déroule.
T
Tony Hoare
Auteur
En savoir plus sur l'auteur
...plusCompte non officiel
Citations
35
Tony Hoare
@tonyHoare
Un défi conjoint ultime pour les sciences biologiques et informatiques est la compréhension des mécanismes du cerveau humain et de sa relation avec l'esprit humain.
Tony Hoare
@tonyHoare
Un défi conjoint ultime pour les sciences biologiques et informatiques est la compréhension des mécanismes du cerveau humain et de sa relation avec l'esprit humain.
Tony Hoare
@tonyHoare
Je n'ai pas pu résister à la tentation de mettre une référence nul, simplement parce qu'elle était si facile à mettre en œuvre. Cela a conduit à d'innombrables erreurs, vulnérabilités et accidents du système, qui ont probablement causé un milliard de dollars de douleur et de dommages au cours des quarante dernières années.
Tony Hoare
@tonyHoare
Un défi conjoint ultime pour les sciences biologiques et informatiques est la compréhension des mécanismes du cerveau humain et de sa relation avec l'esprit humain.
Tony Hoare
@tonyHoare
L'optimisation prématurée est la racine de tout mal dans la programmation.
Tony Hoare
@tonyHoare
Voici une langue si loin avant son temps, qu'il s'agissait non seulement d'une amélioration de ses prédécesseurs, mais aussi de presque tous ses successeurs.
Tony Hoare
@tonyHoare
Un cerveau humain compte environ cent millions de cellules nerveuses... et un programme informatique qui fait la lumière sur l'esprit
Tony Hoare
@tonyHoare
Il existe deux façons de construire une conception de logiciels: une façon est de le rendre si simple qu'il n'y a évidemment pas de carences, et l'autre moyen est de le rendre si compliqué qu'il n'y a pas de carences évidentes. La première méthode est bien plus difficile.
Tony Hoare
@tonyHoare
Un cerveau humain compte environ cent millions de cellules nerveuses... et un programme informatique qui fait la lumière sur l'esprit
Tony Hoare
@tonyHoare
Le travail des méthodes formelles consiste à élucider les hypothèses sur lesquelles dépend de l'exactitude formelle.
Tony Hoare
@tonyHoare
Dans le développement de la compréhension des phénomènes complexes, l'outil le plus puissant disponible pour l'intellect humain est l'abstraction. L'abstraction découle de la reconnaissance des similitudes entre certains objets, situations ou processus dans le monde réel et la décision de se concentrer sur ces similitudes et d'ignorer, pour le moment, leurs différences.
Tony Hoare
@tonyHoare
Un défi conjoint ultime pour les sciences biologiques et informatiques est la compréhension des mécanismes du cerveau humain et de sa relation avec l'esprit humain.
Tony Hoare
@tonyHoare
Un défi conjoint ultime pour les sciences biologiques et informatiques est la compréhension des mécanismes du cerveau humain et de sa relation avec l'esprit humain.
Tony Hoare
@tonyHoare
Un défi conjoint ultime pour les sciences biologiques et informatiques est la compréhension des mécanismes du cerveau humain et de sa relation avec l'esprit humain.
Tony Hoare
@tonyHoare
À l'intérieur de chaque grand programme se trouve un petit programme qui a du mal à sortir.
Tony Hoare
@tonyHoare
Il existe deux façons de construire une conception de logiciels: une façon est de le rendre si simple qu'il n'y a évidemment pas de carences, et l'autre moyen est de le rendre si compliqué qu'il n'y a pas de carences évidentes. La première méthode est bien plus difficile.
Tony Hoare
@tonyHoare
La valeur réelle des tests n'est pas qu'ils détectent des bogues dans le code, mais qu'ils détectent les insuffisances dans les méthodes, la concentration et les compétences de ceux qui conçoivent et produisent le code.
Tony Hoare
@tonyHoare
Dans le développement de la compréhension des phénomènes complexes, l'outil le plus puissant disponible pour l'intellect humain est l'abstraction. L'abstraction découle de la reconnaissance des similitudes entre certains objets, situations ou processus dans le monde réel et la décision de se concentrer sur ces similitudes et d'ignorer, pour le moment, leurs différences.
Tony Hoare
@tonyHoare
Il existe deux méthodes dans la conception de logiciels. L'une consiste à rendre le programme si simple, il n'y a évidemment pas d'erreurs. L'autre est de le rendre si compliqué, il n'y a pas d'erreurs évidentes.
Tony Hoare
@tonyHoare
Quel est le noyau central du sujet [informatique]? Qu'est-ce qui le distingue des sujets distincts avec lesquels il est lié? Quel est le fil de liaison qui rassemble ces branches disparates en une seule discipline. Ma réponse à ces questions est simple - c'est l'art de programmer un ordinateur. C'est l'art de concevoir des méthodes efficaces et élégantes pour amener un ordinateur à résoudre des problèmes, théoriques ou pratiques, petits ou grands, simples ou complexes. C'est l'art de traduire cette conception en un programme informatique efficace et précis.
Tony Hoare
@tonyHoare
Le prix de la fiabilité est la poursuite de la plus grande simplicité. C'est un prix que les très riches peuvent avoir du mal à payer.
Tony Hoare
@tonyHoare
Un cerveau humain compte environ cent millions de cellules nerveuses... et un programme informatique qui fait la lumière sur l'esprit
Tony Hoare
@tonyHoare
Je l'appelle mon erreur d'un milliard de dollars. C'était l'invention de la référence nul en 1965.
Tony Hoare
@tonyHoare
Il existe deux façons de construire un logiciel: l'une consiste à rendre si simple qu'il n'y a évidemment pas d'erreurs, et l'autre est de le rendre si compliqué qu'il n'y a pas d'erreurs évidentes.
Tony Hoare
@tonyHoare
Il est facile de prédire que certaines des découvertes de la recherche orientées vers de grands défis - mais seuls les plus inattendus, et aux moments les plus inattendus - seront à la base des améliorations révolutionnaires de la manière dont nous exploitons la puissance de notre futur informatique dispositifs.
Tony Hoare
@tonyHoare
Les programmeurs sont toujours entourés de complexité; Nous ne pouvons pas l'éviter .... Si notre outil de base, la langue dans laquelle nous concevons et codons nos programmes, est également compliqué, la langue elle-même fait partie du problème plutôt que une partie de sa solution.
Tony Hoare
@tonyHoare
Le prix inévitable de la fiabilité est la simplicité.
Tony Hoare
@tonyHoare
Au début, j'espérais qu'un projet aussi techniquement malsain s'effondrerait, mais je me suis vite rendu compte qu'il était voué au succès. Presque tout dans les logiciels peut être implémenté, vendu et même utilisé avec suffisamment de détermination. Il n'y a rien qu'un simple scientifique puisse dire qui résistera à l'inondation de cent millions de dollars. Mais il y a une qualité qui ne peut pas être achetée de cette manière - et c'est la fiabilité. Le prix de la fiabilité est la recherche de la plus grande simplicité. C'est un prix que les très riches ont le plus de mal à payer.
Tony Hoare
@tonyHoare
Il existe deux façons de construire une conception de logiciels: une façon est de le rendre si simple qu'il n'y a évidemment pas de carences, et l'autre moyen est de le rendre si compliqué qu'il n'y a pas de carences évidentes. La première méthode est bien plus difficile.
- 1
- 2