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
Déficit : le gouvernement doit s’occuper « enfin sérieusement des
dépenses » publiques, estime le gouverneur de la Banque de France
-
Dix milliards d’euros d’économies ont déjà été actés pour 2024, et
20 milliards de coupes sont annoncées pour 2025. Mais des « économies
supplémentaires » ...
Il y a 1 heure
Aucun commentaire:
Enregistrer un commentaire