Conjectures et réfutations

Karl Popper est un philosophe des sciences ayant fait des apports majeurs à l’épistémologie, avec entre autres sa définition de la démarche scientifique par la réfutabilité. Je me suis amusé à appliquer certaines de ses thèses à la mise au point de programmes, en supposant qu’un programme soit une connaissance objective au même titre qu’un théorème ou qu’une théorie scientifique.

Si on applique ces thèses, on peut démontrer que la lecture du code source ne suffit pas, par la seule puissance de la déduction, à prouver que le programme est correct. D’ailleurs, un test ne peut pas prouver la validité d’un programme, au contraire, il ne peut que mettre en évidence une erreur. Popper démontre que le raisonnement inductif n’est pas la méthode rationnelle pour se rapprocher de la vérité, mais que nous procédons par conjectures et réfutations. Tout raisonnement fonctionnerait à partir de théories que l’on essaie de contredire, par l’expérimentation ou par la logique. Pour valider un programme on cherche à le mettre en défaut, ce qui est pourtant intuitivement l’inverse du résultat visé.

Je vois donc la programmation comme l’ajout de conjectures sur un fond initial (langage de programmation employé, librairies, système d’exploitation, autres applications). Fond qui, en passant, est également réfutable selon Popper, contredisant les philosophes affirmant que tout raisonnement rationnel ne se fait qu’à partir d’une base de vérités que l’on augmente par déduction.

En poussant plus loin l’analogie, le test unitaire consisterait donc à tenter de réfuter la conjecture (le programme). Popper affirme également qu’une théorie qui en supplante une autre doit expliquer mieux ou plus de choses que la précédente mais également « survivre » aux mêmes tentatives de réfutation. C’est ce que j’appellerais les tests de non-régression.

Mais alors, si programme = conjecture et test = réfutation, que penser de cette pratique XP : « écrire systématiquement les test unitaires en premier, et ensuite seulement le programme qui va passer les tests unitaires avec succès » (le fameux Test-Driven Development) ?

En termes « popperiens » cela revient à faire des réfutations avant même de conjecturer ! Les « XPeurs » feraient-ils de la programmation d’une façon irrationnelle ?

Disons plutôt que cela signifie que la conjecture est implicite, qu’elle trotte dans la tête du programmeur (ou est discutée au sein du binôme pour ceux qui pratiquent également le « pair-programming ») pendant la programmation des réfutations/tests. Et c’est seulement une fois que toutes les réfutations sont posées que l’on rédige l’équation ou le programme. Connaissant à l’avance les tests, la programmation ressemble plus à mon avis à une sorte de régression au sens statistique (trouver la courbe qui passe par tous les points connus à l’avance).

Cela revient à peser tous les cailloux de la terre et trouver l’équation vraie pour tout un tas de cailloux donné afin de formuler la gravité. Il me semble donc à la fois plus rationnel (et plus intuitif, je l’avoue) de poser la conjecture (le programme) avant d’essayer de le réfuter (par les tests).

La connaissance objective

Là où je rejoins les partisans du test extrême c’est que la qualité d’un programme est proportionnelle à la quantité de tests tentant de le réfuter, tout comme la meilleure théorie, toutes choses égales par ailleurs, est celle qui se prête et s’est prêtée au plus de tentatives de réfutation.

Ayant moins de connaissances en philosophie qu’en informatique, il est probable que je résume mal la pensée de Popper, je vous recommande donc chaudement la lecture de l’original, comme par exemple « la connaissance objective » disponible en livre de poche.

Partager/Sauver

Google l’avait annoncé et le voici : le système d’exploitation basé sur son navigateur open-source chrome. Plutôt destiné aux netbooks, il est pensé pour les utilisateurs qui n’allument leur ordinateur que pour lire leurs mail et trainer sur facebook, c’est-à-dire qui n’ont souvent besoin que d’un navigateur ouvert en plein écran. Google Chrome OS leur propose un délai de quelques secondes seulement entre le bouton marche et le navigateur sur internet. Il fonctionne sans stocker de données sur l’appareil : applications et données sont manipulées directement sur internet. Par exemple, il s’agit d’utiliser un document en ligne google docs au lieu d’utiliser traitement de texte et document stockés par l’appareil. On pourrait dire que google pousse la molette de réglage local<->cloud à 11.

