À l’occasion de la Journée internationale des droits des femmes et pour la paix internationale, on va parler d’un sujet « tendance » vu sous un angle un peu spécifique : celui des femmes qui la font. Parce que, bien que l’on soit amené à reprocher aux intelligences artificielles une forme de sexisme due à leurs jeux de données, les femmes n’ont pas été, ne sont pas étrangères à leur conception. C’est donc l’occasion de donner les portraits de Karen Spärck Jones (1935 – 2007) et de Chloé-Agathe Azencott qui ont contribué, et contribuent, à leur existence, et de rappeler les « petits » défauts des IA.

En principe, une démonstration mathématique ne fait que suivre des règles logiques bien définies, et devrait donc pouvoir être encodée informatiquement et vérifiée par un ordinateur. Où en est-on dans la pratique et dans la théorie ? Petit tour au pays des assistants de preuve, des langages de programmation dédiés aux démonstrations, et de leur fondement théorique le plus commun, la théorie des types.

Yvonne Choquet-Bruhat (1923 - 2025) vient de s’éteindre à l’âge de 101 ans. Ses travaux sur les ondes gravitationnelles sont d’une importance majeure et lui ont valu une reconnaissance internationale. Médaillée d’argent du CNRS, elle était récipiendaire des prix Dannie-Heineman de la Société américaine de physique et Marcel Grossmann. Elle était membre de l’Académie des sciences de Paris et l’une des rares scientifiques à avoir été décorée de la Légion d’Honneur au grade de grand-croix (2016), le plus élevé. Elle était aussi grand-croix de l’ordre national du Mérite depuis 2015.

Parcours d’une grande scientifique.

En octobre 2024, on était allé à la conquête de l’espace, cette fois-ci, on va se concentrer sur l’exploration de l’espace vu de la Terre. Pour cela, on se penchera sur la vie et les travaux de trois femmes : Nicole-Reine Lepaute qui, au siècle des Lumières, a calculé la date du retour de la comète de Halley, Janine Connes qui prendra la direction du premier centre de calcul en France et Françoise Combes qui vient d’être élue présidente de l’Académie des sciences. C’est aussi l’occasion de voir l’évolution des outils utilisés en astronomie.

Illustration des douze phases principales selon les calculs de Nicole-Reine Lepaute

Dans l’histoire de l’espace, les épisodes qui ont le plus marqué les esprits sont, probablement, ceux des marches sur la Lune qui ont été le fait des missions Apollo. Dans cette deuxième dépêche à l’occasion de la journée Ada Lovelace de 2024, on retrouvera donc un portrait de quatre femmes qui ont codé ou calculé les missions Apollo, Judith Love Cohen (1933 – 2016), Margaret Hamilton, JoAnn H. Morgan et Frances (Poppy) Northcutt mais aussi une histoire de celles, plus anonymes, qui ont tissé les mémoires des modules Apollo.

Ces biographies sont précédées d’un genre d’état des lieux de l’informatique en URSS et aux USA et suivies d’une sitographie pour prolonger un peu plus l’exploration.

Pour cette journée Ada Lovelace, on vous invite à la conquête de l’espace, une histoire qui n’aurait peut-être pas pu se faire sans les femmes. Pas uniquement parce que ce sont des femmes : les anonymes qui ont tressé les mémoires en tore de ferrite des missions Apollo, ou les plus connues qui ont voyagé dans l’espace. Mais aussi parce qu’elles ont calculé ou codé les explorations spatiales. Et comme c’est un sujet vaste, il s’agit, pour l’instant, de la première partie consacrée à trois femmes afro-américaines qui ont travaillé au NACA puis à la NASA : Dorothy Vaughan (1910 – 2008), Katherine Johnson (1919-2020) et Mary Jackson (1921 – 2005). Les portraits de ces trois femmes sont précédés d’une chronologie de la conquête de l’espace.

