Il y a quelques temps, j'ai découvert sur Twitter le langage de programmation Catala. Et j'avais été impressioné par l'idée de créer un DSL (mais quel DSL) pour encoder un domaine législatif et y utiliser les capacités de l'informatique théorique.

Et ce matin, j'ai enfin eu le temps de regarder la présentation qu'en a fait Denis Merigoux à Lambda Lille.

Et je suis encore plus impressioné, et nourri d'idées originales (mais plus les mêmes qu'avant).

Ma première idée, à la lecture du peu d'informations que j'avais cherché, avait été de tenter d'utiliser Catala comme support à une partie de nomic. Mais, en regardant cette présentation, j'ai compris que l'objectif de Catala était avant tout d'alimenter un moteur de calcul à partir d'une description de la loi fondée sur une logique à exceptions, ce qu'illustre fort bien Denis dans sa présentation.

Et du coup, j'ai complètement changé de fusil d'épaule. Je me dis aujourd'hui qu'au-dela de fournir un moteur de calcul plus correct à la DGFIP, il est tout à fait possible de créer un "robot fiscaliste" proposant des optimisations d'impôts.

Mais une partie de moi se dit que ce serait éthiquement mal d'aider les gens à "optimiser" leurs impôts ... Sauf qu'en fait, la réalité n'est pas si simple, et il faut avoir une vision politique des choses, parce qu'aucune entreprise ne peut prétendre être apolitique. Pour le dire autrement, je pense sincèrement que le fait que le droit fiscal soit rempli d'exceptions plus ou moins curieuses est une forme de clientélisme qui mérite d'être exposée plus clairement (regardez par exemple cette liste de niches fiscales, certaines sont ... curieuses). Et comment mieux exposer ça qu'en traçant clairement, comme le permet Catala, une optimisation d'impôt au texte de lui la permettant ?

Je vais donc mettre cette idée à côté de Proust, dont je vous parlerai prochainement.

Il y a quelques temps, mes collègues rennais ont participé à la rédaction d'un numéro hors-série de Kaizen consacré au numérique responsable.

ZenikaIT Zenika 11 nov. 2020 à 16:09:26 Il y a un an, @KaizenMag s'installait dans les mêmes locaux que notre agence de @ZenikaRennes. #Kaizen, #Zenika, 2 anagrammes. Il n’en fallait pas plus pour se dire : on y va ! Créons un numéro hors-série ensemble ! Nos Z racontent leur expérience https://t.co/5oteQ81U4u

Et devinez quoi ? J'ai pris le temps de lire ces 132 pages d'articles de 4 pages sur des sujets variés, mais toujours autour du même thème, qui est évidement celui du numérique responsable (dingue, hein). En l’occurrence, le magazine parle beaucoup d'écologie et de consommation de ressources et d'énergie, et un peu de responsabilité sociale ou éthique. Et c'est bien comme ça. Il y a par ailleurs plusieurs chiffres marquants : 90% des rejets de gaz à effets de serre sont liés à la fabrication des matériels, et seuls 10% concernent leur utilisation. Au début, cette répartition semble folle ... Et elle devient d'un coup moins dingue quand on sait combien de métaux et terres rares sont utilisées pour fabriquer un ordinateur ou, pire encore, un smartphone. Ce qui pousse à un constat, également fait sur IFTTD avec Raphaël Lemaire : pour construire un logiciel qui soit raisonnablement correct d'un point de vue écologique, il faut avant tout ne pas pousser les utilisateurs à renouveler leur matériel. Ca implique de ne pas sauter sur les dernières nouveautés à la mode, mais aussi de s'intéresser à la performance de l'application en tant que fonctionnalité essentielle.

Et ce qui est bien avec cette lecture, c'est que j'ai pu l'aborder avec un oeil critique assez intéressant. Parce qu'il y a certaines choses qui m'ont chagriné dans ce magazine. D'abord le fait que certains des interviewés ont une hiérarchie des usages qui m'a un peu déplu : utiliser un ordinateur pour travailler, ok, mais pour se distraire, pouah ! Ensuite un élément d'ordre conceptuel sur la définition de ce qu'est l'écologie. Parce que si il y a bien un terme galvaudé aujourd'hui, c'est celui-là. Et pendant cette lecture, j'ai distingué au moins trois sens.

• L'écologie scientifique, qui est l'étude des interactions entre organismes et dont on entend trop peu parler.
• L'écologie politique, qui est parfois un peu confuse dans ses objectifs, ses moyens et sa vision mais qui cherche globalement à remettre la planète au coeur de la politique, si j'ai bien compris
• L'écologie technique, qui est l'application de techniques et de méthodes industrielles dans l'objectif de diminuer l'impact sur le réchauffement climatique

