Leslie Lamport
@leslieLamport
La réflexion ne garantit pas que nous ne ferons pas d'erreurs. Mais ne pas penser garantit que nous le ferons.
Leslie Lamport
En savoir plus sur l'auteur
...plusCompte non officiel
8
@leslieLamport
La réflexion ne garantit pas que nous ne ferons pas d'erreurs. Mais ne pas penser garantit que nous le ferons.
@leslieLamport
Il y a une race entre la complexité croissante des systèmes que nous construisons et notre capacité à développer des outils intellectuels pour comprendre leur complexité. Si la course est gagnée par nos outils, les systèmes deviendront éventuellement plus faciles à utiliser et plus fiables. Sinon, ils continueront à devenir plus difficiles à utiliser et moins fiables pour tous sauf un ensemble relativement petit de tâches communes. Étant donné à quel point la pensée est difficile, si ces outils intellectuels doivent réussir, ils devront remplacer le calcul de la réflexion.
@leslieLamport
Un système distribué est un système dans lequel la panne d'un ordinateur dont vous ignoriez même l'existence peut rendre votre propre ordinateur inutilisable.
@leslieLamport
Le formatage ne remplace pas l'écriture.
@leslieLamport
Il y a une race entre la complexité croissante des systèmes que nous construisons et notre capacité à développer des outils intellectuels pour comprendre leur complexité. Si la course est gagnée par nos outils, les systèmes deviendront éventuellement plus faciles à utiliser et plus fiables. Sinon, ils continueront à devenir plus difficiles à utiliser et moins fiables pour tous sauf un ensemble relativement petit de tâches communes. Étant donné à quel point la pensée est difficile, si ces outils intellectuels doivent réussir, ils devront remplacer le calcul de la réflexion.
@leslieLamport
La pensée n'est pas la capacité de manipuler la langue; C’est la capacité de manipuler les concepts.
@leslieLamport
Lorsque j'écris un article, je change beaucoup plus ma notation que je ne change mes concepts.
@leslieLamport
Un système distribué est un système dans lequel la panne d'un ordinateur dont vous ignoriez même l'existence peut rendre votre propre ordinateur inutilisable.