Des scientifiques de l’École polytechnique fédérale de Lausanne lancent Meditron, le grand modèle de langage sous licence libre et adapté au domaine médical le plus performant au monde. Objectif : aider à la prise de décision clinique. Entraîné avec des données ouvertes et distribué sous licence libre Apache, ce modèle est également beaucoup moins gourmand en ressources que les chatbots du marché : libre à chacun de mettre des moyens pour l’utiliser et l’améliorer.

Cette dépêche est un travail dérivé d’un texte original de Tanya Petersen diffusé sous licence de nature « Attribution - Partage dans les Mêmes Conditions » (CC-BY-SA 4.0)

Au départ, une nécrologie de Lorinda Cherry qui se fait très très tardive. À l’arrivée une dépêche qui évoque aussi deux de ses contemporaines, Evi Nemeth et Jude Milhon, pour célébrer la journée des femmes en science ou journée Ada Lovelace.

Lorinda Cherry a été membre de l’équipe qui a conçu UNIX, Evi Nemeth a été surnommée la « grand-mère de l’administration de système », quant à Judith Milhon, elle est tout simplement la première hackeuse et l’inventrice du terme « Cypherpunk ».

Le Frido est un livre libre de mathématique libre. L’objectif est de partir de la théorie des ensembles (acceptée avec le lemme de Zorn), et d’aller jusqu’au niveau de début du master en faisant toutes les étapes. Pas pour les enfants.

Suite au succès du concours ICRA 2023 qui a rassemblé 69 équipes, la nouvelle édition de ce même concours a été lancée, avec à la clé un Ether pour le gagnant.

Toujours basé entièrement sur une pile de logiciels libres, dont le simulateur de robots Webots, le concours de programmation de robots humanoïdes lutteurs a démarré sur webots.cloud. On peut déjà y voir 8 équipes avec les premiers matches en 3D où deux robots NAO s’affrontent sur un ring de catch.

Parmi les nouveautés de cette édition, on peut désormais faire des matches amicaux pour tester les capacités de son robot contre un adversaire de son choix.

On espère voir fleurir plein de petits drapeaux francophones (🇫🇷, 🇨🇦, 🇧🇪, 🇨🇭, 🇱🇺, 🇩🇿, 🇲🇦, 🇹🇳, etc.) avec votre participation !

Le journal, origine de cette dépêche est paru le huit mars. Il a été écrit pour cette journée internationale des droits des femmes et il a fait l’objet d’une demande de dépêche. La dépêche est abondée d’une partie sur les femmes dans la « Tech » et d’un paragraphe sur les droits familiaux et patrimoniaux oubliés dans le journal. Les liens sont classés.

On y décrit le parcours difficile des femmes de science vers les études, on explique la nécessité des associations scientifiques féminines, on évoque leur position dans la « Tech » et tout ceci se termine par une définition et une histoire du féminisme et des avancées en matière d’égalité en France.

La Société Informatique de France (SIF) a fêté ses dix ans en mai 2022, quatre ans après avoir été reconnue d’utilité publique (Journal officiel du 4 septembre 2018). Cette société savante vise à rassembler toutes celles et ceux dont l’informatique est le métier ou la passion pour promouvoir l’informatique au niveau de l’enseignement, de la recherche et de la culture des citoyens et citoyennes, s’intéresser à la formation et l’emploi des informaticiens et informaticiennes, participer aux débats de société, etc.

ParaView est un logiciel dédié à la visualisation scientifique de données massives, publié sous licence BSD-3. Voir la dépêche précédente pour une présentation complète.

La version 5.11 vient de sortir avec son lot d’améliorations et de nouvelles fonctionnalités, comme décrites sur le blog de Kitware. Pour une liste exhaustive vous pouvez aussi vous référer aux notes de version.

Cette dépêche propose de présenter quelques nouvelles fonctionnalités et améliorations intéressantes.

Modèle Tux - Linux Penguin by me2space sous licence Creative Commons - Attributionlicense.