Et en fait, la confusion entre ces trois sens apparaît à la lecture.

Un autre inconvénient de cette lecture est qu'à mon avis, la bataille des chiffres continue entre les différents lobbies. Quand j'entends par exemple que le numérique produit plus de gaz à effets de serre que l'aviation ... j'ai des doutes très sérieux. Et d'un autre côté, chaque transaction bitcoin consomme autant d'électricité que l'alimentation d'une ville entière. Donc il y a là-dedans une réalité mesurable, qui mériterait d'être trouvée. Mais il y a tellement d'intérêts politiques ou économiques que la vérité sera difficilement trouvable. Ca n'est pas un appel au complotisme en mode "on nous cache tout", mais plus le constat que si l'écologie s'envisage désormais comme une force politique, elle met nécessairement en place une opposition, ou plutôt plusieurs oppositions, qui vont rendre les débats sur ces sujet fascinants pour les années à venir.

Et je me réjouis de voir que certains collègues participent avec autant d'implication à ce débat, dans une publication de cette qualité.

Vous ne connaissez pas Deskreen ?

francoisz François Zaninotto 25 janv. 2021 à 15:03:02 Deskreen: Turn any device with a web browser to a second screen for your computer. Like MacOS' Sidecar, but for any computer and any phone / tablet. #OSS #JS https://t.co/d1e5Lq1vzs https://t.co/aCZht93szX

Il a y juste un truc qui n'est pas dit dans tous ces avis dithyrambiques : il faut acheter un "dummy plug HDMI". c'est-à-dire une prise HDMI qui fait croire à votre ordinateur qu'il y a un écran connecté, même si il n'y en a pas.

Normalement, ça m'aurait stoppé.

Mais j'ai chez moi une tablette Lenovo qui ne sert plus trop, et une autre tablette Samsung elle aussi sous-utilisée.

Donc j'ai acheté le bon plug chez Amazon (j'aurais aimé pouvoir l'acheter chez LDLC, mais manifestement, ces produits ne semblent pas avoir trop de succès chez les vendeurs de matériel français). Vous noterez que j'ai pris un modèle qui fait aussi pass-through pour connecter un vrai écran.

Et donc, la prise est arrivée ce matin, et je me suis empressé de tester.

Donc, l'appairage se fait sans trop de souci : je scanne le QRCode affiché par deskreen, ça m'ouvre le navigateur (en http simple) qui lance un stream envoyant le contenu de l'écran.

Dans l'ensemble, c'est raisonnablement bien fichu. Malheureusement, comme le flux vidéo passe par mon réseau wifi domestique, qui est un peu chargé, l'écran a parfois un lag assez important. Je pense que ça peut se résoudre en passant par le partage de connexion en USB ... J'essayerai une fois que j'aurais réussi à configurer ça sur mon téléphone (parce que trouver comment dire à Android d'utiliser la connexion réseau de l'ordinateur connecté en USB plutôt que la sienne est ... délicat).

Et donc, est-ce que je suis content d'avoir acheté ce dummy plug ? Oui, parce que je sens que ça peut rapidement devenir un très bon logiciel (il faudrait juste voir comment optimiser l'envoi du flux vidéo, mais ça, ça fait partie des choses connues, non ?).

Hier, j'ai eu l'honneur d'être taggé par Cynthia pour le 8 mars (une journée que personne ne devrait se sentir heureux de célébrer) :

CynthiaStaebler Cynthia ✊🏾 8 mars 2021 à 11:04:21 #8mars ! Journée internationale des droits des femmes (international women day #iwd) Voici ma sélection inspirante ! À vous @riduidel @AnaelleHt @estelandry #zenikaforwomen https://t.co/g5f0lvcPIN

C'est un honneur, parce que je sais que Cynthia ne m'aurait pas mentionné comme ça.

Mais il s'est aussi passé quelque chose dans ma tête. J'ai commencé à chercher que mettre dans cette sélection. Et bien sûr, j'ai trouvé un livre, et même plusieurs (Sortir du trou/Lever la tête, Le guide des métiers pour les petites filles qui ne veulent pas être princesses). Et pour une fois (ça va paraître curieux aux gens qui me connaissent), je me suis senti imposteur : la sensation écrasante d'être entouré de gens bien plus pertinents et intelligents que moi pour parler de ce sujet. Du coup, évidement, j'ai fait l'autruche. Et je ne suis même pas sûr que ça ait été une erreur (sauf à sous-entendre que les droits de la moitié de la population humaine ne sont pas importants, mais ça me paraîtrait évidement une approche stupide).