Jamais sans mon disque dur

J’imagine l’intérêt pour les utilisateurs ainsi que pour les vendeurs de logiciel (qui verront enfin leur vieux rêve de location de leurs logiciels – donc zéro piratage – enfin réalisé). L’erreur, à mon humble avis, serait dans l’approche « Toutes vos données sont sur le cloud. Toutes ? Toutes ! ». Je veux bien que les données soient hébergées en ligne mais il faut quand même un disque dur ou un quelconque moyen de conserver une copie personnelle (ou d’entreprise) des données. C’est l’exacte symétrique de la recommandation de faire un backup en ligne à ceux qui gardent tout sur leur disque dur… Je n’écris pas ça par conservatisme, je n’ai pas peur du cloud, tout comme on peut être fana d’escalade et recommander le mousqueton.

Pourquoi conserver une copie sur disque dur ?

1. Pour avoir une copie de sauvegarde, à un prix comparable aux services de sauvegarde les plus abordables. Avec un avantage colossal : le temps d’accès. C’est en essayant de m’imaginer en train d’essayer de retélécharger 18Go d’album photo (eh oui, vive le reflex numérique) depuis mozy.com -l’envoi de DVD est un service lourdement facturé- que j’ai décidé de conserver un miroir sur disque dur à la cave.
2. Pour conserver la propriété et la jouissance de mes œuvres. Si l’on est dans un système de location, le loueur peut disparaitre, faire faillite, changer ses tarifs, ses prestations, vous mettre sur la liste des pays subissant l’embargo américain, effacer vos données à distance (comme amazon sur son lecteur d’ebooks), la liste des ennuis potentiels est infinie… Quand je prends une photo, développe un logiciel ou rédige un document, je veux pouvoir y avoir accès indéfiniment. Cela veut également dire qu’il faut être vigilant quant au format d’exportation que proposent les suites logicielles en “cloud” : il faut pouvoir obtenir un backup lisible sur le long terme (dans un format ouvert et de préférence non-propriétaire).
3. Pour avoir accès à mes documents sans réseau. Quel que soit votre FAI, vous aurez des coupures ; vous partirez peut-être en congés sans clé 3G ; vous serez peut-être victime des dommages collatéraux de l’HADOPI… Bref, sans réseau point de données. L’idéal est de disposer d’un mécanisme de synchronisation capable de gérer efficacement les connexions intermittentes. La technologie Google Gears (tiens donc) permet d’ores et déjà de le faire pour certaines applications. HTML5 promet de généraliser cette fonction entre autres capacités utiles au cloudapps.

La CloudBackupBox

Je vous propose donc la CloudBackupBox : un boitier silencieux autour d’un gros disque dur et d’une connexion réseau, qui se connecte régulièrement à tous les services cloud que j’utilise et qui synchronise toutes mes données sans intervention manuelle. On peut imaginer une prise USB qui permet de se brancher physiquement pour configurer l’appareil ou bien travailler sur les données stockées sur le disque dur : mode hors-ligne ou restauration de sauvegarde. Ajoutez à cela un mode sécurité qui demande un code PIN pour s’allumer et crypte toutes les données sur le disque dur, afin qu’un cambrioleur ou autre indélicat ne puisse pas lire le contenu du disque. Il ne me reste plus qu’à déposer le brevet. Ah flûte, trop tard ! Je n’aurais pas dû en décrire le principe ici, ça doit compter comme prior art…

—

Crédit photo : purplemattfish -  Certains droits réservés (licence  Creative Commons)

Partager/Sauver