Marion Créhange, née Caen, a « eu la très grande chance […] de vivre la naissance de l’informatique » Elle nous a quitté le 28 mars 2022 à quatre-vingt-quatre ans. Elle était la première personne en France à avoir soutenu une thèse en informatique en 1961. Elle est aussi l’une des toutes premières personnes à avoir enseigné l’informatique d’ailleurs. Elle a effectué toute sa carrière d’enseignante-chercheuse à Nancy. Elle était spécialisée dans les systèmes d’information et pensait que les sciences humaines revêtaient une importance capitale. Cela a marqué toute sa carrière.

Plus qu’une biographie ou une (un peu tardive) nécrologie, cette dépêche est axée sur la place de Marion Créhange dans l’histoire de l’informatique et sur sa vision de cette science qu’elle a contribué à créer et développer.

Inishell est un générateur d’interfaces graphiques sous licence GPLv3 pour la configuration de logiciels utilisant des fichiers de configuration au format INI, écrit en C++ / Qt.

Bonjour,

Dans le cadre du projet OLKi de l’Université de Lorraine, j’ai rédigé avec l’aide de Christophe Cerisara (directeur du laboratoire de TAL au LORIA) une charte sur le développement des Intelligences Artificielles (IA) respectueuses de la vie privée dès la conception (disponible sur HAL)

Cette charte a fait l’objet d’un colloque qui a été ensuite présenté dans un billet récent du Blog Binaire.

Nous pensons que le respect de la vie privée dans le développement des IAs constitue un défi pour la perspective libriste, dans la mesure où l’ouverture des modèles peut permettre des violations de la vie privée et de la protection des données personnelles, qui peuvent parfois être reconstituées à partir des paramètres du modèle.

Nous espérons vivement un retour des développeurs et développeuses libristes. Cette charte n’est pas tant faite pour collecter des signatures que pour lancer un débat nécessaire sur le respect de la vie privée dans le développement des IAs, et sa très difficile opérationnalisation.

Au plaisir de lire vos retours,

Maël Pégny
Postdoc AI Ethics
Carl Friedrich von Weiszäcker Zentrum.
Universität Tübingen

Le Deuxième Plan national pour la science ouverte a été publié récemment par le Ministère de la Recherche.

Parmi les quatre axes d’action de ce plan, qui sont par ailleurs tous intéressants, on note en particulier l’axe 3 : « Ouvrir et promouvoir les codes sources produits par la recherche », avec les mesures suivantes :

• valoriser et soutenir la diffusion sous licence libre des codes sources issus de recherches financées sur fonds publics ;
• mettre en valeur la production des codes sources de l’enseignement supérieur, de la recherche et de l’innovation ;
• définir et promouvoir une politique en matière de logiciel libre.

Le document met en particulier en exergue les deux éléments suivants :

• L’ouverture des codes source des logiciels est un enjeu majeur de reproductibilité des résultats scientifiques.
• La diffusion des productions logicielles sous licence libre sera privilégiée.

Pymecavidéo est un logiciel de pointage de vidéo permettant l’analyse mécanique des mouvements. Il peut lire un très grand nombre de formats vidéos (HD compris) sans prérequis de traitements (encodage), le rendant très utile dans le cadre de séances d’analyse de trajectoires et de mouvements, notamment dans les cours de physique.

Il est basé sur Python3/Qt5 et OpenCV. Il est sous GPL v3, est multi‐plate‐forme (GNU/Linux et Windows pour le moment. Si un contributeur macOS veut nous rejoindre…).

Nouveautés de cette version :

• encore plus de formats vidéos pris en charge ;
• gestion des vidéos HD (provenant des smartphones par exemple) ;
  
• rotation des vidéos possibles (si les élèves ont mis le téléphone horizontal) ;
• amélioration de la détection automatique, surtout au niveau de la vitesse 
• possibilité de faire un pointage sans nécessiter d’échelle préalable (pour l’étude de la relativité du mouvement par exemple) ;
• EXCLU : réalisation de vidéos dans d’autres référentiels (si, dans une vidéo de lâcher de boulet de canon dans un bateau, vous pouvez pointer un point fixe sur le bateau et le boulet et recréer la vidéo du boulet dans le référentiel du bateau) ;
• enregistrement d’une chronophotographie à partir d’une vidéo ;
• enregistrement d’un chronogramme (pas de photos de fond) à partir d’une vidéo ;
• EXCLU : exports en divers formats dont notamment Python « source » et Jupyter Notebook qui permettent une utilisation du langage Python en physique assez facilement.

