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

A moins que vous n’ayez envie comme un des trois petits cochons de construire votre maison en collant des spaghetti, l’intérêt est bien sûr ailleurs que dans l’assemblage lui-même. En comparant les performances de différentes équipes en fonction de leur composition et de leur façon de travailler, on apprend beaucoup de choses, y compris sur la conduite de projet agile…

Mais je ne veux pas trop en dévoiler, le mieux est de regarder l’excellente présentation ci-dessous (les sous-titres en français sont accessibles en cliquant dans le lien « View subtitles » juste sous la vidéo).

(suivez ce lien si votre lecteur de flux n’affiche pas la video : http://www.ted.com/talks/view/id/837)

Si l’expérience vous tente, vous trouverez toutes les instructions nécessaires pour organiser un tel défi sur http://www.marshmallowchallenge.com/.

Vidéo-Bonus : Ne mangez pas le marshmallow !

Enfin, pas tout de suite.

(suivez ce lien si votre lecteur de flux n’affiche pas la video : http://www.ted.com/talks/view/id/553)

La fillette qui sniffe son marshmallow est franchement géniale.

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

Vous aviez pourtant eu un premier avertissement : un papier glissé sous le rétroviseur expliquant que rouler trop vite c’est pas bien. Vous l’avez peut-être pas lu, en vous disant « encore une pub ». Vous vous rappelez quand même avoir reçu un courrier recommandé il y a quelques mois, qui disait que les associations de lutte contre la vitesse au volant vous avaient vu rouler trop vite et qu’il faudrait éviter tout excès de vitesse sous peine de se voir retirer sa voiture. Vous vous étiez promis de lever le pied. Sauf que maintenant, plus de voiture, et pour toute la famille en plus. Votre époux(se) et vos enfants qui pourtant ont leur permis n’ont plus de voiture non plus, ni le droit d’en avoir une.

Alors vous voulez contester la condamnation. Comme on ne peut pas prouver que vous étiez au volant, la justice vous accorde le bénéfice du doute : OK ce n’était pas vous. Mais c’était votre plaque d’immatriculation. Donc, on vous colle une amende pour « non-sécurisation de votre voiture ». En gros, si on vous a « emprunté » votre voiture pour faire un excès de vitesse, c’est que vous aviez dû mal la verrouiller ou que vous n’avez pas acheté le modèle d’alarme officiel labellisé par l’état (ah ben oui, il n’existe que pour les Renault, fallait pas acheter coréen). En passant, si nos assureurs appliquaient la logique du législateur, ils ne rembourseraient jamais aucun vol ni cambriolage… Donc, si vous voulez récupérer votre voiture, il faut contester devant un juge. Le recours n’étant pas suspensif, vous irez au tribunal en bus ou à vélo.

Maintenant, le plus dur reste à faire : prouver votre innocence.  Prouver que ce n’était pas votre voiture qui roulait il y a trois mois, trop vite, sur une départementale interdite. Malheureusement, n’importe qui peut accrocher votre plaque sur sa voiture, et la vitesse a été mesurée au pifomètre par un employé de l’association de lutte contre la vitesse. Alors bonne chance, et bienvenue dans le monde de l’HADOPI…

En passant, petite suggestion aux maisons de disques : si quelqu’un laisse un commentaire désagréable du genre « cet album est naze  » sur internet à propos de l’un de vos produits, récoltez son adresse IP, la date et l’heure du commentaire et envoyez le tout à l’HADOPI, assorti d’une liste de 3 000 téléchargements illégaux choisis au hasard dans votre catalogue. Le gêneur ou la gêneuse sera interdit d’internet pendant une durée pouvant aller jusqu’à un an, ce qui vous laissera le temps de faire la promotion de votre produit plus sereinement… sauf si votre cible trouve un moyen de prouver son innocence; mais je vois pas comment ça serait possible. C’est pas beau, ça ?

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

Pour le surf sur internet :

Adblock Plus

OK, c’est standard, tout le monde installe cette extension qui sert à filtrer les publicités (images, animations flash, applets…) par combinaison de listes blanches et listes noires. Simple, efficace. Pensez à autoriser définitivement les sites de confiance (via  le bouton ajouté par l’extension) pour y masquer les boutons proposant de bloquer les animations flash par exemple.

GMail Manager

Une sorte de xBiff (le truc qui clignote en bas de l’écran quand vous avez reçu un mail) pour un ou plusieurs comptes gmails. Pratique et efficace. Les mots de passes peuvent être stockés, je vous recommande dans ce cas-là d’activer le mot de passe global FireFox : un mot de passe unique à l’ouverture de FireFox qui débloque les mots de passe enregistrés et les cookies.

Speed Dial

Une page d’accueil montrant des vignettes des sites pour un accès rapide à ses sites favoris. Similaire à la page d’accueil de google chrome, sauf que chrome détermine tout seul les pages les plus fréquemment accédées, alors qu’ici on choisit soi-même.

Et enfin le duo de choc, la combo-qui-tue, mes deux amours :

Foxmarks Bookmark Synchronizer

Offre une synchronisation des marques-pages, bookmarks, favoris ou signets (appelez-ça comme vous voudrez) entre plusieurs navigateurs, donc par exemple entre PC-boulot et PC-maison. Franchement, j’ai essayé toutes les solutions depuis l’invention des bookmarks, et celle-ci est la première à me satisfaire pleinement. C’est gratuit, on peut accéder à la copie de bookmarks sur internet, qui fait office de backup avec historique, on peut créer plusieurs profils (boulot ; maison ; mobile) et ne partager que certains répertoires de favoris avec tel ou tel profil (donc les sites de l’intranet qui ne fonctionnent qu’au bureau ne polluent pas mes bookmarks à la maison). Permet également (depuis très récemment il est vrai) de synchroniser avec IE. Si on est parano on peut choisir son propre site FTP pour stocker sa copie de référence des bookmarks.

Read It Later

Un bouton qui permet de marquer à tout moment une page « à lire plus tard ». Ensuite, quand un a un petit moment devant soi, le bouton permet de faire défiler ces pages marquées « plus tard » à tête reposée. L’extension ajoute également un petit bouton dans google reader, ce qui permet de marquer un billet dans un flux RSS pour lecture différée également. Et comme cette extension sauve la liste des pages pour lecture ultérieure dans un dossier particulier de bookmarks, celui-ci est synchronisé parfaitement entre tous mes navigateurs par Foxmarks. Ta-daaaa troisième Loi de Clarke : «Toute technologie suffisamment avancée est indiscernable de la magie»

Pour le développement Web :

Web Developer

Ajoute une barre de boutons proposant une foule d’options pour mettre au point une page HTML récalcitrante : surligner les blocks, afficher les inputs, y compris cachés, éditer les cookies ou le CSS sur place. Bref, votre débuggeur d’HTML.

FireBug

Je l’utilise surtout pour débugger des échanges entre navigateur et serveur : FireBug permet d’inspecter les échanges GET/POST et réponses du serveur. Affiche également le source ou le DOM du HTML résultant.

FirePHP

Idée brillante, cette extension permet d’afficher des logs (codées façon log4j) d’une application PHP. Le principe est de fournir une librairie PHP qui permet de mettre ces infos de log dans les entêtes HTTP, qui restent invisibles de l’HTML, mais sont exploitées par l’extension FirePHP et affichées proprement en dessous de la page. J’adore ! Attention, nécessite l’installation de FireBug au préalable.

Voilà pour aujourd’hui. Cerise sur le gâteau, c’est très simple pour vous d’essayer, désactiver, réactiver, désinstaller toutes ces extensions. L’installeur d’extensions depuis FireFox est un régal : recherche par le nom, installation en quelques clics, utilisation… que du bonheur Aaaaah si seulement l’installeur d’Eclipse (et ça vaut également pour le prochain Eclipse 3.5 ) était aussi agréable à utiliser…

Partager/Sauver

Firefox !

Ca reste mon navigateur de choix. C’est pas la vitesse du rendu HTML ni du moteur JavaScript qui m’attire (encore que…), mais tout simplement les plugins. C’est la grande force de Mozilla, cette extraordinaire variété d’extensions plus utiles les unes que les autres. Ainsi qu’un très bon gestionnaire des favoris, et mes favoris sont mon second outil de travail (après google, of course). En passant, tiens, ma configuration de Firefox pourrait faire l’objet d’un autre billet.

Second :

Google Chrome.

J’aime beaucoup ce navigateur, je l’ai beaucoup utilisé à sa sortie avant de revenir à Firefox. L’idée derrière chrome est tout-à-fait valide : le web est de plus en plus utilisé comme plateforme d’applications, et le surf sur des pages d’information statiques n’est plus du tout le seul usage du web. Chrome est une avancée significative en tant que plateforme pour faire tourner des applications web en plein écran sans les chichis du navigateur qui justement sont gênants quand je ne navigue pas, c’est-à-dire gmail, google reader voire facebook. Le lanceur chrome de gmail « en tant qu’application » a remplacé avec bonheur mon client de messagerie dans mon menu démarrer. Mais, en tant que navigateur, chrome est en retard sur firefox.

« Bon » dernier :

Internet Explorer…

Complètement dépassé. Je ne tirerai pas sur l’ambulance. Je garde quand même un souvenir ému des « XML data island » dans des iframe cachées qui permettaient de bien s’éclater longtemps avant qu’un quidam ne nous ponde le terme d’AJAX. Aaaaaah la génération de DHTML&javascript par une tétrachiée de XSL inmaintenables…

Le seul intérêt de garder IE sur sa machine c’est pour aller sur les sites qui n’ont été testés que sous IE et ne fonctionnent que sous IE. Bon, d’un autre côté c’est pas comme si on pouvait le désinstaller de windows…

En conclusion, on déduit de tout ceci que j’ai vendu mon âme à Google, mon coeur à l’open-source et mes données personnelles à facebook…

Partager/Sauver

Ce terme est de plus en plus utilisé comme synonyme de « classe Java », ce qui est une erreur. Alors, qu’est-ce qu’un POJO au juste ? Et bien, ma définition en serait : une classe Java sans contraintes particulières.

En fait, il n’y a pas de POJO sans framework. Un framework peut vous demander de sous-classer telle ou telle classe, respecter telle convention de nommage, limiter ci, imposer cela. A l’opposé (et un peu en réaction aux EJB), on parle de POJO quand le framework justement n’impose rien sur vos classes Java : vous développez old-school, classes et interfaces sont conçues librement.

Exemple de framework pas-POJO-du-tout :

« Sous-classez com.framework.AbstractPrintableObject, avec un constructeur public à un paramètre de type com.framework.PrintEnvironment. Ne définissez que des méthodes publiques non synchronisées qui lèvent comme exceptions des sous-classes de com.framework.PrintException. etc… etc… »

Le même, façon j’aime-les-POJO :

« Passez-lui un POJO, le framework d’impression essaiera de découvrir ses getters publics et de construire une représentation textuelle imprimable. »

Je précise que j’écris ça dans un souci d’illustration, loin de moi l’idée de suggérer une quelconque supériorité d’une approche tout-POJO par rapport au framework de grand-papa qui offre un lot de superclasses abstraites. Par exemple, je trouve l’approche « pur-POJOs (ah oui, plus plein d’annotations) » un peu hypocrite…

Partager/Sauver

Partager/Sauver