Pour résumer, je dirais que la philosophie est qu’un BarCamp est à une conférence ce qu’un wiki est à un site web. Comparons avec une conférence traditionnelle : liste d’orateurs et sujets déterminée, auditoire attentif, mais dont la participation se limite aux questions-réponses de clôture après chaque présentation.  Le BarCamp se veut participatif : chacun se présente rapidement, lance des mots-clés, et on essaie sur tableau blanc de constituer des groupes de travail ad-hoc autour d’un thème (démo, présentation, atelier, session de programmation).

Bon, ce que je constate c’est que même si la conférence s’auto-organise librement, ce sont les têtes d’affiche (évangélistes auprès des développeurs pour les APIs de google et de Mozilla par exemple), dont la présence avait attiré les foules, qui ont fait leurs présentations… certes de façon informelle, sans transparents, en face à face. Je suis un peu resté sur ma faim, car en allant à une conférence sur un sujet que l’on suit de près, eh bien on risque de s’ennuyer… Les sessions d’introduction à GWT ce n’était pas la peine, et la séance d’autocongratulation autour de FireFox son XUL m’a lassé. Je n’ai pas vu la suite, j’ai préféré passer ma soirée en famille qu’à partager des pizzas avec des hackeurs fous. Allez savoir, j’ai peut-être raté le meilleur moment… Il s’agit effectivement d’un évènement principalement social.

Le passage qui m’a intéressé était une table ronde autour d’un sujet que je ne connaissais pas : FOAF+SSL. Ça m’a rappelé l’époque ou je starteupais dans le web-sémantique… Habile transition : ma conclusion perso est que ce genre d’évènements est intéressant quand on est entrepreneur et que l’on veut réseauter, ou bien un développeur qui veut s’initier simplement à des nouvelles technologies. Sinon… je garde un faible pour les conférences avec de sympathiques papiers à lire et relire. Par exemple, tout de même, les PLoP, c’est quand même du bon stimulant neuronal !

Partager/Sauver

Un collègue m’a récemment envoyé un papier de Steven Kerr  »On the folly of rewarding A, while hoping for B« . Il montre que très souvent le discours officiel d’une organisation est de vouloir un comportement, tout en mettant en place un système de récompense/punition qui dans les faits pousse les gens à un comportement tout autre, voire opposé. Par exemple on demande à un joueur de sport collectif d’avoir « l’esprit d’équipe » et pourtant on ne félicite que les actions individuelles. D’ailleurs, on ne résume un match de football que par les noms des buteurs. Ainsi, agacé qu’un joueur fasse trop de passes à l’adversaire, un entraineur sanctionne chaque passe ratée ; au match suivant personne ne fait plus aucune passe et le jeu est bloqué.

Exemple parfait de contre-productivité : une clinique veut réduire le nombre de décès. On met donc en place une prime qui doit récompenser le chirurgien qui a moins de X décès dans le mois sur le billard. Que va-t-il se passer ? On peut parier que dans les mois suivants tous les chirurgiens vont toucher la prime… En effet, dès qu’ils s’approchent du quota fatidique, ils repoussent toutes leurs opérations délicates au mois suivant ! Du coup les gens décèdent dans leur lit en attendant l’opération, mais ça n’est pas le problème du médecin. Tout le monde touche sa prime, cependant le nombre de décès global de la clinique augmente…

Cette théorie semble être un grand classique du management (le papier remonte à 1975) mais je n’en avais jamais entendu parler. Et quand je l’ai lu j’ai eu une illumination. Tenez, imaginez que vous vous tenez sur une grande étendue de sable, une sorte de drap rouge à la main ; vous le secouez un peu en vous demandant pourquoi vous avez ça à la main , quand vous entendez un bruit de sabots tagadam-tagadam dans votre dos et *vlan*

… au génie logiciel.

J’ai compris beaucoup de choses sur le projet de développement en lisant cela.  Finalement, qu’est-ce que l’on demande aux développeurs ? Comportement ‘A’ : « Produire du code de qualité, maintenable par autrui ». Qu’est-ce que l’on récompense ? Les délais de livraison : comportement ‘B’. Je n’ai jamais vu un développeur se faire sanctionner pour du code mal écrit, non commenté ou conçu de traviole. Par contre, prenez du retard sur le développement, vous allez vous faire enguirlander et vous devrez rester tard tous les soirs pour faire bonne figure. Donc, si vous avez envie d’une vie de famille ou de loisirs : bâclez votre code. Ne commentez surtout pas, et ne testez que si l’on vous le demande. De toute façon c’est votre successeur qui sera pénalisé par le code non-maintenable ; c’est lui qui ratera ses deadlines *niark niak niak niak* (<- rire façon méchant dans James Bond).