Et franchement, le débat sur la place des hommes dans les revendications féministes est un sujet des plus intéressants, mais je ne vais pas forcément le détailler ici.

Cela dit, l'approche de mes collègues est vraiment bien, et je les félicite.

Mon arrêt maladie se termine, et je peux tenter d'en tirer un rapide bilan.

Avant toute chose, je me dois de signaler que je suis un menteur. En effet, j'ai toujours cru être capable de me passer de contact humain pendant de longues périodes. Mais là, la topologie des maisons lilloises m'a isolé dans ma chambre sous les combles quand ma famille restait au rez-de-chaussée. Et pour la première fois depuis bien longtemps, j'ai un peu souffert de ce manque de relations sociales avec les gens que j'aime. Et c'est une réalisation qui fait en fait du bien : se rendre compte que les gens qu'on aime nous manquent, quand on sait qu'on les reverra, ça fait du bien.

Ensuite, comme tout vieux geek, j'ai passé beaucoup trop de temps à jouer. Comme je l'ai déja écrit, j'ai passé beaucoup de temps sur les convoyeurs de mindustry (les captures d'écran statiques ne font pas honneur à la folie qui peut s'emparer du joueur pendant une partie un poil longue) à tenter de faire rentrer plus de matière dans mon noyau. Et à mon avis, il y a largement de quoi en faire un support pour une présentation sur, par exemple, le fameux enterprise integration patterns, ou le refactoring ...

Par ailleurs, j'ai réussi à trouver le temps de lire au moins un livre un peu sérieux, The Art of System Architecting, qui m'a permis de clarifier certaines de mes intuitions, comme le dit très bien cette citation

fnthawar Farhan Thawar 10 févr. 2021 à 12:48:21 Read non-fiction to raise your floor. Read fiction to raise your ceiling.

J'ai également pris un peu de temps (moins d'une journée, en fait), pour virer Plex de mon NAS et le remplacer (évidement) par MiniDlna pour des raisons évidentes : si Plex a plein de fonctionnalités magiques, la performance n'en fait pas partie. Et dans la mesure où mon NAS est un modèle peu performant, lui mettre un logiciel trop lourd sur le dos n'a aucun intérêt. Et évidemnet, depuis que j'utilise MiniDlna, l'affichage de la liste de mes films sur la freebox se fait en un clin d'oeil. J'ai bien sûr perdu les fonctionnalités magiques de tri automatique de Plex, mais je connais un script Python magique qui pourrait peut-être (flinck) les restaurer.

Et puis j'ai tenté de trouver une astuce pour mettre à jour ma tablette obsolète (que j'ai trouvé), mais je n'ai pas osé la flasher par peur de la bricker.

Mais surtout, j'ai réfléchi.

J'ai réfléchi, par exemple, au fait que je n’avançais pas du tout sur mon idée de plugin Keepass. Il y a à ça des raisons logistiques, mais il y a surtout une réflexion sur la valeur de la procrastination. Parce que pour un projet domestique, la motivation est importante, et les freins à celle-ci sont évidents. Et en l’occurrence, je sais que je n'ai pas avancé parce que je vois encore trop de zones floues que je vais doucement prendre le temps de clarifier.

J'ai aussi réfléchi à mon rôle dans mon entreprise actuelle, bien aidé par une cascade organisationnelle que j'ai tenté avant mon arrêt maladie, et dont je reparlerai sans doute bientôt.

J'ai également beaucoup pensé à la beauté de ce pays, la France, dans lequel on peut se faire opérer d'un problème aussi pénible qu'handicapant et potentiellement grave ((la hernie discale, pour ceux qui ne suivent pas), presque gratuitement, dans ce qui pourrait être les meilleures conditions au monde. Et je trouve lamentablement triste que les gens au pouvoir, guidés par des considérations comptables plus que par tout autre chose au monde, choisissent sciemment de détruire ce système de santé. Ca dit des choses bien tristes sur eux, et sur leur vision de ce que peut être la grandeur d'un pays. A titre personnel, et d'une façon pas étonnante, l'intérêt porté à la santé des français entrera de façon presque prioritaire des mes critères électoraux. Parce que pour être honnête, augmenter la police et l'armée au détriment de la santé, de la culture, de l'écologie, c'est une vision féodalisante, rétrograde, pétainiste et particulièrement stupide de ce qu'est le rôle d'un gouvernement.