A. Turing :
"Le programmeur devrait faire un certain nombre d'assertions bien
déterminées qui pourraient être vérifiées individuellement. La correction de
l'ensemble du programme en découlerait alors aisément."
(ça a du passer à 100km au dessus de la tête de la plupart des autres
informaticiens de l'époque, je me mets à leur place; citée dans
l'allocution de T. Hoare à la réception du prix Turing : the emperor clothes
Merci à Marc qui me rappelle cette citation
Guerre en Ukraine : à Odessa, les enrôlements illégaux crispent la société
-
Alors que l’armée ukrainienne manque de recrues après deux ans de conflit,
le projet de loi censé en regarnir les rangs reste bloqué au Parlement.
Il y a 10 heures
Aucun commentaire:
Enregistrer un commentaire