Rendre ‘A’ inévitable, récompenser  ‘B’

On va pas chasser le naturel, alors on va biaiser un peu. Continuez à récompenser les délais (‘B’), mais considérez ‘A’ comme acquis. Il faut intégrer le contrôle qualité continu et automatisé à tout environement de développement. Il doit être impossible de réussir un « build » (et donc de livrer) si l’artefact en question ne respecte pas tous les standards en vigueur. J’ajouterai même une revue obligatoire de tout code, du stagiaire au chef de projet, avant de pouvoir placer le post-it dans la colonne « fait » du tableau blanc. Passez par la colonne « en revue », ne touchez pas vingt-mille francs. Enfin pas tout de suite… Soyons fous, récompensons la qualité .

PS: merci à Majirus pour l’article

Partager/Sauver

Partager/Sauver

La tendance en ce début d’année me semble être à la frilosité, au gel de toute forme d’investissement. On fait le dos rond pour passer la crise, même quand ses propres indicateurs sont au vert. Par exemple, prenez google, pour changer , cette entreprise se porte plutôt bien, et pourtant ça commence à dégraisser : après lively, c’est au tour de Notebook et plusieurs autres projets de passer à la trappe.

J’en déduis crise réduction des coûts, gel de tout investissement retour aux mauvaises habitudes quick-and-dirty mauvaise qualité de code.

Il va falloir, avec une réduction du budget, faire aussi bien… or, en informatique non plus il n’y a pas de magie. Les DSI vont devoir continuer à faire évoluer les systèmes, et ça se fera, comme d’habitude, en sacrifiant la qualité. On alimente ainsi une sorte de dette de maintenabilité, on vit d’une certaine manière au détriment des développement futurs. Par exemple je crois que Flex va continuer sa progression et que Flex augmente la productivité immédiate pour faire très vite des clients web sexy. Mon opinion est que Flex reste une solution qui n’encourage en rien le développement maintenable à  l’échelle du gros projet, ne serait-ce que le language actionscript. Malheureusement, la techno diamétralement opposée (non-sexytude, non-démo-immédiate, maintenabilité-nickel), soit GWT, me semble trouver peiner à trouver sa place en entreprise.

Pour résumer : les écrans sexy maintenant, et pour plus tard le développement durable (c-à-d. industrialisé et maintenable).

Lucy in the sky with diamonds

Comment réduire les coûts ? On pourrait penser qu’un élément de réponse est dans ce qu’on appelle le « cloud computing ». Pour résumer le « cloud computing » c’est de faire héberger des applications dans le nuage, vous savez, le reste du monde, le truc que l’on dessine pour figurer internet sur le diagramme qui représente votre réseau :

Rappelez-vous du slogan de Sun à une époque, « the network is the computer ». On est dans la continuité, on dirait maintenant « the internet is the computer ».

L’idée sous-jacente est que votre métier n’est (probablement) pas de faire tourner des serveurs. Alors, plutôt que de gérer des salles machines, confiez-les à ceux qui ont 1) le savoir-faire et 2) les économies d’échelle.
Citons le fondateur d’Amazon, Jeff Bezos : « We launched our Web services [...]; it’s the equivalent of creating an electric grid, but for computing. Recently, I went to Luxembourg and visited a 300-year-old brewery. It had this gigantic relic of a generator from when it had to make its own electricity. As soon as they could buy off-grid, they did. Making their own electricity didn’t make their beer taste better. It’s the same for running your own data center ». En passant, si vous pensez qu’Amazon est seulement une boutique de vente de livres en ligne, ce n’est plus du tout le cas. Entre autres innovations, Amazon se positionne à travers S3 et EC2 comme un acteur majeur du cloud computing. Disons, qu’au moins cette fois-ci il y a innovation, rappelez-vous de l’affaire du brevet « 1-click » !

