Drôle de constat, drôle d'idée d'accepter une offre d'emploi dans une boite qui ne vit que par et pour les méthodes formelles et tenter en même temps de répondre à une question pareille environ un an après avoir signé. J'ai pu parcourir diverses réflexions en tentant d'y répondre. Avant d'aller plus loin, notez que les propos tenus ici n'engagent que moi, me sont totalement personnels, et ne sauraient engager en aucun cas mon employeur.
D'après un ami étudiant à Paris XII, un des rares établissements de l'enseignement supérieur à s'intéresser aux méthodes formelles, cela est dû à la pauvreté du marché des logiciels dans le domaine ; il est vrai qu'avant, il n'existait à vrai dire que des outils hors de portée du geek : non-libre, à la license à des tarifs exhorbitants. Aujourd'hui ? A moins de suivre des cours ou des formations, je pense qu'on peut faire le même constat ; l'entreprise dans laquelle je travaille faisant certes des efforts pour tenter de séduire un public plus large vis à vis de l'utilisation de la méthode B, il n'en reste pas moins que sans formation ni cours sur le sujet, avec utilisation pratique des logiciels utilisés, cette méthode est selon moi inutilisable en l'état pour le public de geeks éventuellement motivé par le sujet. On est en effet encore loin des tutoriels qui font foison dans d'autres domaines de l'ingénierie informatique.
De mon constat personnel, je serais plus pragmatique : Vous avez déjà vu un geek qui possède chez lui une rame de métro ? Le principal intéret de ces méthodes est leur utilisation dans le cadre du développement de logiciels sécuritaires (i.e. partout où la vie des gens peut potentiellement être mise en danger par des appareils quelconques). Le geek a tendance à s'intéresser plus à (disons) des "équipements" sur lequel on peut rapidement voir les "effets", par exemple une LED qui clignote reliée à un microcontrolleur piloté par port série, l'installation d'un OS sur un lecteur de DVD, le démontage d'une freebox, le tracé de données géographiques libres pour le "bien commun" (tiens donc ?) ... En général toutes ces activités "de geek" sont animées par le besoin d'obtenir un résultat "palpable" / "exploitable" rapidement, ce qui n'est pas envisageable dans le cas de l'utilisation de méthodes formelles selon moi - sauf si vous êtes assez pervers pour installer une porte palière à l'entrée de votre salle de bain. Ensuite, en ce qui concerne le développement en lui-même (pour le peu que je connaisse des développements en B). L'impression que me donne la maigre expérience au sein de l'entreprise dans laquelle je travaille, est qu'il est nécessaire pour coder une pauvre boucle, de la spécifier une première fois dans un fichier, et d'écrire son implémentation dans un deuxième, etc. Ce besoin permanent de spécifier, (éventuellement) raffiner, et implémenter fait que la complexité des projets devient rapidement gargantuesque. Pour ma part, cela me donne l'impression de faire n fois les mêmes choses, et se retrouver avec 15 fichiers ouverts pour l'équivalent d'un while (machin == true) {} m'exaspère. Ceci explique sans doute aussi pourquoi le développement de logiciels autres que ceux dont la spécificité est évoquée plus haut ne connait pas vraiment de succès. Si vous souhaitez coder un système d'exploitation en utilisant des méthodes formelles, prévoyez quelques siècles de travail ... Et après, avons-nous besoin de rajouter des "invariants de boucle" quand on souhaite énumérer tous les périphériques présents sur une chaîne USB ? Est-ce si grave que la pile IP de linux utilise un entier non signé de 32 bits pour décrire le nombre d'octets échangés sur une interface réseau ? Si débordement il y a, cela boucle sans pour autant provoquer d'explosions nucléaires ? Certes, mon expérience dans le domaine n'est peut-être pas suffisante pour statuer sur la question, mais une chose est sûr, je n'ai pas spécialement envie de m'y intéresser d'avantage.
Bref, tout l'avenir de mon orientation professionnelle repose sur cette question ; l'important dans le domaine n'étant pas de prendre de décisions hâtives, mais wait and see, dira-t'on ...
# · Aucun commentaireHier j'ai présenté, en collaboration avec un membre de l'AXUL lors d'une réunion mensuelle de cette association le projet OpenStreetMap ; projet que j'ai rejoint il y a maintenant 1 an et quelques mois. "L'auditoire" n'était pas spécialement nombreux - une petite dizaine d'habitués -, mais c'était agréable d'être en face de personnes intéressées par le sujet, et qui ont apparemment apprécié la présentation.
La première partie, traitée par mon co-contributeur, abordait l'aspect "Qu'est-ce qu'un GPS ? comment mapper sur OSM ?", tandis que je me suis plus attardé sur l'aspect de "la communauté" et l'exploitation possible des données avec des technologies libres. Ainsi, j'ai pu passer en revue les différents canaux d'échanges autour du projet, et aborder Mapnik, OpenLayers, PostGreSQL / PostGIS, et donner quelques exemples de requêtes géographiques. Je mets à disposition quelques documents utilisés :
- Les exemples de requêtes spatiales
Il y a eu beaucoup de questions durant cette présentation, notamment sur comment se passait le "contrôle" des contributions, afin d'éviter le vandalisme notamment. On se rend compte que dans ce genre de cas, il n'est pas toujours facile de donner des réponses, surtout quand la question provient d'un géomêtre passioné ; dans un domaine où je pensais que retranscrire "la réalité" était beaucoup plus facile sur OpenStreetMap que sur Wikipedia par exemple (il était à mon avis plus simple de rester neutre en traçant des cartes qu'en rédigeant des articles sur l'encyclopédie libre), c'est au final bien plus subtil que cela en a l'air, qu'il est "facile" finalement de dire ce que l'on veut et de faire passer une information non neutre (même de façon totalement inconsciente) sur une carte.
Nous avons cloturé cette présentation (qui a duré quand même quelques heures !) par la projection de la vidéo réalisée par Peter Ito à l'occasion de la nouvelle année 2009.
# · Aucun commentaireCe que l'on peut faire avec un PostGreSQL / PostGIS, les données libres d'OpenStreetMap et un peu de bidouilles avec le générateur de cartes Mapnik est vraiment impressionnant ; ci-dessous, une tentative de génération Pseudo-3D des bâtiments d'une partie de la zone d'activités des Milles, à proximité d'Aix-En-Provence :
L'idée de creuser la question m'est venue lors d'une visualisation des cartes Google Maps près de San-Francisco. La prochaine étape sera d'étudier la "vraie 3D" vu que cela est possible directement dans PostGIS. Bref, j'aurais sans doute des tas de choses à montrer à l'occasion d'une présentation du projet à l'AXUL le vendredi 12 juin prochain, je pose un hôtel rue de la paix, je plaque mon travail et je me fais rentier !
# · 2 commentairesAvec toutes les histoires récentes autour de la loi Hadopi, j'ai souhaité réinventer mon Internet en considérant ce dernier comme un vaste ensemble duquel il était possible d'exclure les quelques utopistes qui veulent interdire les gens de pirater en toute impunité. Nous dirons d'ailleurs plutot "qui tentent de porter atteinte à la neutralité d'Internet et d'imposer des mouchards filtrants", afin de rester diplomate, n'ayant que trop peu envie d'entrer dans le débat.
Bref, la réponse au problème existait bien avant le projet de loi, en simple il s'agit d'un firewall. En compliqué, il s'agit d'un firewall alimenté par des listes régulièrement mises à jour, provenant d'un logiciel sous Windows s'appelant Peerguardian. Bref, il existe tout une ribambelle de listes d'IPs que vous pouvez bannir à loisir, en installant moblock. Pour les geeks, il est possible que vous soyez obligés de recompiler votre noyau afin d'y ajouter le support de la gestion des paquets en espace utilisateur (nfqueue, de mémoire).
Si vous êtes debianneux / ubuntistes, allez-donc voir par ici.
Juste un conseil : Ne cochez pas toutes les listes disponibles lors de l'installation, sinon, vous ne pourrez que vous féliciter d'avoir un Internet trop "sûr" :
Err ftp://ftp.fr.debian.org sid/main sound-juicer 2.24.0-2 Connexion à ftp.fr.debian.org: 21 (212.27.32.66) impossible. connect (111 Connexion refusée)
Tellement sûr que je n'avais même plus accès au dépot officiel debian :-D Bref, j'ai du mal à comprendre en quoi debian.org est considéré dangereux, mais cela montre à quel point il peut être intéressant de RTFM avant d'installer n'importe quoi.
(Pour ceux qui se demandent pourquoi je comptais installer sound-juicer, c'était pour ripper un CD acheté dans le commerce et dont je souhaitais jouir de mon droit à la copie privée et accessoirement écouter sur mon baladeur MP3)
# · Aucun commentaireEntendu à une répétition d'orchestre, de la part d'un voisin altiste qui parlait de la poitrine d'une second violon :
Comme on dit ... "Y'a du monde au balcon ... mais peut-être pas la queue à la terrasse !"
Ca donne rien raconté comme ca, mais avec l'accent provençal dessus, ca valait vraiment le déplacement ; tant de simplicité, de musique dans cet accent, même pour ressasser les pires obscénités ... ; à ces personnages dignes des "santons de Provence", on donnerait le bon Dieu sans confession. Et pourtant ... :-D
# · Aucun commentaireEncore un sujet récurrent par ici, désolé, mais je pense que cela valait le coup d'être relayé par ici : L'administration Française autorise l'utilisation du cadastre comme source de données pour le projet OpenStreetMap ! Moi qui devais aller à une répétition d'orchestre mais pour cause de changement de programme de dernier moment, je me suis retrouvé à geeker de la donnée géographique. C'est pas plus mal :-).
Pour avoir essayé sans vraiment creuser il y a quelques temps, une telle nouvelle m'a quand même incité à retenter l'expérience. Je n'ai pas réussi à remettre la main sur le plugin automagique pour JOSM (un éditeur pour OpenStreetMap en java), alors après quelque bidouilles des scripts python que j'avais gardés par hasard, me voila avec un faux WMS qui va piocher vers les serveurs gouvernementaux. Et paf :
Par contre, ca rame dans JOSM :-) Mais c'est bien pratique, surtout que sur Aix, ces images sont plutot bien annotées, avec parfois le nom des rues, des places, etc. Et cela m'a permis de me rendre compte que mon GPS n'était pas si mauvais, et que nous autres sudistes avons déjà fait un boulot plutot correct. A dans quelques siècles, quand j'aurais fini de rentrer Aix-En-Provence !
# · 2 commentairesLors d'une pause, la chargée des sites web de ma boite nous a avoué avoir fait des recherches sur nous via un moteur de recherche dont on ne cite plus le nom pour sa notoriété. Je ne me suis pas senti ofusqué (quoique je préférerais garder séparé cet espace qui est le mien de mes activités purement professionnelles), mais par pure curiosité (ouais, c'est ce qu'ils disent tous, mais bon, il me fallait un prétexte), je me suis donc mis en quête de faire la fatidique recherche (en fait je le fais régulièrement, histoire de).
Verdict : heureusement que je suis plutot commun : Je suis chocolatier, patissier, traiteur, membre du conseil municipal de Saint-Lunaire, je suis marié à une certaine Marguerite, j'ai une clé GPG (merde, là c'est moi), j'ai plein de traces GPS concernant Aix-En-Provence (re-merde), j'ai submitté un ou deux patchs sur un client mail (roundcube pour ne pas le citer), j'ai un compte sur linuxfr, j'ai été créateur de fêves pour galettes des rois qui se vendent sur ebay, j'ai participé au développement informatique d'une association d'étudiants (tiens donc ?), j'ai fait du rugby à Montargis (91), je suis journaliste européen, j'ai aussi pratiqué la "danse sportive", j'habite Paris, j'ai été avocat à la Cour de Versailles, j'ai eu une fille qui s'appelle Anne avec une certaine Catherine Thiercelin, j'ai aussi lutté contre le tabagisme passif, et participé à quelques mails sur la liste debian-user-french ...
Plus étrange, je suis répertorié sur un site comme étant un restaurateur à Belfort, et ce, avec effectivement mes anciennes coordonnées, ceci expliquant enfin les quelques perdus m'ayant téléphoné à cette époque afin que je leur livre des pizzas ...
Je suppose que cela serait encore plus marrant si je m'appelais David Anderson, mais je suis déjà content du résultat. Merci donc à tous les Pierre Mauduit de la planête d'assurer mon anonymat dans ce flou artistique qu'est l'Internet :-)
# · 4 commentairesSuite à différentes remarques concernant la mocheté du thème précédent, bienvenue en 2009, avec un thème tout aussi foireux, mais qui, je l'espère vous fera moins mal aux yeux. Si des lecteurs se sentent l'envie et la motivation de me donner deux ou trois cours de ce langage ignoble qu'est le CSS, je suis preneur.
Pour commencer l'année, il a neigé il y a deux nuits, et Aix-En-Provence est enseveli. Pas de bus, pas possible de se rendre au boulot (j'ai bien fait de subreptivement monter un tunnel, et de partir du boulot mardi soir en laissant ma machine allumée ...). Bref, ce n'est pas tous les jours qu'on voit la rotonde sous cet angle :
Du coup, mon bureau ressemble à :
Je me rend compte malgré tout que je ne suis pas fait pour le télétravail, j'ai l'impression de diviser ma productivité par 15 ... Et que quand les sudistes vous racontent que c'est l'apocalypse, ce n'est pas pour blaguer. C'est réellement la déroute quand il y a de la neige, tellement la situation n'est pas commune. Comme dirait le responsable de l'aéroport de Marignane "Nous n'avons pas les moyens de Montréal". En effet, deux chasse-neiges sur toute la région, cela est bien insuffisant, mais s'ils servent une fois tous les dix ans, on comprend que l'investissement n'en vaille pas la peine.
Bref, normalement demain matin je pourrais reprendre le boulot. Cela tombe bien, il va falloir que j'avance un peu.
Stay tuned comme dirait l'autre,
# · 3 commentairesTout est dit : j'ai rejoint un orchestre dans le Gard, et plus récemment je reviens d'une répétition générale à Marseille.
C'est bien sympa tout ca ; cela me manquait un peu une bonne grosse formation d'une quarantaine de personnes. J'ai même pu m'incruster à la générale et jouer un peu du Strauss, même si c'est un peu tard pour espérer participer aux concerts de vendredi et dimanche prochain, cela permet de me dérouiller un peu, de faire autre chose que de l'informatique, de l'Openstreetmap, et de me plaindre des sudistes ou des transports en train ou en avion sur ce blog ...
Pour faire suite au précédent billet, je n'étais juste pas tombé sur les bonnes personnes : après un petit voyage en voiture avec le directeur du conservatoire d'Aix, plein de nouveaux projets prennent forme, il faudra juste que je reste conscient que le temps n'est pas compressible.
Et sinon, toujours dans une catégorie musique, je vous conseille Bonobo, un artiste du label ninja tunes (comme The Cinematic Orchestra). Calme, reposant, bref, de la musique comme il faut. Ca me changera de At the heart of winter d'immortal (bien que l'album soit de "saison" en ce moment).
Bonne nuit !
# · 2 commentaires