Quatre chercheurs ont co-écrit un article analysant la vulgarisation scientifique en français sur Youtube, publié dans Frontiers in Communication en avril 2021.

Tania Louis (« médiatrice scientifique et conceptrice de contenus pédagogiques », docteure en biologie), Pierre Masselot (« BSc MSc PhD Research Fellow in Environmental Epidemiology and Statistics »), Tobias Füchslin (« Senior Researcher and Coordinator at the Swiss Academies of Arts and Sciences ») et Stéphane Debove (« docteur en biologie/psychologie de l’évolution » ou Homo Fabulus) ont « analysé plus de 600 chaînes et 70 000 vidéos de vulgarisation scientifique en français, et complété cette analyse par un sondage auprès de 180 youtubeurs. »

De nombreux organismes de recherche étudient l’évolution du climat. À partir des conférences en ligne proposées par le Copernicus Climate Change Service (C3S), on va extraire les températures prévues en Europe après 2080, disponibles à travers le programme EURO-CORDEX.

Ci-dessus la variation de la température moyenne observée avec une référence prise sur la période 1951-1980, données NASA/GISS. On observe une nette tendance à la hausse sur les dernières décennies. La régression Lowess lisse le signal afin de mieux distinguer les tendances. On réservera cependant le code source correspondant aux développeurs et aux développeuses aguerris.

Je suis heureux d’annoncer la sortie de la version 11.0 de MathMod (anciennement connu sous le nom K3DSurf), le logiciel libre de modélisation et de manipulation des objets mathématiques décrits par des équations implicites ou paramétriques. Cette version contient le développement le plus excitant depuis le support des processeurs multi-cœurs : compatibilité avec OpenGLES. MathMod peut maintenant tirer pleinement parti des CPU et GPU modernes !

Pour faire suite à la dépêche sur VTK, voici une présentation de ParaView qui vient de sortir récemment en version 5.9.0.

Basée sur VTK, une bibliothèque libre pour la visualisation scientifique développée par la même société, son architecture est modulaire. Cela permet de développer rapidement des applications métiers dédiées à un domaine particulier. Par exemple ParaVis, le module de post-traitement de SALOME, développé par EDF et le CEA, est une illustration de la réutilisation de ParaView pour un besoin précis. ParaView est donc à la fois un logiciel clef en main pour la visualisation scientifique et un cadriciel d’application (application framework).

Un peu plus d’un an après la dernière version stable de QElectroTech (QET), la version 0.8 est maintenant disponible en téléchargement.

QElectroTech est un logiciel libre multi plate-forme, permettant de réaliser des schémas de circuits électriques. QET est disponible sous licence GNU GPL v2. Le développement du logiciel se fait en C++ et Qt5.

VTK est une bibliothèque libre incontournable de la visualisation scientifique, pourtant peu citée sur LinuxFr. Rattrapons le retard !

VTK est en quelque sorte le couteau suisse de la visualisation scientifique. La suite de cet article vous donnera un aperçu de ses domaines d’utilisation en s’appuyant sur de nombreux exemples abondamment illustrés.

Peu connue du grand public, et de certains encyclopédistes, Alice Recoque a une influence significative sur l’informatique. Elle vient de s’éteindre à 91 ans.
Elle a effectué ses études d’ingénieur à l’École supérieure de physique et de chimie industrielles de la ville de Paris (ESPCI), 69^e promotion (sur la photo de la promotion, elle est au 1^er rang à droite avec les quatre autres femmes de la promotion), dont elle est sortie diplômée en 1954.
Elle est l’inventrice de nombreux brevets, elle a, notamment, piloté le projet Mitra 15, un ordinateur à succès, pour se tourner en fin de carrière vers l’intelligence artificielle. Malgré tout cela, sa page Wikipédia a donné lieu à une bataille rangée entre les tenants de sa suppression et celles et ceux qui voulaient la garder.