Vous voyez le topo. Tout ceci concerne en premier lieu la réduction de coûts, pas vraiment l’apport de fonctionnalités nouvelles. Autre conséquence d’un gel des investissements, on ne fera pas l’investissement de passer ses applications sur le cloud : c’est une lourde ré-ingénierie, pour l’instant non maîtrisée.

J’ajoute donc passer sur le cloud demande investissement initial « le cloud, oui, mais pas cette année » désenchantement généralisé et chute du « hype » autour cloud computing. Si j’osais, je dirais sale temps pour le cloud, ha ha .

Pour toute innovation, il existerait une courbe de ‘hype’ qui serait toujours peu ou prou la même : découverte, attentes déraisonables, désenchantement et finalement compréhension puis productivité. Si vous prenez la courbe publiée par le Gartner de cet été, le cloud computing serait encore avant le « pic d’attentes exagérées ». Et bien ma prédiction est que le cloud va amorcer très vite, dès cette année, la chute des espérances qui se trouve de l’autre côté de l’à-pic. L’avenir (proche) est sombre notamment pour Amazon EC2+S3 justement. En effet, ces technos sont un formidable tremplin à startups, en fournissant un réel service d’élimination de la barrière à l’entrée d’une infrastructure web scalable. Les success-stories d’Amazon sont pour beaucoup des startups qui offrent des SaaS sur le web. Malheureusement, en cette période de crise, les startups explosent au décollage. Et les grands comptes gèlent veille et investissement. Amazon risque d’avoir du mal à atteindre son public et se constituer une clientèle. Même constat pour Google Apps Engine.

Bref, y’en a qui vont un peu trop vite en besogne.

Back in the USSR

Retour aux fondamentaux de la première bulle internet. Hé oui, 1998~2000 : « détourner la page d’accueil vers mon portail pour y afficher de la pub ». C’est devenu en 2008~2010 : « détourner les recherches vers mon moteur pour y afficher de la pub ». Exemple qui m’a frappé récemment : afin d’effectuer un dépannage familial à distance j’installe le tout dernier MSN Messenger Live. A ma grande stupéfaction ça me change mon moteur de recherche dans mozilla ! Sans me demander mon avis, alors que, franchement, ça n’a rien à voir, utiliser un pager et mes recherches internet. C’est un peu comme si je prenais une carte orange et qu’en vertu d’accord RATP-TF1 ma télé se mettait à remplacer mes chaines favorites par TF1 et TF6 ! J’étais furieux : mon ordinateur m’appartient ! Winamp : pareil, j’installe un logiciel pour écouter de la musique et ça me propose un moteur de recherche winamp.com dans mozilla. Bref, plus ça va plus j’ai l’impression en installant un logiciel d’avoir un invité indélicat qui mets les pieds sur la table, le bordel dans mes affaires bien rangées (par exemple « Mes Documents », vas-y, fais comme chez toi), et fouille dans mes affaires… Il faudra établir une déontologie ou un label indépendant de non-malware sinon bientôt votre navigateur internet ressemblera à ça :

Non, quand une boite ayant pignon sur rue comme Microsoft fait du malware de façon aussi grossière, c’est que quelque chose va très mal quelque part.

Bref, :idea: retour aux fondamentaux.

En parlant de Microsoft, lot de consolation pour eux, en vertu de tout ce qui précède, pas besoin de se presser pour sortir son office-en-ligne-concurrent-de-google-docs… c’est pas encore le moment de tuer la poule aux œufs d’or Office…

Et pour finir, je vous souhaite une bonne année 2009 !

Partager/Sauver

Cachez ce transparent que je ne saurais voir…

Presentation refactoring

Donc, qu’est-ce qu’on fait ? Prenez quelques minutes pour regarder cette présentation : http://www.tudorgirba.com/blog/storytelling-at-esug-2008. Vous pouvez suivre les transparents en même temps que la vidéo juste en dessous. C’est un régal. j’avoue avoir un peu ri jaune au slide n°8

On trouve facilement de bons conseils pour faire des présentations (encore que, si comme moi vous n’êtes ni graphiste ni publicitaire, les conseils peuvent donner l’impression de se résumer à « soyez graphiste ou publicitaire »), mais je n’ai rien trouvé comme conseils avisés pour faire des supports de cours. L’exercice, même s’il se base également sur powerpoint, est suffisamment spécifique pour que les conseils de présentation ne s’appliquent que partiellement. Là-dessus je suis rentré bredouille. Si vous avez des idées, je suis preneur.

Lectures recommandées

Deux blogs incontournables, presentation zen (tout un programme) et slide:ology – en passant, ces gens-là sont plus doués que moi pour nommer leur blog – et un blog sympa, une présentation (il en fallait une), et pour finir un ebook : « Really Bad PowerPoint« . Si vous n’êtes pas rassasiés après tout ça, je vous envoie vers une compilation de liens.

Partager/Sauver

google suggest

… et c’est dangereux.

Petit retour en arrière…

J’allume pour la première fois le portable flambant fourni par Oxiane. Première étape, je commence par configurer le wifi, ce qui me permet de télécharger et d’installer de google chrome. Normal de commencer par chrome, après tout, la première chose que l’on installe sur un PC, c’est bien l’OS, non ?

Et là, au moment de taper ma première requête dans l’omnibox (la fameuse boite d’URL à auto-suggestion de google chrome), faute de frappe, le copier-coller qui part tout seul. Sauf que le presse-papier contenait encore ma clef wifi que je venais de saisir. Et je regarde avec effroi ma clef-ultra-secrète partir joyeusement en clair vers les serveurs google et retour « ah non désolé je n’ai rien trouvé » (remarquez, j’aurais été plutôt surpris que google me trouve quelque chose avec un tel mot-clé).

Alors s’il-vous-plaît, si vous intégrez une boite d’auto-suggestion, comme c’est la mode dans les applis AJAX (« faut bien que ça serve tout de même le côté dynamique de l’ajax, non ? »), par pitié, n’envoyez pas au serveur les frappes de Ctrl+V, suppr., delete ou ce genre de caractères de contrôle.

Laissez une chance à l’utilisateur de conserver son presse-papier pour lui-même. Il vous en remercie.

Partager/Sauver

…mais vous le savez probablement déjà.

Pour une fois, je ne vais absolument pas parler technique. Il y a un autre aspect de google-chrome qui est d’ores et déjà surprenant, c’est le budget communication qui a accompagné le lancement du produit… Résumons : l’envoi d’une bande-dessinée (très bien faite, soit dit en passant) à des blogueurs « influents ». Ah oui, et un billet sur le blog officiel de l’entreprise. C’est tout. Avouez que c’est pas cher, c’est un budget de PME.

Laissez agir, même pas besoin de secouer.

• Lundi vers midi, un blogueur annonce la bande-dessinée, reçue dans sa boîte aux lettres le matin même. Le site web http://www.google.com/chrome affiche encore 404.
• Google confirme dans la précipitation vers 14h et publie la BD en ligne vers 15h30.
• L’article wikipedia voit le jour à 16h17
• Mardi matin, tous les flux RSS ayant un rapport avec l’informatique parlent de chrome
• Téléchargeable mardi dans l’après-midi
• Jusqu’à l’article dans le monde le lendemain

…

• Et maintenant, vous qui me lisez vous vous dîtes « encore un billet sur chrome y’en a marre ! »

Pas besoin de louer le CNIT, de faire une campagne d’affichage 4×3, de faire un lancement sur les champs-élysées, un feu d’artifice, ni de spots télé… Je connais rien à la publicité mais je me plais à penser que la sortie de chrome devrait faire partie du programme de toute école de publicité/communication/marketing. Je pense même que pour le lancement de produit high-tech il y aura un avant-google-chrome et un après.

Décidément, ‘sont forts chez google, non ?

Partager/Sauver