Vue normale

Reçu aujourd’hui — 26 février 2025LinuxFr.org : les dépêches

Réviser SQL en jouant au détective : SQLNoir

26 février 2025 à 09:30

SQL Noir est un jeu libre (licence MIT) par Hristo « Cool as a cucumber » Bogoev, où vous incarnerez le rôle d’une personne enquêtant sur un crime, mais à grand renfort de requêtes SQL. Le SQL pour Structured Query Language ou « langage de requêtes structurées » est un langage informatique normalisé servant à exploiter des bases de données relationnelles (Wikipédia).

Logo SQL Noir

Bref vous avez une interface web qui vous permet de faire des requêtes dans les bases de données de témoins, suspects, enregistrements audio ou vidéo, etc., et vous devez trouver qui est la personne ayant le commis le crime. Sur le principe vous allez identifier des éléments dans les données, traquer les infos correspondantes ou manquantes, faire le lien entre les éléments, repérer des liens entre personnes ou des transactions, et tout cela avec des requêtes SQL.

Il y a actuellement 4 enquêtes disponibles (et probablement plus à venir). C'est rapide, ludique, joli et ergonomique. L'outil aide en suggérant les mots clés SQL ou les noms de tables par exemple. L'outil dispose d'une zone pour prendre des notes, ce qui est à la fois pratique pour garder trace des requêtes SQL, mais surtout des résultats, et vous en aurez besoin pour les cas compliqués.

Le premier commit du projet date du début du mois, et le projet est donc assez jeune, tout en étant à la fois prometteur, et déjà très sympa.

Note: full disclosure, LinuxFr.org utilise du SQL. Cette information est-elle pertinente ici ? Absolument pas, mais des fois il y a des infos inutiles dans les enquêtes. Et merci à @siltaer d'avoir partagé ce message qui m'a fait découvrir ce jeu.

Commentaires : voir le flux Atom ouvrir dans le navigateur

Reçu hier — 25 février 2025LinuxFr.org : les dépêches

Décès de Jean-Pierre Archambault

25 février 2025 à 22:16

Jean-Pierre Archambault est décédé le 23 février 2025. Ancien enseignant et professeur agrégé de mathématiques, il présidait notamment l'association Enseignement Public et Informatique (EPI). Il a été un acteur essentiel des ressources libres et des logiciels pour l'Éducation nationale en France et dans la francophonie.

L'étiquette jean-pierre_archambault vient nous remémorer combien il était actif autour du logiciel libre et de l'éducation depuis longtemps, que nous le croisions régulièrement lors de conférences et d'événements, et combien il était une personne appréciée, active, humaine et de convictions.

LinuxFr.org présente ses plus sincères condoléances à sa famille et à ses proches.

Jean-Pierre Archambault (photo tirée d'une citation pour l'April)

Commentaires : voir le flux Atom ouvrir dans le navigateur

Revue de presse de l’April pour la semaine 8 de l’année 2025

Par :echarp
25 février 2025 à 08:21

Cette revue de presse sur Internet fait partie du travail de veille mené par l’April dans le cadre de son action de défense et de promotion du logiciel libre. Les positions exposées dans les articles sont celles de leurs auteurs et ne rejoignent pas forcément celles de l’April.

[clubic.com] DeepSeek continue de bousculer l'IA en partageant plus largement ses modèles

✍ Samir Rahmoune, le vendredi 21 février 2025.

La start-up chinoise continue de faire son trou dans le monde des grandes IA. Et elle se distingue encore par son engagement pour l’open source.

Et aussi:

[leParisien.fr] Polémique Wikipédia: cinq minutes pour comprendre les critiques qui visent l'encyclopédie en France - Le Parisien

Le vendredi 21 février 2025.

Le Point, magazine hebdomadaire d’actualité français, a déclenché une guerre médiatique contre Wikipédia. Ils s’accusent mutuellement, l’un d’intimidation, l’autre de désinformation.

Et aussi:

[Next] Donald Trump supprime l'indépendance des agences de régulation FTC, FCC et SEC

✍ Martin Clavey, le jeudi 20 février 2025.

Les agences FTC, FCC et SEC régulent les marchés américains et surveillent notamment les entreprises américaines du numérique. Elles opéraient jusque ici de manière indépendante du pouvoir exécutif fédéral américain. Un décret de Donald Trump publié le 18 février dernier veut leur imposer une supervision présidentielle.

[Next] GNOME 47.4 et 48 Beta disponibles: quelles nouveautés?

✍ Vincent Hermann, le mardi 18 février 2025.

Durant le week-end, l’équipe de développement de GNOME a publié coup sur coup deux versions. La première, stable, contient des améliorations pour l’actuelle branche 47 et est diffusée sur l’ensemble des distributions Linux l’utilisant. L’autre, en bêta, représente la prochaine branche majeure et contient des nouveautés plus importantes.

Commentaires : voir le flux Atom ouvrir dans le navigateur

Illico Editor : nouveautés depuis 2021

25 février 2025 à 08:17

Illico Editor est un (petit) couteau suisse de la qualification de données développé à l’origine pour permettre aux experts métiers de transformer les données sans recourir à la programmation… le tout dans une simple page HTML (pas de serveur Web) donc une utilisation à travers le navigateur.

Aujourd’hui, plus de 150 transformations de données sont disponibles prêtes à l'emploi.

Particularité : chaque transformation exécutée ainsi que son résultat sont inscrits dans un journal de bord créant ainsi une sorte de procédure-type sans effort.

Publié sous licence GPL, le code d’Illico est globalement très basique : standards HTML5/CSS3/JS, et zéro dépendance, bibliothèque ou appel à un code tiers. Les données restent dans le (cache du) navigateur.
Les algorithmes sont très simples. La complexité est plutôt liée à la manière d’imaginer de nouvelles transformations de données, à la fois génériques (paramétrables) tout en restant simples pour l’utilisateur (nombre réduit de paramètres).

Sommaire

Quelques limites à connaître

Dans mon usage, des crashs du navigateur ont été constatés sur des grands jeux de données avec les fonctionnalités qui sollicitent le plus grand nombre de comparaisons (précisément le calcul de la distance d’édition / lignes).

Pour un grand volume de données, mon conseil serait d’opter pour Opera/Vivaldi qui proposent à l’utilisateur d’augmenter la mémoire allouée à la page (plutôt que de faire crasher l’onglet/navigateur) ; de réduire le jeu de données aux colonnes/lignes à traiter (ce qui réduirait la taille), avant de se lancer dans les transformations ; ou d’opter pour des outils plus adaptés à cette volumétrie.

Un test sur des données factices m’avait permis d’identifier des tailles limites de jeu de données : https://illico.ti-nuage.fr/doc/build/html/fct/principes.html#jeu-de-donnees-volumineux

 Objet de la dépêche

Cette dépêche fait écho à la précédente de janvier 2021.

Au-delà des corrections de bug et des améliorations (gestion des nombres décimaux et négatifs pour les intervalles, options supplémentaires pour décider l’interprétation de “valeurs” vides), je voulais présenter ici la trentaine de nouvelles fonctionnalités/traitements et les nouveaux tutoriels.

Avant de commencer

Dans Illico, l’expression valeurs en liste désigne

  • des données présentées sous la forme a, b, c (le séparateur peut être un caractère ou une chaîne)
  • des listes de couples de valeurs xxx:1 / yyy:2 / zzz:3 (un séparateur de liste / + un délimiteur {clé => valeur} ici :

Nouveaux tutoriels

La section tutoriels décrit des cas concrets pour lesquels il n’existe pas de résolution « en 1 étape ».
Dans certains cas, une fonctionnalité a été développée pour couvrir tout ou partie de la résolution.

Ces tutoriels sont détaillés pas à pas dans la section “tutoriels” afin d’être utilisés comme support de formation.

Je résume ici leur logique.

Transposer une matrice

Au sens “mathématique” du terme, bascule les lignes en colonnes et vice-versa :

nombre d’étapes/actions du tutoriel : 6

une nouvelle fonctionnalité a été développée par la suite pour transposer les données en 1 clic/étape/action

Comparer (rapidement) des groupes de colonnes

Comparer des groupes de colonnes prises deux à deux était déjà possible. Cependant, avec un grand nombre de colonne, l’opération pouvait s’avérer fastidieuse et source d’erreurs.
Le tutoriel présente une manière plus générique de comparer un grand nombre de colonne de deux fichiers sources avec le même en-tête, par exemple la description d’une même population sur deux années différentes.

nombre d’étapes/actions du tutoriel : (2 par fichier source) + 4

l’intérêt de ce tutoriel réside surtout dans le fait de rendre la complexité du traitement indépendante du nombre (de paires) de colonnes à comparer

Comparer des lignes dans un fichier cumul

On souhaite identifier des différences mais cette fois au sein d’un même fichier de données décrivant un cumul.
Il peut s’agir par exemple de deux jeux de données mis bout-à-bout décrivant une même population sur deux années différentes.

nombre d’étapes/actions du tutoriel : 3

Créer un fichier cumul à partir de deux sources aux formats proches

Le cas a été rencontré lors d’une analyse de journaux comptables où les jeux de données présentaient des rubriques/codes comptables en colonne.
D’un mois sur l’autre, le nombre et l’ordre de ces colonnes/rubriques différaient. Le tutoriel permet de s’affranchir de ces variations de la structure des données.

nombre d’étapes/actions du tutoriel : (4 par fichier source) + 3

Reconstituer des calendriers

Autre cas de figure rencontré, les données décrivent des personnes présentes sur des périodes avec en colonne la date de début, la date de fin, puis les autres données.
À partir de ces données, on recherche les dates/jours exactes qui ont rassemblé le plus de personne.

La résolution consiste à générer l’ensemble des jours (entre la date de début et la date de fin), c’est-à-dire une description des faits à une échelle unitaire/atomique (chaque ligne décrivant alors une date et non une période).

Trois approches sont proposées dans le tutoriel : entre 3 et 6 étapes/actions

Fidélisation (suivre une cohorte)

La problématique soulevée était de comprendre les parcours, trajectoires pour une population donnée.

Exemple simplifié : 4 lignes de données décrivent (dans l’ordre chronologique) les états/statuts successifs d’un individu, à raison d’un par ligne : a -> b -> c -> d.

dans la pratique, le jeu de données décrivait une population d’individu avec des trajectoire de 4 à 50 états, parfois circulaires a -> b -> a -> d -> c

On souhaite identifier :

  1. le parcours par rapport à l’état initial pour l’individu pris en exemple, le résultat sera la relation suivante : a => {b -> c -> d}
  2. les changements d’état (de proche en proche) pour le même exemple, le résultat sera une liste de couple de valeurs : (a => b), (b => c), (c => d)
  3. les relations entre l’état initial et n’importe quel autre état du parcours même exemple, le résultat sera trois couples de valeurs : (a => b), (a => c), (a => d)
  4. les relations entre n’importe quel état du parcours et n’importe quel autre état rencontré par la suite même exemple, le résultat sera six couples :
    • (a => b), (a => c), (a => d)
    • (b => c), (b => d)
    • (c => d)

La fonctionnalité utilisée possède une option “scénario” avec les 4 choix.
Ainsi, on définit « ce que représente les données » en précisant le ou les séparateurs, et la transformation est appliquée selon la demande.

Les 4 scénarios sont proposés dans le tutoriel : 3 étapes/actions (une 4ème étape est nécessaire si on souhaite étudier à part le 1er état et l’état terminal de la trajectoire)

Nouvelles fonctionnalités

La majorité des nouvelles fonctionnalités concerne

  • des traitements de dates (décalage, conversion)
  • des traitements d’intervalles numériques
  • des traitements de périodes (intervalles de dates)

Elles sont présentées ci-dessous dans leur rubrique respective (dans l’ordre d’apparition des rubriques dans Illico et dans la documentation).

(dans l’application, chaque écran permettant d’exécuter une transformation possède un lien vers la section/page concernée dans la documentation)

Valeurs en liste : compacter, inverser l’ordre, filtrer

compacter les listes

rubrique « valeurs en liste : agrégats"

Pour une liste qui présente des répétitions—a,a,b,c,a,d,b—les deux options de cette transformation permettent d’obtenir :

  • a,b,c,a,d,b : réduire à une occurrence, pour chaque série
  • a,b,c,d : conserver globalement les premières occurrences
  • c,a,d,b : conserver globalement les dernières occurrences

inverser l’ordre des éléments des listes

rubrique « valeurs en liste : structure"

Pour une colonne décrivant des listes d’éléments—a:1, b:2—,

  • inverse l’ordre des valeurs des listes (b:2, a:1)
  • inverse l’ordre des valeurs des listes imbriquées seulement (1:a, 2:b)
  • inverse l’ordre des listes imbriquées et des valeurs dans ces listes (2:b, 1:a)

filtrer ou exclure les valeurs d’une liste

rubrique « valeurs en liste : filtres"

compare les listes de valeurs d’une colonne par rapport à une autre colonne de référence

  • égal
  • différent de
  • supérieur/inférieur ou égal à
  • strictement supérieur/inférieur à

réduire la liste à certaines clés

conserver/exclure certains couples {clé:valeur} lorsque la clé existe dans une autre colonne (qui contient pour chaque ligne la liste de clés à conserver ou à exclure)

Par exemple—et sans devoir utiliser des regex/expressions rationnelles—la liste 2021=3,2022=1,2024=4 pourra être réduite à 2022=1,2024=4 si la clé 2021 existe dans la colonne de contrôle.

Valeurs en liste : lister les permutations, mélanger la liste

rubrique valeurs en liste : enrichissement

lister les permutations des valeurs d’une liste

produit la liste de toutes les permutations des valeurs des listes de la colonne sélectionnée.

mélanger les valeurs de la liste

applique le mélange de Fisher-Yates sur les valeurs de la liste

enlever les accents et les cédilles de l’en-tête

rubrique « en-tête"

surtout utile lorsque l’on part d’un tableur et que l’on cherche à injecter les données dans une base de données ne tolérant pas ces caractères dans les en-têtes

Permuter les colonnes

rubrique « colonnes : ordre"

Dans le cas d’un export de données depuis un logiciel métier, ou suite à certaines transformations, certaines colonnes peuvent être générées dans un ordre qui ne s’avère pas très intuitif.

Cette nouvelle fonctionnalité inverse en 1 clic l’ordre des colonnes sélectionnées en permutant (au choix)

  • 1ʳᵉ et 2ᵉ, 3ᵉ et 4ᵉ, etc.
  • 1ʳᵉ et dernière, 2ᵉ et avant-dernière, etc.

Numéroter chaque série

rubrique “lignes”

Dans Illico, le terme série désigne une suite de lignes contiguës qui possèdent la même valeur dans la colonne sélectionnée (un identifiant par exemple).
Si l’identifiant réapparaît plus loin dans les données, il s’agira d’une nouvelle série.

(une autre transformation permet déjà de numéroter chaque ligne de la série)

Obtenir les méta-données des colonnes sélectionnées

rubrique “agrégats”

Pour les colonnes sélectionnées, indique

  • si la colonne ne contient que des valeurs uniques (les valeurs vides sont comptées à part)
  • le nombre de lignes sans valeur (valeur vide)
  • le nombre de valeurs renseignées (valeur non-vide)
  • la cardinalité : nombre de valeurs différentes rencontrées dans la colonne

Décaler les dates

rubrique “temps”

décaler les dates avec 1 constante (saisie par l’utilisateur)

permet de décaler les dates d’une colonne à partir d’une constante (on précise l’unité : nombre de jours, de semaines, de mois ou d’années)

décaler des dates selon 1 autre colonne

idem précédemment mais en se basant sur les valeurs d’une autre colonne plutôt qu’une constante

Jours de la semaine

rubrique “temps”

donner le nom des jours de la semaine

la date est alors recodée : lundi, mardi…

compter chacun des jours de la semaine

nombre de lundis, de mardis, etc. dans l’intervalle décrit par des colonnes début et fin de la période

obtenir le numéro du jour dans l’année

1 pour le 1ᵉʳ janvier, 32 pour le 1ᵉʳ février…

Transformation des périodes « temps : intervalles »

compléter un intervalle de date (2 colonnes : début et fin de la période)

crée une liste de jour/date dans l’intervalle décrit

rechercher une date dans un intervalle de date

compare 1 colonne (date recherchée) par rapport à 2 autres colonnes décrivant une période (début et fin de la période)

combiner deux périodes (4 colonnes)

option (au choix) : obtenir

  • une fusion : période englobant les deux [min, max]
  • une union : période englobant les deux seulement si intersection
  • une intersection : plus petite période commune

comparer les dates et une liste de seuils (saisie par l’utilisateur)

détecter des collisions de périodes

portée de la détection

  • rechercher pour l’ensemble des données
  • rechercher dans les lignes qui partagent un même identifiant (les lignes comparées ne sont pas forcément contiguës)
  • rechercher dans les lignes qui décrivent une série (lignes contiguës avec un même identifiant)

Calculs

rubrique “calculs”

calculer une opération sur 1 colonne : options

options :

  • opérations : minimum, maximum, moyenne, somme
  • valeurs vides : ignorées ou traduites par zéro
  • calcul : total ou cumulé
    • option si cumulé : en partant de la première ou dernière ligne
  • résultat : global ou local
    • option si local : pour chaque série ou pour chaque identifiant

calculer une opération avec 1 constante (saisie par l’utilisateur)

calculer une somme ou une moyenne sur x colonnes

Convertir d’un système de numération à un autre

rubrique “enrichissement”

conversion depuis et vers une base binaire, octale, décimale, hexadécimale

Matrice : transposée, inverser, trier

rubrique “matrice”

calculer la transposée

Transpose le jeu de données : les lignes deviennent les colonnes et inversement ; la ligne d’en-tête devient la première colonne ; la première colonne devient la ligne d’en-tête.

inverser l’ordre des lignes

Inverse l’ordre des lignes du jeu de données : la première ligne devient la dernière, la dernière devient la première, etc.

trier par ordre alphabétique

options

  • ordre des lettres : A…Z…a…z…É…é ou A…É…Z…a…é…z
  • placer les valeurs vides : au début ou à la fin

trier par ordre numérique

option : les valeurs vides sont

  • les plus petites (seront placées au début du tableau)
  • les plus grandes (seront placées à la fin du tableau)
  • égales à zéro

trier par ordre chronologique

option : les valeurs vides sont

  • dans le passé lointain
  • dans un futur lointain
  • égales à la date du jour
  • égales à une date précise (à saisir)

Commentaires : voir le flux Atom ouvrir dans le navigateur

Reçu avant avant-hierLinuxFr.org : les dépêches

Programmer des démonstrations : une modeste invitation aux assistants de preuve

24 février 2025 à 12:07

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.

Sommaire

Vérifier des programmes

Comme nous sommes sur LinuxFr.org, je devrais peut-être commencer par ceci : tous, nous passons énormément de temps à découvrir des bugs, à les comprendre, à les résoudre, et de préférence à les éviter en écrivant des tests.

Dans une formation universitaire de base en informatique, on rencontre des algorithmes, mais aussi des méthodes pour prouver que ces algorithmes terminent et répondent bien au problème posé. Les premières introduites sont typiquement les variants de boucle (montrer qu’une certaine valeur décroît à chaque itération, ce qui assure que le programme termine si elle ne peut pas décroître à l’infini), et les invariants de boucle (montrer qu’une certaine propriété vraie au début d’une boucle est préservée entre deux itérations, ce qui assure qu’elle reste encore vraie à la fin de la boucle).

On a donc, d’une part, un algorithme, implémentable sur machine, d’autre part une preuve, sur papier, que l’algorithme est correct. Mais si l’implémentation a une erreur par rapport à l’algorithme sur papier ? Et puisque nous n’arrêtons pas de nous tromper dans nos programmes, il est fort possible que nous nous trompions dans notre preuve (qui n’a jamais oublié qu’il fallait faire quelque chose de spécial dans le cas n = 0 ?).

En tant que programmeurs, on peut imaginer une approche où non seulement l’algorithme est implémenté, mais sa preuve de terminaison et de correction est aussi « implémentée », c’est-à-dire encodée dans un langage qui ressemble à un langage de programmation, pour être ensuite non pas interprétée ou compilée mais vérifiée.

La vérification est un très vaste domaine de l’informatique, dont je ne suis pas spécialiste du tout, et dans lequel il existe énormément d’approches : la logique de Hoare (voir par exemple l’outil why3), qui est essentiellement un raffinement des variants et invariants de boucle, la logique de séparation spécialement conçue pour raisonner sur la mémoire mutable (voir Iris), le model checking qui se concentre sur des programmes d’une forme particulièrement simple (typiquement des systèmes de transition finis) pour en vérifier des propriétés de façon complètement automatisée, etc.

Dans cette dépêche, je vais parler d’une approche avec quelques caractéristiques particulières :

  • On vérifie des programmes purement fonctionnels (pas d’effets de bord, même si on peut les simuler).

  • Le même langage mélange à la fois les programmes et leurs preuves.

  • Plus précisément, le langage ne fait pas (ou peu) de distinction entre les programmes et les preuves.

Vérifier des démonstrations mathématiques

Pour se convaincre de l’ampleur que les démonstrations ont prise dans les mathématiques contemporaines, il suffit d’aller jeter un œil, par exemple, au projet Stacks : un livre de référence sur la géométrie algébrique, écrit collaborativement sur les 20 dernières années, dont l’intégrale totalise plus de 7500 pages très techniques. Ou bien la démonstration du théorème de classification des groupes finis simples : la combinaison de résultats répartis dans les dizaines de milliers de pages de centaines d’articles, et une preuve « simplifiée » toujours en train d’être écrite et qui devrait faire plus de 5000 pages. Ou bien le théorème de Robertson-Seymour, monument de la théorie des graphes aux nombreuses applications algorithmiques : 20 articles publiés sur 20 ans, 400 pages en tout. Ou bien, tout simplement, le nombre de références dans la bibliographie de la moindre thèse ou d’articles publiés récemment sur arXiv.

Inévitablement, beaucoup de ces démonstrations contiennent des erreurs. Parfois découvertes, parfois beaucoup plus tard. Un exemple assez célèbre est celui d’un théorème, qui aurait été très important s’il avait été vrai, publié en 1989 par Vladimir Voedvodsky, un célèbre mathématicien dont je vais être amené à reparler plus bas, avec Mikhail Kapranov. Comme raconté par Voedvodsky lui-même, un contre-exemple a été proposé par Carlos Simpson en 1998, mais jusqu’en 2013, Voedvodsky lui-même n’était pas sûr duquel était faux entre sa preuve et le contre-exemple !

Il y a aussi, souvent, des « trous », qui ne mettent pas tant en danger la démonstration mais restent gênants : par exemple, « il est clair que la méthode classique de compactification des espaces Lindelöf s’applique aussi aux espaces quasi-Lindelöf », quand l’auteur pense évident qu’un argument existant s’adapte au cas dont il a besoin mais que ce serait trop de travail de le rédiger entièrement. Donc, assez naturellement, un but possible de la formalisation des maths est de produire des démonstrations qui soient certifiées sans erreur (et sans trou).

Mais c’est loin d’être le seul argument. On peut espérer d’autres avantages, qui pour l’instant restent de la science-fiction, mais après tout ce n’est que le début : par exemple, on peut imaginer que des collaborations à grande échelle entre beaucoup de mathématiciens deviennent possibles, grâce au fait qu’il est beaucoup plus facile de réutiliser le travail partiel de quelqu’un d’autre s’il est formalisé que s’il est donné sous formes d’ébauches informelles pas complètement rédigées.

Brouwer-Heyting-Kolmogorov

Parmi les assistants de preuve existants, la plupart (mais pas tous) se fondent sur une famille de systèmes logiques rangés dans la famille des « théories des types ». L’une des raisons pour lesquelles ces systèmes sont assez naturels pour être utilisés en pratique est qu’en théorie des types, les preuves et les programmes deviennent entièrement confondus ou presque, ce qui rend facile le mélange entre les deux.

Mais comment est-ce qu’un programme devient une preuve, au juste ? L’idée de base est appelée interprétation de Brouwer-Heyting-Kolomogorov et veut que les preuves mathématiques se comprennent de la façon suivante :

  • Le moyen de base pour prouver une proposition de la forme « P et Q » est de fournir d’une part une preuve de P et une preuve de Q. En d’autres mots, une preuve de « P et Q » rassemble en un même objet une preuve de P et une preuve de Q. Mais en termes informatiques, ceci signifie qu’une preuve de « P et Q » est une paire d’une preuve de P et d’une preuve de Q.

  • De même, pour prouver « P ou Q », on peut prouver P, ou on peut prouver Q. Informatiquement, une preuve de « P ou Q » va être une union disjointe : une preuve de P ou une preuve de Q, avec un bit pour savoir dans quel cas on est.

  • Pour prouver « Vrai », il suffit de dire « c’est vrai » : on a une unique preuve de « Vrai ».

  • On ne doit pas pouvoir prouver « Faux », donc une preuve de « Faux » n’existe pas.

  • Et le plus intéressant : pour prouver « si P alors Q », on suppose temporairement P et on en déduit Q. Informatiquement, ceci doit devenir une fonction qui prend une preuve de P et renvoie une preuve de Q.

Curry-Howard

L’interprétation de Brouwer-Heyting-Kolmogorov est informelle, et il existe plusieurs manières de la rendre formelle. Par exemple, on peut interpréter tout ceci par des programmes dans un langage complètement non-typé, ce qui s’appelle la réalisabilité.

Mais en théorie des types, on prend plutôt un langage statiquement typé pour suivre l’idée suivante : si une preuve de P et Q est une paire d’une preuve de P et d’une preuve de Q, alors le type des paires de P et Q peut se comprendre comme le type des preuves de « P et Q ». On peut faire de même avec les autres types de preuves, et ceci s’appelle la correspondance de Curry-Howard. Autrement dit, là où Brouwer-Heyting-Kolmogorov est une correspondance entre les preuves et les programmes, Curry-Howard est un raffinement qui met aussi en correspondance les propositions logiques avec les types du langage, et la vérification des preuves se confond entièrement avec le type checking.

Sur les cas que j’ai donnés, la correspondance de Curry-Howard donne :

  • La proposition « P et Q » est le type des paires d’un élément de P et d’un élément de Q,

  • La proposition « P ou Q » est le type somme de P et Q (comme Either en Haskell et OCaml, les tagged unions en C, et std::variant en C++ : l’un ou l’autre, avec un booléen pour savoir lequel),

  • La proposition « Vrai » est le type trivial à une seule valeur (comme () en Haskell et Rust, unit en OCaml),

  • La proposition « Faux » est le type vide qui n’a aucune valeur (comme ! en Rust),

  • La proposition « si P alors Q » est le type des fonctions qui prennent un argument de type P et renvoient une valeur de type Q.

Quantificateurs et types dépendants

La version de Curry-Howard que j’ai esquissée donne une logique dite « propositionnelle » : il n’y a que des propositions, avec des connecteurs entre elles. Mais en maths, on ne parle évidemment pas que des propositions. On parle de nombres, de structures algébriques, d’espaces topologiques, …, bref, d’objets mathématiques, et des propriétés de ces objets. Les deux types principaux de propositions qui manquent sont ce qu’on appelle les quantificateurs : « Pour tout x, … » et « Il existe x tel que… ». Ici, ce qui est une évidence en logique devient moins évident, mais très intéressant, du côté des programmes.

Prenons pour l’exemple le théorème des deux carrés de Fermat, qui énonce (dans l’une de ses variantes) qu’un nombre premier impair est de la forme 4n+1 si et seulement s’il peut s’écrire comme somme de deux carrés parfaits. À quoi doit ressembler le type associé à cette proposition ? Par analogie avec les implications, on a envie de dire que cela devrait être une fonction, qui prend un nombre premier impair p, et renvoie une preuve de l’équivalence. Problème : ce qui est à droite de l’équivalence est une proposition paramétrée par p. Autrement dit, en notant P le type des nombres premiers impairs, on ne veut plus un simple type fonction P → E, mais un type fonction où le type de retour peut dépendre de la valeur passée à la fonction, noté par exemple (p : P) → E(p). Ces types qui dépendent de valeurs sont appelés types dépendants.

Dans les langages de programmation populaires, il est rare de trouver des types dépendants. Mais on en retrouve une forme faible en C avec les tableaux de longueur variable (VLA pour « variable-length arrays ») : on peut écrire

… f(int n) {
  int array[n];
  …
}

qui déclare un tableau dont la taille n est une expression. Néanmoins, en C, même si on dispose de ce type tableau qui est en quelque sorte dépendant, on ne peut pas écrire une fonction « int[n] f(int n) » qui renvoie un tableau dont la longueur est passée en paramètre. Plus récemment, en Rust, il existe les const generics, où des valeurs se retrouvent dans les types et où on peut écrire fn f<const n: usize>() -> [u8; n], ce qui est un vrai type dépendant, mais cette fois avec la restriction assez sévère que toutes ces valeurs peuvent être calculées entièrement à la compilation, ce qui à cause de la façon dont fonctionne ce type de calcul en Rust empêche par exemple les allocations mémoire. (Donc l’implémentation est assez différente, elle efface ces valeurs en « monomorphisant » tous les endroits où elles apparaissent.)

En théorie des types, le langage est (normalement) purement fonctionnel, donc les problèmes d’effets de bord dans les valeurs à l’intérieur des types dépendants ne se pose pas. Le type checking peut déclencher des calculs arbitrairement complexes pour calculer les valeurs qui se trouvent dans les types.

Et le « il existe », au fait, à quoi correspond-il ? Cette fois, ce n’est plus une fonction dépendante mais une paire dépendante : une preuve de « Il existe x tel que E(x) » est une paire d’une valeur x et d’une preuve de E(x). La différence avec une paire normale est que le type du deuxième élément peut dépendre de la valeur du premier élément.

Comme on peut commencer à s’en douter, le fait d’avoir des types dépendants est utile pour prouver des affirmations mathématiques, mais aussi, bien qu’il puisse sembler inhabituel, pour prouver des programmes, et plus précisément pour encoder des propriétés des valeurs dans les types. Là où on aurait dans un langage moins expressif une fonction qui renvoie deux listes, avec une remarque dans la documentation qu’elles sont toujours de même taille, dans un langage avec des types dépendants, on peut renvoyer un triplet d’un entier n, d’une liste dont le type indique qu’elle est de taille n, et une deuxième liste elle aussi de taille n. Et là où on aurait un deuxieme_liste[indice_venant_de_la_premiere] avec un commentaire que cela ne peut pas produire d’erreur, car les deux listes sont de même taille, on a un programme qui utilise la garantie que les deux listes sont de même taille, et le typage garantit statiquement que cette opération t[i] ne produira pas d’erreur.

Logique intuitionniste

Reprenons l’exemple du théorème des deux carrés de Fermat. Nous pouvons maintenant traduire cette proposition en un type : celui des fonctions qui prennent un nombre premier impair p et renvoient une paire de :

  • Une fonction qui prend n tel que p = 4n+1 et renvoie deux entiers a, b accompagnés d’une preuve que a^2 + b^2 = p,

  • Réciproquement, une fonction qui prend a, b et une preuve de a^2 + b^2 = p, et renvoie n tel que p = 4n+1.

Prouver le théorème des deux carrés de Fermat en théorie des types, c’est donner un élément (on dit plutôt « habitant ») de ce type, soit un programme dont le langage peut vérifier qu’il a ce type. Mais que fait au juste ce programme quand on l’exécute ? On voit qu’il permet notamment de calculer une décomposition d’un nombre premier impair congru à 1 modulo 4 comme somme de deux carrés.

Là, c’est le côté « programmes » qui apporte un élément moins habituel du côté « preuves » : l’exécution d’un programme va correspondre à un processus de simplification des preuves. Notamment, si on a une preuve de « si P alors Q » et une preuve de P, on peut prendre la preuve de P et remplacer chaque utilisation de l’hypothèse P dans la preuve de « si P alors Q », pour obtenir une preuve de Q qui peut contenir de multiples copies d’une même preuve de P. Cette opération de simplification du côté logique correspond naturellement au fait que la manière en théorie des types de prouver Q à partir d’une preuve f de P ⇒ Q et d’une preuve x de P est tout simplement d’écrire f(x), et que calculer f(x), informatiquement, se fait bien en remplaçant le paramètre de f à tous les endroits où il apparaît par la valeur x et à simplifier le résultat. On dit que la logique de Curry-Howard est constructive, parce qu’elle se prête à une interprétation algorithmique.

Mais ceci peut sembler gênant. Par exemple, il est trivial en maths « normales » de prouver que tout programme termine ou ne termine pas. Mais par Curry-Howard, une preuve que tout programme termine ou ne termine pas doit être une fonction qui prend un programme, et qui renvoie soit une preuve qu’il termine, soit une preuve qu’il ne termine pas. Autrement dit, si cette proposition censément triviale était prouvable dans Curry-Howard, on aurait un algorithme pour résoudre le problème de l’arrêt, ce qui est bien connu pour être impossible.

L’explication à cette différence tient au fait que la preuve « triviale » de cette proposition utilise une règle de déduction qui a un statut un peu à part en logique, dite règle du tiers exclu : pour n’importe quelle proposition P, sans aucune hypothèse, on peut déduire « P ou (non P) » (autrement dit, que P est vraie ou fausse). Or cette règle n’admet pas d’interprétation évidente par Curry-Howard : le tiers exclu devrait prendre une proposition P et renvoyer soit une preuve de P, soit une preuve que P est fausse (ce qui s’encode par « si P alors Faux »), autrement dit, le tiers exclu devrait être un oracle omniscient capable de vous dire si une proposition arbitraire est vraie ou fausse, et ceci est bien évidemment impossible.

(Cela dit, si vous voulez vous faire mal à la tête, apprenez que c’est l’opérateur call/cc et pourquoi l’ajouter permet de prouver le tiers exclu. Exercice : call/cc existe dans de vrais langages, comme Scheme, pourtant on vient de voir que le tiers exclu semble nécessiter un oracle omniscient, comment expliquer cela ?)

Pour être précis, la logique sans le tiers exclu est dite intuitionniste (le terme constructive étant un peu flou, alors que celui-ci est précis). On peut faire des maths en restant entièrement en logique intuitionniste, et même si ce n’est pas le cas de l’écrasante majorité des maths, il existe tout de même un certain nombre de chercheurs qui le font, et ceci peut avoir divers intérêts. Il y a notamment l’interprétation algorithmique des théorèmes, mais aussi, de manière beaucoup plus avancée, le fait que certaines structures mathématiques (topos, ∞-topos et consorts) peuvent s’interpréter comme des sortes d’univers mathématiques alternatifs régis par les règles de la logique intuitionniste (techniquement, des « modèles » de cette logique), et que parfois il est plus simple de prouver un théorème en le traduisant à l’intérieur de l’univers et en prouvant cette version traduite de manière intuitionniste.

Pour pouvoir malgré tout raisonner en théorie des types de manière classique (par opposition à intuitionniste), il suffit de postuler le tiers exclu comme axiome. Du point de vue des programmes, cela revient à rajouter une constante qui est supposée avoir un certain type mais qui n’a pas de définition (cela peut donc rendre les programmes impossibles à exécuter, ce qui est normal pour le tiers exclu).

Quelques exemples

Si vous aviez décroché, c’est le moment de reprendre. Parlons un peu des assistants de preuve qui existent. Les plus connus sont :

  • Rocq, anciennement nommé Coq, développé à l’Inria depuis 1989, écrit en OCaml, sous licence LGPL 2.1. Il est assez lié à l’histoire de la théorie des types, car il a été créé par Thierry Coquand comme première implémentation du calcul des constructions, une théorie des types inventée par Coquand et devenue l’une des principales existantes. (Oui, Coq a été renommé en Rocq à cause de l’homophonie en anglais entre « Coq » et « cock ». J’apprécierais que les commentaires ne se transforment pas en flame war sur ce sujet très peu intéressant, merci.)

  • Lean, créé par Leonardo de Moura et développé depuis 2013 chez Microsoft Research, écrit en C++, placé sous licence Apache 2.0.

  • Agda, créé par Ulf Norrell en 1999, écrit en Haskell et sous licence BSD 1-clause.

  • D’autres que je connais moins, notamment Isabelle et F* (liste sur Wikipédia).

Pour illustrer comment peuvent fonctionner les choses en pratique, voici un exemple très simple de code en Agda :

open import Agda.Primitive using (Level)
open import Data.Product using (_×_; _,_)

swap : {ℓ₁ ℓ₂ : Level}  {P : Set ℓ₁} {Q : Set ℓ₂}  P × Q  Q × P
swap (p , q) = (q , p)

Vue comme un programme, cette fonction swap inverse simplement les deux éléments d’une paire. Vue comme une preuve, elle montre que pour toutes propositions P et Q, si P et Q, alors Q et P. Comme le veut Curry-Howard, les deux ne sont pas distingués. Les types P et Q sont eux-mêmes dans des types \mathsf{Set}_\ell avec un « niveau » \ell, ceci parce que, pour des raisons logiques, il serait incohérent que le type des types soit de son propre type, donc on a un premier type de types \mathsf{Set}_0, qui est lui-même de type \mathsf{Set}_1, et ainsi de suite avec une hiérarchie infinie de niveaux appelés univers. À un niveau plus superficiel, on remarquera qu’Agda a une syntaxe qui ressemble fort à Haskell (et utilise intensivement Unicode).

Voilà la même chose en Rocq :

Definition swap {P Q : Prop} : P /\ Q -> Q /\ P :=
  fun H => match H with conj p q => conj q p end.

La syntaxe est assez différente et ressemble plutôt à OCaml (normal, vu que Rocq est écrit en OCaml et Agda en Haskell). Mais à un niveau plus profond, on voit apparaître un type Prop dont le nom évoque furieusement les propositions. Or j’avais promis que les propositions seraient confondues avec les types, donc pourquoi a-t-on un type spécial pour les propositions ?

En réalité, pour diverses raisons, il peut être intéressant de briser l’analogie d’origine de Curry-Howard et de séparer les propositions et les autres types en deux mondes qui se comportent de façon extrêmement similaire mais restent néanmoins distincts. Notamment, un principe qu’on applique sans réfléchir en maths est que si deux propositions sont équivalentes, alors elles sont égales (extensionnalité propositionnelle), mais on ne veut clairement pas ceci pour tous les types (on peut donner des fonctions bool -> int et int -> bool, pourtant on ne veut certainement pas bool = int), donc séparer les propositions des autres permet d’ajouter l’extensionnalité propositionnelle comme axiome. (Mais il y a aussi des différences comme l'imprédicativité dans lesquelles je ne vais pas rentrer.)

Et voici encore le même code, cette fois en Lean :

def swap {P Q : Prop} : P  Q  Q  P :=
  fun p, q => q, p

À part les différences de syntaxe, c’est très similaire à Rocq, parce que Lean a aussi une séparation entre les propositions et les autres types.

Cependant, en Rocq et Lean, on peut aussi prouver la même proposition de façon différente :

Lemma swap {P Q : Prop} : P /\ Q -> Q /\ P.
Proof.
  intros H. destruct H as [p q]. split.
  - apply q.
  - apply p.
Qed.

et

def swap {P Q : Prop} : P  Q  Q  P := by
  intro h
  have p := h.left
  have q := h.right
  exact q, p

Avec Proof. ou by, on entre dans un mode où les preuves ne sont plus écrites à la main comme programmes, mais avec des tactiques, qui génèrent des programmes. Il existe toutes sortes de tactiques, pour appliquer des théorèmes existants, raisonner par récurrence, résoudre des inégalités, ou même effectuer de la recherche automatique de démonstration, ce qui s’avère extrêmement utile pour simplifier les preuves.

Ce mode « tactiques » permet aussi d’écrire la preuve de façon incrémentale, en faisant un point d’étape après chaque tactique pour voir ce qui est prouvé et ce qui reste à prouver. Voici par exemple ce qu’affiche Rocq après le destruct et avant le split :

  P, Q : Prop
  p : P
  q : Q
  ============================
  Q /\ P

Cette notation signifie que le contexte ambiant contient les variables P et Q de type Prop ainsi que p une preuve de P (donc un élément du type P) et q une preuve de Q. Le Q /\ P en dessous de la barre horizontale est le but à prouver, c’est-à-dire le type dont on cherche à construire un élément.

Agda fonctionne assez différemment : il n’y a pas de tactiques, mais il existe néanmoins un système de méta-programmation qui sert à faire de la recherche de preuves (donc contrairement à Rocq et Lean, on n’écrit pas la majeure partie des preuves avec des tactiques, mais on peut se servir d’un équivalent quand c’est utile). Pour écrire les preuves incrémentalement, on met ? dans le programme quand on veut ouvrir une sous-preuve, et Agda va faire le type-checking de tout le reste et donner le contexte à l’endroit du ?.

Quelques succès de la formalisation

En 2025, la formalisation reste très fastidieuse, mais elle a déjà eu plusieurs grands succès :

Actuellement, Lean a réussi à attirer une communauté de mathématiciens qui développent mathlib (1,1 million de lignes de code Lean au moment où j’écris), une bibliothèque de définitions et théorèmes mathématiques qui vise à être la plus unifiée possible.

Les équivalents dans d’autres assistants de preuve se développent même s’ils ne sont pas (encore) aussi gros : citons mathcomp, unimath, agda-unimath entre autres.

Un autre grand succès, dans le domaine de la vérification cette fois, est CompCert (malheureusement non-libre), qui est un compilateur C entièrement écrit en Rocq et vérifié par rapport à une spécification du C également encodée en Rocq.

La recherche en théorie des types

La théorie des types est un domaine de recherche à part entière, qui vise à étudier du point de vue logique les théories des types existantes, et à en développer de nouvelles pour des raisons à la fois théoriques et pratiques.

Historiquement, une grande question de la théorie des types est celle de comprendre à quel type doivent correspondre les propositions d’égalité. Par exemple, on veut que deux propositions équivalentes soient égales, et que deux fonctions qui prennent les mêmes valeurs soient égales, et éventuellement pour diverses raisons que deux preuves de la même proposition soient égales, mais s’il est facile d’ajouter toutes ces choses comme axiomes, il est très compliqué de les rendre prouvables sans obtenir, comme avec le tiers exclu, des programmes qui ne peuvent pas s’exécuter à cause des axiomes qui sont déclarés sans définition.

Vladimir Voedvodsky a fait une contribution majeure en proposant un nouvel axiome, appelé univalence, qui dit très sommairement que si deux types ont la même structure (on peut donner une « équivalence » entre les deux), alors ils sont en fait égaux (résumé simpliste à ne pas prendre au mot). Cet axiome est très pratique pour faire des maths parce qu’on travaille souvent avec des objets qui ont la même structure (on dit qu’ils sont isomorphes), et qui doivent donc avoir les mêmes propriétés, et cet axiome permet de les identifier (même s’il a aussi des conséquences qui peuvent paraître choquantes). Sa proposition a donné naissance à une branche appelée théorie homotopique des types, qui explore les maths avec univalence. Le prix à payer est que les types ne se comprennent plus comme de simples ensembles de valeurs (ou de preuves d’une proposition), mais comme des espaces géométriques munis de toute une structure complexe (techniquement, les égalités sont des chemins entre points, et il y a des égalités non-triviales, des égalités entre égalités, etc.), et la compréhension de ces espaces-types est fondée sur la théorie de l’homotopie. Il y a bien d’autres théories des types, avec univalence ou non : théorie cubique des types, théorie des types observationnelle, etc.

Conclusion

J’espère avoir communiqué un peu de mon enthousiasme pour le domaine (dans lequel je suis probablement parti pour démarrer une thèse). Si vous voulez apprendre un assistant de preuve, une ressource assez abordable est la série Software Foundations avec Rocq. Il existe également Theorem proving in Lean 4 et divers tutoriels Agda. Vous pouvez aussi essayer ces assistants de preuve directement dans votre navigateur : Rocq, Lean ou Agda. Et bien sûr les installer et jouer avec : Rocq, Lean, Agda.

Commentaires : voir le flux Atom ouvrir dans le navigateur

Agenda du Libre pour la semaine 9 de l’année 2025

23 février 2025 à 15:06

Calendrier Web, regroupant des événements liés au Libre (logiciel, salon, atelier, install party, conférence), annoncés par leurs organisateurs. Voici un récapitulatif de la semaine à venir. Le détail de chacun de ces 37 événements (France: 34, internet: 3) est en seconde partie de dépêche.

Sommaire

[FR Montpellier] Émission | Radio FM-Plus | Temps Libre | Diffusion – Le lundi 24 février 2025 de 09h00 à 10h00.

Montpel'libre réalise une série d’émissions régulières à la Radio FM-Plus intitulées « Temps Libre ». Ces émissions sont la présentation hebdomadaire des activités de Montpel’libre.

Après le jingle où l’on présente brièvement Montpel'libre, nous donnerons un coup de projecteur sur les activités qui seront proposées prochainement.

Ces émissions seront l’occasion pour les auditeurs de découvrir plus en détails les logiciels libres et de se tenir informés des dernières actualités sur le sujet.

Alors, que vous soyez débutant ou expert en informatique, que vous ayez des connaissances avancées du logiciel libre ou que vous souhaitiez simplement en savoir plus, Montpel'libre, au travers de cette émission, se fera un plaisir pour répondre à vos attentes et vous accompagner dans votre découverte des logiciels libres, de la culture libre et des communs numériques.

Vous vous demandez peut-être ce qu’est un logiciel libre. Il s’agit simplement d’un logiciel dont l’utilisation, la modification et la diffusion sont autorisées par une licence qui garantit les libertés fondamentales des utilisateurs. Ces libertés incluent la possibilité d’exécuter, d’étudier, de copier, d’améliorer et de redistribuer le logiciel selon vos besoins.

Inscription | GPS 43.60524/3.87336

Fiche activité:
https://montpellibre.fr/fiches_activites/Fiche_A5_017_Emission_Radio_Montpellibre_2024.pdf

[internet] Mapathon 2024-2025 par CartONG – Le lundi 24 février 2025 de 18h00 à 20h00.

Vous voulez vous engager pour une cause, rencontrer de nouvelles personnes et découvrir la cartographie participative et humanitaire? CartONG vous invite à participer à un ou plusieurs mapathons en ligne! 🗺️​💻​

Venez cartographier les régions encore absentes des cartes pour soutenir les organisations humanitaires et de solidarité internationale qui ont besoin de cartes précises et à jour pour agir plus efficacement en cas de crise ou initier des projets de développement local.

Les ateliers de cartographie sont organisés dans le cadre du projet Missing Maps, qui a pour objectif de cartographier de façon préventive les régions vulnérables aux catastrophes naturelles, crises sanitaires, environnementales, aux conflits et à la pauvreté. On peut penser qu’aujourd’hui toutes les parties du monde sont cartographiées, mais en réalité de nombreuses régions ne possèdent encore aucune carte!

🤔​ Pour qui? Pas besoin d’être un·e expert·e, les ateliers sont accessibles à tout le monde!

📌​ Où ? 100% en ligne! Un lien de connexion vous sera envoyé après votre inscription

🖱️​ Comment? Avec la plateforme de cartographie libre et contributive OpenStreetMap (OSM, le «Wikipédia des cartes») tout le monde peut participer à la cartographie de n’importe quelle zone de la planète: il suffit d’un ordinateur, d’une souris et d’une connexion internet! Accessibles à tout·es, nous serons là pour vous accompagner pour vos premiers pas avec OSM.

Le programme des mapathons

18h00: Introduction, présentation de la cartographie collaborative et solidaire et démonstration OSM pour les nouveaux·elles

18h30: On cartographie tous ensemble sur un projet

20h00: Fin du mapathon, conclusion sur les contributions de la soirée

Pour s’inscrire c’est par ici

Si vous avez besoin de plus d’info, vous pouvez nous contacter directement à l’adresse suivante: missingmaps@cartong.org

[FR Saint-Étienne] OpenStreetMap, rencontre Saint-Étienne et sud Loire – Le lundi 24 février 2025 de 19h00 à 21h00.

Depuis la rentrée 2023, les temps de rencontre autour d’OpenStreetMap sont relancés.

L’occasion de se rencontrer (ou de se retrouver), d’échanger sur OpenStreetMap et de lancer des projets en commun.

[internet] Émission «Libre à vous!» – Le mardi 25 février 2025 de 15h30 à 17h00.

L’émission Libre à vous! de l’April est diffusée chaque mardi de 15 h 30 à 17 h sur radio Cause Commune sur la bande FM en région parisienne (93.1) et sur le site web de la radio.

Le podcast de l’émission, les podcasts par sujets traités et les références citées sont disponibles dès que possible sur le site consacré à l’émission, quelques jours après l’émission en général.

Les ambitions de l’émission Libre à vous!

Découvrez les enjeux et l’actualité du logiciel libre, des musiques sous licences libres, et prenez le contrôle de vos libertés informatiques.

Donner à chacun et chacune, de manière simple et accessible, les clefs pour comprendre les enjeux mais aussi proposer des moyens d’action, tels sont les objectifs de cette émission hebdomadaire.

L’émission dispose:

[FR Vallauris – Sophia Antipolis] Rencontre Accès Libre – Le mardi 25 février 2025 de 18h00 à 21h00.

Rencontres Accès Libre

Certains les appellent «install party», d’autres encore «Soirées Linux», mais les Rencontres Accès Libre sont tout cela en même temps, et bien plus encore…

Entre autres, c’est l’occasion de:

  • discuter, échanger, expliquer;
  • installer des logiciels libres;
  • et, toute autre idée coopérative de solidarité à but non lucratif!

C’est un évènement organisé conjointement par Linux Azur et le SHL.

[FR Pau] Assemblée générale de l’association PauLLA – Le mardi 25 février 2025 de 19h00 à 22h00.

L’association PauLLA organise son assemblée générale annuelle le mardi 25 février 2025 à Pau.

Si vous voulez découvrir l’association, rencontrer ses membres et échanger avec le bureau, c’est le meilleur moment de l’année. Rejoignez-nous pour promouvoir le logiciel libre à Pau et dans les environs.

Toutes les infos sont sur cette page: https://www.paulla.asso.fr/Evenements/assemblee-generale-paulla-2025

Au plaisir de vous rencontrer !

[FR Lille] Permanence associative autour du Libre – Le mardi 25 février 2025 de 20h00 à 22h00.

Vous avez décidé de reprendre en main votre vie numérique? Venez nous rencontrer le dernier mardi de chaque mois au Café Citoyen à Lille!

La permanence associative autour du Libre est une manifestation conviviale, ouverte à toutes et tous, organisée le dernier mardi (ou jeudi) de chaque mois par les collectifs de Chtinux (Raoull, Deuxfleurs, Mycélium, CLX, Cliss XXI…).

Rejoignez-nous pour y discuter joyeusement de Logiciel Libre, de Culture Libre, de données ouvertes (open data), de bidouille sous Linux, ou proposer vos idées d’évènements.

C’est aussi l’occasion d’obtenir un coup de main si vous rencontrez une difficulté sous Linux, ou si vous avez besoin de conseils pour migrer sur du Logiciel Libre.

Si vous venez avec votre ordinateur pour obtenir de l’aide technique, pour permettre à l’équipe bénévole de s’organiser, prévenez-nous via un courrier électronique à l’adresse: chtinux-diffusion CHEZ deuxfleurs POINT fr.

Le Café Citoyen est accessible en métro (station République – Beaux Arts). Une connexion Internet y est disponible, des prises électriques, de la place… Au bar, vous trouverez aussi de bonnes boissons avec et sans alcool, ainsi que de la petite restauration (notamment fromage ou tartines véganes).

Pour soutenir le Café Citoyen, nous vous demandons d’y acheter au minimum une consommation. Après avoir pris votre boisson ou votre en-cas au bar, vous pouvez nous rejoindre directement au deuxième étage.

Au plaisir de vous retrouver!

[internet] Permanence numérique (visio) – Le mardi 25 février 2025 de 20h00 à 21h30.

L’association Ailes-52 tient sa permanence numérique tous les mardis à 20h.

Pour les adhérents ou visiteurs curieux, qui souhaitent:

  • trouver des réponses à vos questions concernant les logiciels libres?
  • utiliser et découvrir des logiciels libres et respectueux de la vie privée?
  • gagner en autonomie numérique, à votre rythme avec des outils libres?

Alors venez nous rencontrer et discuter lors de cette permanence.

  • rendez-vous est donné aux participants à 20h à l’adresse: https://visio.chapril.org/ailes52-permanence-web

  • Un temps d’accueil et de présentation sera consacré aux participants, à l’identification des thématiques que chacun souhaite aborder, au temps à y consacrer et aux éventuels groupes de travail à constituer

  • ~ 20h30 à 21h30: séance de travail sur les thématiques identifiées avec échanges sur la fin d’atelier

La séance de travail se terminera au maximum à 21h30, le salon restera disponible pour des échanges éventuels entre les participants sans les animateurs.

Ailes-52 est une association loi 1901 reconnue d’intérêt général.

L’atelier est animé par des bénévoles de l’association.

[FR Le Mans] Permanence du mercredi – Le mercredi 26 février 2025 de 12h30 à 17h00.

Assistance technique et démonstration concernant les logiciels libres.

Il est préférable de réserver votre place à contact (at) linuxmaine (point) org

Planning des réservations consultableici.

[FR Le Blanc] Ateliers “Libres” – Le mercredi 26 février 2025 de 14h00 à 14h00.

Échanger sur Linux et les Logiciels Libres,
Acheter un ordinateur reconditionné,
Gérer mes contacts sur mon ordiphone et mon PC,
Installer/configurer un logiciel libre sous Linux,
Configurer une imprimante/scanner,
Essayer une distribution Linux,
Installer GNU/Linux sur mon ordi c’est possible ?

[FR Le Blanc] Ateliers “Libres” de Linux au Blanc – Le mercredi 26 février 2025 de 14h00 à 17h00.

[FR Pessac] Cours gratuit d’Espéranto, langue Libre – Le mercredi 26 février 2025 de 17h30 à 19h00.

Cours d’espéranto tous les mercredis de 17h30 à 19h,

Université Bordeaux Montaigne,
Esplanade des Antilles,
Domaine Universitaire
33600 Pessac

Les cours sont animés par Elvezio & Jean-Seb. Ils sont totalement gratuits et sans droits d’inscription à la fac, 100% gratuits.

Veuillez contacter le 06 72 17 22 97 avant votre venue afin de connaître la salle ou pour plus d’informations.

[FR Vandœuvre-lès-Nancy] Réunion OpenStreetMap – Le mercredi 26 février 2025 de 18h00 à 20h00.

Le groupe local Nancy de l’association OpenStreetMap France vous propose de participer aux réunions mensuelles ouvertes à tou·te·s !

Avec OpenStreetMap, participez à la construction d’une carte en ligne libre et gratuite, partagée avec le monde entier!

Participation aux ateliers

Le lieu la Fabrique des possibles nous est librement accessible lors de nos réunions.

Si vous souhaitez participer à distance, cela est possible depuis ce lien. Toutefois merci de nous en avertir pour que nous nous organisions en nous équipant et installant le matériel nécessaire.

[FR Beauvais] Sensibilisation et partage autour du Libre – Le mercredi 26 février 2025 de 18h00 à 20h00.

Chaque mercredi soir, l’association propose une rencontre pour partager des connaissances, des savoir-faire, des questions autour de l’utilisation des logiciels libres, que ce soit à propos du système d’exploitation Linux, des applications libres ou des services en ligne libres.

C’est l’occasion aussi de mettre en avant l’action des associations fédératrices telles que l’April ou Framasoft, dont nous sommes adhérents et dont nous soutenons les initiatives avec grande reconnaissance.

[FR Simandre] Causerie numérique – Le mercredi 26 février 2025 de 18h00 à 20h00.

Nous poursuivons ces rencontres et vous proposons d’échanger
autour de nos outils numériques quotidiens et des alternatives possibles.

[FR Parempuyre] Participez au prochain ĞBlabla – Le mercredi 26 février 2025 de 18h30 à 22h30.

Participez au prochain Ĝblabla à Parempuyre (33)

🥁 Dans le (joli) cadre des rencontres mensuelles du ĞBlabla en Gironde, donnons-nous cette fois rendez-vous à Parempuyre (33), le 26 février 2025 à partir de 18:30 et jusqu’à 22:00/22:30, pour des questions/réponses sur la Monnaie Libre Ğ1 et sur la Monnaie Locale la Gemme, pour des découvertes de Cesium, des certifications… et bien sûr, pour manger et boire ce que nous apporterons !

L’adresse exacte vous sera donnée lors de votre inscription – alors vous savez ce qu’il vous reste à faire 😀 À bientôt !

[FR Saint Laurent du Pont] Permanence Rézine Chartreuse – Le mercredi 26 février 2025 de 19h00 à 20h00.

Rézine est un fournisseur d’accès à Internet qui défend une vision politique des technologies et des réseaux. Pour cela, Rézine met notamment en œuvre un accès Internet local, à prix juste, respectant la neutralité du Net, piloté par ses usagères et usagers, dans une démarche émancipatrice.

Nous fournissons Internet via la fibre, via wifi (radio) et proposons également des VPN.

Par ailleurs, fournir une critique du numérique, et en particulier des réseaux, est une activité inhérente à notre activité de fournisseur d’accès à Internet, que nous avons affirmée dans l’objet de la structure. Nous inscrivons notre démarche dans une tradition d’éducation populaire, qui vise à contribuer à l’émancipation des personnes, dans leur rapport aux technologies et aux réseaux, quel que soit leur niveau de connaissance.

Venez nous rencontrer pour discuter, devenir membre, poser vos questions sur la fibre, sur Internet, ou juste par curiosité!

[FR Montpellier] Permanence | OpenStreetMap | HérOSM (hybride) – Le mercredi 26 février 2025 de 19h00 à 22h00.

Ces rencontres mensuelles se veulent être des instants conviviaux pour faire un compte-rendu des activités du mois précédent, mais aussi pour présenter les opérations et rendez-vous à venir que proposent les groupes HérOSM. Naturellement, elles sont également ouvertes à tout public, en présence et à distance.

Si vous avez des propositions n’hésitez pas à compléter la page dédiée.

Programme:

  • Contribution sur les points d’eau incendie de l’Hérault;
  • Poursuite du Mapathon humanitaire au Nigeria et au Togo:
  • Cartographie «Au fil de l’eau» à Gusau (Capitale de l’État de Zamfara, au Nigeria)
  • Cartographie du canton de Barkoissi (Région des Savanes au Togo)
  • Cartographie du village de Konohoué (Région des Plateaux au Togo)
  • Cartographie du village de Djeregou (Région de la Kara au Togo)

Déroulement de la rencontre
Nous vous présenterons les projets en cours, nous vous proposerons de contribuer, faire de la production de données.
Comme d’habitude, chacun amène ce qu’il veut à manger et à boire pour un repas partagé.
N’oubliez pas vos ordinateurs portables pour la séance de saisie!

Tramway lignes 1 et 3, arrêts Port-Marianne et Rives du Lez
GPS Latitude: 43.603095 | Longitude: 3.898166
Carte OpenStreetMap

[FR Joué-lès-Tours] Atelier du Libre – Le jeudi 27 février 2025 de 13h30 à 16h00.

Programmation des Ateliers du Libre 2025

De janvier à mai 2025, Résoudre vous propose 6 ateliers numériques de 3 séances pour découvrir les logiciels libres (gratuits).

Télécharger l’affiche ici!

TRAITEMENT DE TEXTE

TABLEAU DE CALCUL

DIAPORAMA

TRAITEMENT VIDEO

RETOUCHE PHOTO

MIXAGE AUDIO

OUVERT TOUT PUBLIC, Inscrivez-vous à l’accueil.

Participation sous forme d’adhésion 10 € par atelier de 3 séances.

Télécharger ici la programmation «Ateliers du Libre 2025»

[FR Sète] Permanence | GNU/Linux et Logiciels Libres – Le jeudi 27 février 2025 de 18h00 à 20h00.

Dans le cadre des JPO, La Palanquée en fête.

Venez découvrir Linux et vous faire aider pour l’installer et à la prise en main, dans différents lieux, dans et à proximité de la métropole montpelliéraine

L’équipe de Montpel’libre vous propose une permanence Logiciels Libres : discussions libres et accompagnements techniques aux systèmes d’exploitation libres pour vous aider à vous familiariser avec votre système GNU/Linux au quotidien.

Le contenu de l’atelier s’adapte aux problèmes et aux questionnements des personnes présentes avec leur(s) ordinateur(s), qu’il soit fixe ou portable, et permet ainsi l’acquisition de nouvelles compétences nécessaires à une autonomie numérique certaine, au rythme de chacun.

Les thèmes :
Vous pourrez y aborder plusieurs thèmes (liste non exhaustive) :

  • discussions conviviales entre utilisateurs autour de Linux en général ;
  • pré-inscription aux prochains Cafés Numériques et Linux-Party ;
  • premières explorations du système ;
  • installations et configurations complémentaires ;
  • mise à jour et installation de nouveaux logiciels ;
  • prise en main, découverte et approfondissement du système

Les permanences techniques ont lieu une fois par semaine, dans un lieu et à des jours et heures différents.

Entrée libre et gratuite sur inscription. Une simple adhésion à l’association est possible. Rejoindre le groupe Montpel’libre sur Telegram S’inscrire à la Newsletter de Montpel’libre.

Sur inscription | GPS 43.405195/3.695778

Fiche activité: https://montpellibre.fr/fiches_activites/Fiche_A5_002_Permanence_GNU-Linux_Montpellibre_2024.pdf

[FR Toulouse] Repas du Libre – Le jeudi 27 février 2025 de 20h30 à 23h00.

Le groupe d’utilisateurs de logiciels libres de Toulouse Toulibre en collaboration avec Tetaneutral.net fournisseur d’accès internet et hébergeur libre proposent aux sympathisants de se retrouver l’un des mardis ou jeudis de chaque mois pour échanger autour des logiciels libres, des réseaux libres, discuter de nos projets respectifs et lancer des initiatives locales autour du Libre. Ce repas est ouvert à tous, amateurs de l’esprit du Libre, débutants ou techniciens chevronnés.

Ce Qjelt aura lieu le jeudi 27 février 2025 à 20h30, au restaurant la Paniolade situé au 146 Boulevard de Suisse à Toulouse. C’est à proximité des ponts jumeaux et des minimes, et donc accessible par bus ou métro même tard le soir (bus 16 ou métro B en marchant un peu). Il n’y a pas de formule prévue, c’est à la carte : pizzas, viandes, poissons, salades…

Pour des raisons de logistique, une inscription préalable avant la veille est demandée sur toulibre.org/qjelt

[FR Quimperlé] Point info GNU/Linux – Le vendredi 28 février 2025 de 13h30 à 17h30.

Médiathèque de Quimperlé, place Saint Michel, pas d’inscription, entrée libre !

Mickaël, Johann, Alain, Pierre, et Yves vous accueillent (ou l’un d’eux, on se relaie !).

Conseils, aide et infos pratiques GNU/Linux et Logiciels Libres.

Curieux ? Déjà utilisateur ? Expert ? Pour résoudre vos problèmes, vous êtes le bienvenu ; pas besoin de prendre rendez-vous !

N’hésitez pas à venir avec votre PC si vous voulez une installation de GNU/Linux ou de venir avec votre périphérique récalcitrant (imprimante, scanner…) si possible.

[FR Lyon] Permanence contre l’obsolescence – Le vendredi 28 février 2025 de 16h00 à 18h30.

On vous accueille tous les premiers mercredi du mois de 16h à 18h30 à la Maison de l’Économie Circulaire 36 cours général giraud 69001 Lyon (Maison qui se situe dans le parc des Chartreux)

Conseil et aide à la réparation:
On vous accompagne dans l’entretien, la réparation ou le reconditionnement de votre ordinateur Vente d’ordinateurs à prix solidaires:
Ordinateurs fixes et portables à petit prix reconditionnés par nos soins sous Linux Reconditionnement solidaire:
Vous aimez bidouiller des ordis ? Venez nous filer un coup main ! Ouvert à tous et à toutes sans inscription

Pour toutes questions: contact@eisenia.org

[FR Toulon] Install Partie Linux – Le vendredi 28 février 2025 de 17h00 à 21h00.

Dans le cadre de son animation "Répar'Café", l'Alternativ', Tiers Lieu Numérique

Propose une présentation du système informatique gratuit et sécurisé,
capable de régénérer un vieil ordinateur.

Pour installer des logiciels libres sur sa machine personnelle en se faisant conseiller
et aider par des membres du groupe d’utilisateurs.

Pour tous: grands débutants et curieux, connaisseurs et experts sont bienvenus !

Ordinateurs à disposition pour découvrir.

[FR Annecy] Réunion hebdomadaire AGU3L Logiciels Libres – Le vendredi 28 février 2025 de 20h00 à 23h59.

L’AGU3L Logiciels Libres à Annecy votre association se réunit tous les vendredis à partir 20h00 et jusque vers 1h00 du matin. Passez quand vous voulez.

Entrée par le côté, entre les 2 bâtiments la MJC le Cairn et la maison des associations. La salle est au fond du couloir à droite, là où il y a de la lumière.

⚠️ Vérifiez sur le site avant de vous déplacer, y a un bandeau en haut qui confirme bonne la tenue de la réunion.

Le programme de la réunion, s’il y en a un, est sur notre site. 😉 ⬇️

Ou sur Mastodon https://piaille.fr/@agu3l

Digression du programme possible, voire probable.

Vous pouvez aussi nous soumettre un ou plusieurs sujets de programme:

Exemples:

  • Libre Office les listes à puces, j’aimerais en savoir plus

  • Pouvez-vous nous présenter le système Linux pour les débutants ?

  • plus technique: recompiler un noyau Linux avec les options spécifiques

  • Kubernetes est-ce pour moi ?

  • Démo sur un logiciel libre en particulier ex: Gimp, flameshot

  • Ou même votre logiciel que vous souhaitez partager

  • À l’aide ! 😱 pas de panique, on a probablement une solution pour vous.

  • Vous développez du code libre ? oui

  • etc, etc.

Apportez à boire, à manger. Un ordi ça peut aider. De la bonne humeur et un brin de Liberté.

Et tout ce que vous trouvez sympa: des amis, des projets, des trouvailles, etc.

Besoin d’une installation Linux?

Pas de problème! Laissez-nous un petit message avant au cas où l’on soit pas dispo ce soir-là.

C’est install party à la demande !

[FR Marignier] Utilisation d’internet – Le samedi 1 mars 2025 de 09h00 à 12h00.

Utilisation d’internet sans flicage et efficacement

DNS, adresse internet, continuer sans accepter, sécurisé, flicage, fake news, réseaux sociaux, adresse IP, chercher une recette de soupe à l’oignon, d’aïoli ou de Jalebi facile.

Être sur internet sans maitriser quelques notions de base c’est faire du vélo sans chaine sur l’autoroute.

Pour mettre tout ça au clair, tous les Samedis du 18 janvier 2025 au 8 mars 2025, de 9h à 12h, Micro Môle organise des ateliers pour tout âge et tout niveaux.

Il est conseillé de suivre dans l’ordre chacun des ateliers, mais vous pouvez venir en cours de saison.

Ouvert à tous les niveaux, dès 14 ans jusqu’à 110 ans.

Laquadrature du net, vous connaissez?

Animé par le 'collectif les fous du code'.

[FR Contamine sur Arve] Bidouille Informatique – Le samedi 1 mars 2025 de 09h00 à 12h00.

Le rendez-vous mensuel pour partager nos connaissances et échanger nos savoirs du monde du numérique.
Le 1ᵉʳ Samedi dès 9h00 à 12h00

[FR Vanves] Portes ouvertes – Installations – Dépannages – Le samedi 1 mars 2025 de 09h30 à 18h00.

Le premier samedi de chaque mois (sauf août et septembre), de 9h30 à 18h, nous organisons une journée porte ouverte pour présenter notre association et son but.

Lors de cette journée vous êtes invités à venir nous rencontrer pour découvrir les possibilités des logiciels libres.

Venez avec vos questions, vos souhaits, vos matériels, nous verrons ensemble comment y répondre.

Nous acceptons le don de Matériels informatique (surtout portables), Tablette et Smartphone, de préférence avec leur alimentation / chargeur.

Le Wiki pour vous aider à passer au Libre: https://wiki.llv.asso.fr/doku.php

Pour le déjeuner, une participation vous sera demandé.

IMPORTANT: Lisez la "Préparation pour l’installation": https://wiki.llv.asso.fr/doku.php?id=wiki:installer:preparation_installation

Localisation précise: https://www.openstreetmap.org/note/4365747

Proche du Métro (13) Malakoff Plateau de Vanves (à 5 minutes)

[FR Figeac] Café bidouille, réparation informatique – Le samedi 1 mars 2025 de 10h00 à 13h00.

Cet atelier convivial d’auto-réparation et d’entretien des appareils électriques, électroniques et informatiques a pour objectif de les faire durer, réduire les déchets et nous rendre plus autonomes face aux technologies.

Tu n’oses pas ouvrir ton grille-pain ou ton mixer en panne ? Ton écran de smartphone est cassé ? Ton ordinateur devient très très lent ?

À l’aide de multimètre, tournevis et d’outils informatiques libres, on s’entraide et on trouve la solution ensemble.

Cet atelier est gratuit et ouvert à tous, que tu sois un bricoleur qui souhaite aider ou que tu aies besoin d’être aidé.

Attention, tous les intervenants sont bénévoles et il n’y a aucune garantie de succès, mais nous pourrons t’orienter vers des professionnels en cas de besoin.

En attendant ce rendez-vous, tu peux consulter les fiches informatiques de l’atelier numérique des 3L: ricochets-figeac.fr

Tous les premiers samedis du mois et le vendredi après-midi qui suit.

[FR Ivry sur Seine] Cours de l’École du Logiciel Libre – Le samedi 1 mars 2025 de 10h30 à 18h30.

Présentation de l’E2L

Quel est le rôle de l’école du logiciel libre?

Tout d’abord, ce n’est pas une école comme les autres. Elle n’a pas d’établissement fixe, pas de cours de récréation, pas de carte d’étudiant, ni de diplôme de fin d’année.

Comme toutes les écoles, son rôle est d’apprendre à ses élèves les logiciels libres, c’est-à-dire:

  • comment en trouver de bons parmi les nombreux sites qui en proposent,
  • comment en prendre possession en fonction des licences,
  • comment les installer en fonction de ses besoins,
  • comment les tester et les utiliser,
  • comment en comprendre le fonctionnement pour ensuite les modifier,
  • comment écrire ses propres logiciels libres.

En fait, l’école du logiciel libre est une université populaire, comme celles qui ont vu le jour en France à partir du 19ᵉ siècle, et dont le but est de transmettre des connaissances théoriques ou pratiques à tous ceux qui le souhaitent. Et pour atteindre ce but, sa forme juridique est de type « association à but non lucratif ».

Comment fonctionne l’école?

Cette école étant une association, elle possède, comme toutes les autres, un bureau, élu chaque année en assemblée générale, pour l’administrer. Mais elle a aussi des responsables pédagogiques dont le rôle est essentiel, car ce sont eux qui établissent les programmes des cours en fonction des souhaits des adhérents, valident les candidatures des enseignants et affectent les sessions.

Les membres du bureau et les responsables pédagogiques forment « l’encadrement de l’école ». Tous les membres “encadrants” doivent être membres de l’association.

Les locaux où se déroulent les cours seront ceux que l’on veut bien nous prêter: une salle des fêtes, un théâtre, une salle de réunion publique, un amphi dans une école publique, ou autre.

Les thèmes des cours sont définis par les adhérents en fonction de leurs envies, de leurs besoins. Les cours sont ensuite décidés par les responsables pédagogiques de l’école en fonction des enseignants disponibles.

Afin de permettre au plus grand nombre de participer et d’assister aux cours, les sessions se tiennent essentiellement le samedi. Une première, sous forme d’atelier public, de 10h30 à 13h, et une autre, sous forme de cours, de 14h30 à 18h30.

Programme détaillé sur le site http://e2li.org

[FR Rennes] Atelier Pixel Quest – Le samedi 1 mars 2025 de 14h00 à 17h00.

Créer sa BD interactive en 7 étapes. Session 5.

Rassemblez le scénario, les assets et l’interface pour préparer votre BD.

[FR Rennes] Atelier Pixel Quest – Le samedi 1 mars 2025 de 14h00 à 17h00.

Créer sa BD interactive en 7 étapes. Session 6.

Découvrez le Sound Design.

[FR Le Mans] Permanence mensuelle du samedi – Le samedi 1 mars 2025 de 14h00 à 18h00.

Assistance technique et démonstration concernant les logiciels libres.

Attention, réservez votre place par contact (at) linuxmaine.org

Planning des réservations consultableici.

[FR Quimper] Permanence Linux Quimper – Le samedi 1 mars 2025 de 16h00 à 18h00.

Tous les samedis de 16h à 18h, Linux Quimper vous donne rendez-vous au centre social des Abeilles, 4 rue Sergent Le Flao (quartier de la Terre Noire) Quimper.

Nous vous proposons lors de ces rencontres d’échanger autour du Libre et de Linux en particulier

Vous pouvez venir pour vous faire aider, ou aider, à installer et paramétrer une distribution GNU/Linux de votre choix ou des logiciels libres sur votre ordinateur.

Recommandations:

  • Sauvegardez vos données avant de venir.
  • Pour une installation de Linux si vous voulez conserver Windows, libérez de la place sur le disque dur (20 Go minimum) et défragmentez Windows.
  • Nous prévenir, éventuellement, de votre passage via le forum.

Vous pouvez aussi venir pour une première prise d’informations et de contacts.

[FR Vire] Atelier Cartographie participative – Le samedi 1 mars 2025 de 17h00 à 19h00.

Samedi 1ᵉʳ mars #AtelierLibre #Cartographie Participative, entre 17h et 19h à la Maison du temps libre de Saint Martin de Tallevende, #Vire #Normandie.

L’objectif est de se familiariser avec la cartographie participative et d’apporter sa contribution sur un projet concret sur Vire, avec #JOSM, un éditeur de données d’OpenStreetMap.

Cet atelier permettra d’apprendre à contribuer individuellement pour corriger facilement des manques ou compléter des informations sur #OpenStreetMap.

[FR Montigny Le Bretonneux] Soirée Cult' : Plongée dans l’univers du hacking – Le samedi 1 mars 2025 de 19h00 à 20h30.

Samedi 1ᵉʳ mars 2025 | à 19h | Médiathèque du CanalQuai François Truffaut, 78180 Montigny-le-Bretonneux
Plongez dans l’univers fascinant des hackers à travers des extraits cultes de films et séries ! Véritables génies de l’ombre ou légendes amplifiées par Hollywood ? Entre réalités techniques et fantasmes cinématographiques, nos experts décrypteront avec vous les mythes et enjeux de la cybersécurité.

Démos, quiz, débats, popcorn et convivialité pour une soirée immersive !
Que vous soyez passionné d’informatique, curieux ou cinéphile, cette soirée unique est faite pour vous. Venez échanger et explorer ce monde mystérieux dans une ambiance décontractée.

Entrée libre – Venez avec vos questions et votre curiosité !

Lien médiathèque :
https://e-mediatheque.sqy.fr/Default/doc/CALENDAR/7478/soiree-cult-au-canal

pour venir:

RER C
Lignes N et U

Pour en savoir plus:
https://root66.net/?post/2025/02/20/Soir%C3%A9e-Cult%E2%80%99-plong%C3%A9e-dans-l%E2%80%99univers-du-hacking-%3A-Dans-l%E2%80%99%C5%93il-des-experts

[FR Gaillac] Repair café – Le dimanche 2 mars 2025 de 10h00 à 13h00.

Repair café, atelier informatique, etc.

Tous les premiers dimanches du mois à “Mosaïque”.

  • Mosaïque, 7 rue Marcellin Berthelot, Gaillac, Occitanie, France

Commentaires : voir le flux Atom ouvrir dans le navigateur

Au café libre - « Libre à vous ! » du 11 février 2025 - Podcasts et références

Deux-cent trente-cinquième émission « Libre à vous ! » de l’April. Podcast et programme :

  • sujet principal : Au café libre, débat autour de l’actualité du logiciel libre et des libertés informatiques
  • chronique Que libérer d'autre que du logiciel sur les 10 ans d'Antanak
  • chronique Le truc que (presque) personne n’a vraiment compris mais qui nous concerne toutes et tous de Benjamin Bellamy, intitulée « La guerre des IA »
  • quoi de Libre ? Actualités et annonces concernant l'April et le monde du Libre

Rendez‐vous en direct chaque mardi de 15 h 30 à 17 h sur 93,1 FM en Île‐de‐France. L’émission est diffusée simultanément sur le site Web de la radio Cause Commune.

Mardi 25 février 2025, notre sujet principal portera sur le réseau français des FabLabs. Si vous avez des questions, n’hésitez pas à les mettre en commentaires de cette dépêche.

Commentaires : voir le flux Atom ouvrir dans le navigateur

GIMP 3.0 RC3 est sorti

21 février 2025 à 08:05

Note : cette dépêche est une traduction de l'annonce officielle de la sortie de GIMP 3.0 RC3 du 10 février 2025 (en anglais).

Nous sommes ravis de partager la troisième version candidate de GIMP 3.0 pour ce qui (nous l'espérons) sera la dernière série de tests communautaires avant la version stable ! Cette version fait suite à la récente conférence GIMP 3 and Beyond de Jehan au FOSDEM 2025.

    Sommaire

    Corrections de bogues et changements importants

    Alors que nous réduisions les quelques derniers bogues majeurs à néant, nous avons effectué un certain nombre de modifications qui selon nous nécessitent un sérieux coup d’œil de la communauté.
    Jetez-en donc un, d’œil, sur les points suivants lorsque vous essayerez la Release Candidate:

    Nouvelle version de GTK3

    Juste à temps pour GIMP 3.0, une nouvelle version de GTK3 est sortie !
    Entre autres changements, GTK 3.24.48 inclut des correctifs pour plusieurs bugs affectant GIMP avec des patchs initialement fournis par Jehan, comme un crash dans Wayland lors du déplacement de calques et des problèmes de texte dans certains widgets avec des langues de droite à gauche. Nous tenons à remercier Carlos Garnacho et Matthias Clasen pour leur aide sur ces patchs respectifs.

    GTK 3.24.48 ajoute également la prise en charge de la version 2 de xdg_foreign pour Wayland (la v1 reste prise en charge en tant que solution de secours). Plus précisément, l'absence de cette prise en charge provoquait le blocage de GIMP avec certaines actions sur KDE/Wayland, ce qui est désormais corrigé.

    En raison de ces problèmes (certains d'entre eux rendant GIMP vraiment instable sur Wayland), nous recommandons aux empaqueteurs de mettre à jour vers la dernière version de GTK3 lors de l'empaquetage de notre RC3. Cependant, veuillez nous informer si vous remarquez des régressions ou d'autres problèmes résultant de la nouvelle version de GTK3.

    Améliorations du graphe d'images

    Grâce à l'édition non destructive dans GIMP, les utilisateurs peuvent désormais empiler plusieurs filtres les uns sur les autres. Ces filtres fonctionnent généralement dans un format à haute résolution de bits, de sorte que les informations de l'image ne sont pas perdues. Cependant, la sortie de chaque filtre était convertie vers et depuis la résolution de l'image d'origine lors de l'empilement. Ainsi, si l'image n'était que de 8 bits, une grande quantité d'informations était perdue dans ces conversions constantes. Jehan a résolu ce problème en convertissant uniquement au format de l'image lorsque le filtre est censé être fusionné, plutôt que dans des piles non destructives. Comme il s'agit d'un changement important dans le fonctionnement des filtres, nous souhaitons que davantage d'utilisateurs testent ce changement pour détecter d'éventuelles régressions.

    Changements dans Projection Thread-safe

    Lorsque des modifications sont apportées à une image (comme une peinture), la projection de l'image doit être « vidée » pour afficher les nouvelles modifications à l'écran. Certains aspects de ce processus n'étaient pas « thread-safe », ce qui signifie que lorsque votre ordinateur utilisait plusieurs threads pour accélérer le travail, ils pouvaient entrer en conflit les uns avec les autres et provoquer un plantage. Cela a été observé dans notre fonctionnalité d'expansion automatique de calques. Jehan a corrigé la fonction pour qu'elle soit entièrement thread-safe. Cependant, les modifications apportées au multithreading peuvent laisser des bugs bien cachés, donc des tests communautaires supplémentaires seraient utiles.

    Procédures privées

    Le navigateur de base de données procédurale de GIMP montre aux développeurs de greffons et de scripts toutes les fonctions auxquelles ils peuvent accéder. Jusqu'à présent, il affichait également les fonctions « privées » qui ne sont utilisées qu'en interne. Jehan a ajouté un indicateur pour masquer ces fonctions. Dans un premier temps, nous avons ratissé trop large et caché certaines fonctions publiques importantes. Bien que nous ayons corrigé ces cas, nous aimerions que la communauté nous donne plus de détails pour nous assurer que nous n'avons oublié aucune fonction publique mal étiquetée.

    Améliorations

    Bien que nous soyons toujours en phase de gel des fonctionnalités majeures jusqu'à la version stable de GIMP 3.0, quelques améliorations mineures et autonomes ont été apportées aux greffons.

    Script-fu

    API Filtre

    Le nouvel appel PDB (gimp-drawable-merge-filter) permet aux auteurs de Script-fu d'utiliser des étiquettes pour spécifier les propriétés des filtres. Cela donnera aux utilisateurs de Script-fu la même flexibilité pour appeler et mettre à jour les filtres que les développeurs de greffons C et Python ont dans l'API GIMP 3.0. À titre d'exemple, voici un appel au filtre Emboss :

    (gimp-drawable-merge-new-filter mask-emboss "gegl:emboss" 0 LAYER-MODE-REPLACE 1.0 "azimuth" 315.0 "elevation" 45.0 "depth" 7 "type" "emboss")
    

    Vous pouvez voir plus d'exemples dans notre dépôt de scripts.

    Nouvelle syntaxe de passage des arguments par noms

    Dans Script-Fu, toutes les fonctions générées à partir de la procédure PDB des greffons doivent désormais être appelées avec une toute nouvelle syntaxe d'argument nommé, inspirée de la variante Racket de Scheme.

    Par exemple, disons que votre greffon souhaite appeler le greffon Foggify, au lieu d'appeler :

    (python-fu-foggify RUN-NONINTERACTIVE 1 (car (gimp-image-get-layers 1)) "Clouds" '(50 4 4) 1.0 50.0)

    Vous devez maintenant appeler :

    (python-fu-foggify #:image 1 #:drawables (car (gimp-image-get-layers 1)) #:opacity 50.0 #:color '(50 4 4))

    Cela présente quelques avantages :

    • des appels beaucoup plus auto-documentés, d'autant plus que certains greffons ont beaucoup d'arguments (on pouvait donc se retrouver avec des fonctions avec une douzaine d'entiers ou de flottants et c'était très déroutant) ;
    • l'ordre des arguments n'a plus d'importance ;
    • vous pouvez ignorer les arguments lorsque vous les appelez avec des valeurs par défaut ;
    • cela permet d'améliorer les procédures des greffons dans le futur en ajoutant de nouveaux arguments sans casser les scripts existants.

    Ce dernier point en particulier est important, et l'ordre des arguments n'avait plus d'importance lors de l'appel de procédures PDB depuis l'API C, ainsi que toutes les liaisons introspectées. Script-Fu était la seule interface restante dont nous disposions qui se souciait encore de l'ordre et du nombre d'arguments. Ce n'est plus le cas et c'est donc un grand pas vers une API beaucoup plus robuste pour GIMP 3 !

    Formats de fichiers

    Toutes les modifications apportées aux greffons de chargement d'images sont vérifiées avec le cadriciel de tests automatisés créé par Jacob Boerema pour éviter les régressions.

    PSD

    En plus des corrections de bogues telles que l'enregistrement correct des images fusionnées CMJN, Jacob Boerema a ajouté la prise en charge du chargement des fichiers PSD LAB 16 bits par canal. Il a également mis à jour la boîte de dialogue d'exportation PSD pour utiliser les fonctions d'exportation de métadonnées intégrées de GIMP.

    DDS

    CMYK Student a implémenté la prise en charge très demandée du chargement d'images DDS avec prise en charge BC7. Jacob Boerema a travaillé pour corriger la compatibilité avec les fichiers DDS exportés à partir d'anciennes versions de GIMP.

    AppImage: c'est officiel !

    Après neuf mois d'incubation (le nombre est une simple coïncidence 🙂), nous présentons un « nouveau » format de distribution pour les utilisateurs Linux : .AppImage. Au départ, nous l'utilisions comme format interne pour les tests, comme déjà évoqué dans des articles précédents. Les efforts de Bruno Lopes nous ont permis d'améliorer le processus de construction. Nous sommes maintenant confiants avec l'AppImage générée et nous avons donc pour objectif de la rendre officielle.

    En tant que package officiel en amont, aucun greffon tiers sophistiqué ou autre binaire arbitraire qui ne soit pas une dépendance de GIMP n'est ajouté pour ne pas le « surcharger ». C'est ce que certains appellent GIMP « vanilla », un GIMP propre mais complet pour la production (c'est-à-dire pour une utilisation générale).

    Comme tout format d'empaquetage, il a ses propres caractéristiques et limites. Dans le cas de l'AppImage de GIMP, les outils inclus tels que gimp-console* et gimp-debug-tool* nécessitent une extraction préalable du fichier .AppImage avec la commande --appimage-extract. De plus, en partie à cause de la conception d'AppImage, les commandes qui pointent vers $PWD ne fonctionneront pas. Ces deux limitations de fonctionnalités sont les seules connues à ce jour. Donc, si vous en trouvez d'autres ou même des bogues, veuillez les signaler sur notre outil de suivi.

    Divers

    • Il est maintenant plus facile de charger des images depuis Google Drive ainsi que d'autres plateformes distantes ou dans le cloud, sans avoir a sélectionner un format de fichier pour essayer de l'ouvrir.

    • Notre processus de création génère désormais des icônes supplémentaires avec l'extension -rtl, qui sont automatiquement utilisées avec les langues s'écrivant de droite à gauche. Les icônes de flèches gauche et droite en sont un exemple : elles sont désormais orientées dans la bonne direction dans les deux types de langues.

    • Les développeurs de greffons n'ont plus besoin de créer des boutons de sélection de fichiers personnalisés - GimpProcedureDialog les crée désormais automatiquement lorsqu'un paramètre de type de fichier est utilisé. Vous pouvez également spécifier si le bouton sert à ouvrir ou à enregistrer des fichiers et des dossiers.

    • Rupert Weber a continué ses efforts pour nettoyer notre greffon BMP. De plus, il travaille actuellement à ajouter la prise en charge de l'importation de profils de couleurs dans les BMP, qui, espérons-le, sera prête dans une future version.

    • CMYK Student a mis à jour le greffon ICNS avec une nouvelle prise en charge des types d'icônes « ic05 » et des formats d'icônes ARGB. Ils ont également corrigé un bogue lors du chargement d'anciens formats ICNS sans masque de transparence. Lukas Oberhuber a aidé à diagnostiquer et à résoudre un bogue connu dans le format ICNS qui faisait que notre icône macOS affichait des pixels brouillés dans les petites tailles.

    GEGL

    La version 0.4.54 de GEGL contient également quelques améliorations et corrections de bogues. Thomas Manni a mis à jour le filtre Noise Spread pour éviter les bogues lorsqu'il est appliqué à des groupes de calques vides. Jonny Robbie a ajouté de nouvelles options et de nouveaux types de papier au filtre Negative Darkroom, et a optimisé certaines opérations en virgule flottante dans GEGL dans son ensemble.

    Statistiques

    Depuis GIMP 3.0 RC2, dans le dépôt principal de GIMP :

    • 85 rapports ont été fermés comme RÉPARÉS ;
    • 56 demandes de fusion ont été acceptées ;
    • 335 commits ont été poussés ;
    • 19 traductions ont été mises à jour : basque, bulgare, catalan, chinois (Chine), danois, néerlandais, finnois, géorgien, italien, norvégien nynorsk, persan, portugais, slovaque, slovène, espagnol, suédois, turc, ukrainien, vietnamien.

    33 personnes ont contribué à des modifications ou des correctifs à la base de code de GIMP 3.0.0 RC3 (l'ordre est déterminé par le nombre de commits ; certaines personnes sont dans plusieurs groupes) :

    • 13 développeurs pour le code principal : Jehan, Alx Sa, Jacob Boerema, Lloyd Konneker, Anders Jonsson, Thomas Manni, Bruno, Daniele Forsi, Lloyd Konneker, Lukas Oberhuber, Rupert, cheesequake, Øyvind Kolås ;
    • 10 développeurs de greffons ou modules : Alx Sa, Jacob Boerema, Jehan, Rupert, Lloyd Konneker, Anders Jonsson, Bruno, Daniel Novomeský, Daniele Forsi, lillolollo ;
    • 19 traducteurs : Alan Mortensen, Alexander Shopov, Nathan Follens, Kolbjørn Stuestøl, Hugo Carvalho, Asier Sarasua Garmendia, Ngọc Quân Trần, Jordi Mas, Marco Ciampa, Sabri Ünal, Anders Jonsson, Danial Behzadi, Ekaterine Papava, Jiri Grönroos, Jose Riha, Luming Zh, Martin, Rodrigo Lledó, Yuri Chornoivan ;
    • 1 Concepteur de thème : Alx Sa ;
    • 6 contributeurs pour la compilation, l’empaquetage ou l’intégration continue : Bruno, Jehan, Lloyd Konneker, Alx Sa, Rupert, Jacob Boerema.

    Contributions sur d'autres dépôts dans GIMPverse (l'ordre est déterminé par le nombre de commits) :

    • GEGL 0.4.54 est composé de 11 commits de 16 contributeurs : Øyvind Kolås, Alexander Shopov, Hugo Carvalho, JonnyRobbie, Alan Mortensen, Anders Jonsson, Asier Sarasua Garmendia, Bartłomiej Piotrowski, Jehan, Martin, Nathan Follens, Nils Philippsen, Rodrigo Lledó, Sam L, Thomas Manni, Yuri Chornoivan ;
    • ctx a enregistré 233 commits depuis la sortie de RC2 par 1 contributeur : Øyvind Kolås ;
    • gimp-data a enregistré 6 commits de 4 contributeurs : Bruno, Jehan, Alx Sa, Andre Klapper ;
    • gimp-test-images (nouveau référentiel pour les tests de prise en charge des images) a enregistré 5 commits de 2 contributeurs : Jacob Boerema, Alx Sa ;
    • la version gimp-macos-build (scripts de packaging macOS) a eu 6 commits par 2 contributeurs : Lukas Oberhuber, Bruno ;
    • la version flatpak a eu 12 commits par 3 contributeurs après la version RC2 : Bruno Lopes, Jehan, Hubert Figuière ;
    • notre site web principal a eu 42 commits par 6 contributeurs : Jehan, Alx Sa, Bruno, Jacob Boerema, Andre Klapper, Petr Vorel ;
    • notre site web de développement a eu 18 commits par 5 contributeurs : Jehan, Bruno, Lukas Oberhuber, Alx Sa, Anders Jonsson ;
    • notre documentation 3.0 comptait 373 commits de 13 contributeurs : Andre Klapper, Kolbjørn Stuestøl, Nathan Follens, Jacob Boerema, Alan Mortensen, Yuri Chornoivan, Dick Groskamp, ​​Jordi Mas, Alevtina Karashokova, Alx Sa, Anders Jonsson, Daniele Forsi, Hugo Carvalho.

    N'oublions pas de remercier toutes les personnes qui nous aident à trier dans Gitlab, à signaler les bugs et à discuter des améliorations possibles avec nous.
    Notre communauté est également profondément reconnaissante envers les guerriers d'Internet qui gèrent nos divers canaux de discussion ou comptes de réseaux sociaux tels que Ville Pätsi, Liam Quin, Michael Schumacher et Sevenix !

    Remarque : compte tenu du nombre de parties dans GIMP et de la façon dont nous obtenons des statistiques via les scripts « git », des erreurs peuvent se glisser dans ces statistiques. N'hésitez pas à nous dire si nous avons oublié ou mal classé certains contributeurs ou contributions.

    Autour de GIMP

    Miroirs de téléchargement

    Depuis la publication de la nouvelle version 3.0RC2, deux nouveaux miroirs ont été ajoutés :

    • Saswata Sarkar, Gurugram, Inde ;
    • Hoobly Classifieds, États-Unis.

    Les miroirs sont importants car ils aident le projet en répartissant la charge pour des dizaines de milliers de téléchargements quotidiens. De plus, en ayant des miroirs répartis dans le monde entier, nous garantissons que tout le monde peut avoir un accès rapide au téléchargement de GIMP.

    Comment citer GIMP dans la recherche

    GIMP est souvent utilisé dans la recherche et est donc cité dans diverses publications scientifiques. Un chercheur utilisant GIMP pour le traitement d'images astronomiques nous a contactés pour savoir comment citer GIMP correctement, d'autant plus qu'il est utilisé pour effectuer une étape importante de son algorithme.

    Comme cela semble être une question intéressante, nous avons mis à jour notre page « Citing GIMP and Linking to Us » avec une nouvelle sous-section « Citing GIMP in research » contenant la conclusion de cette discussion.

    En particulier, une entrée BibTex, destinée aux chercheurs utilisant LaTeX pour gérer leur bibliographie, est disponible sur ce lien pour simplifier votre travail. Par exemple, disons que vous utilisez ce RC3 pour vos recherches, vous pouvez citer GIMP avec cette entrée :

    @software{GIMP,
        author = {{The GIMP Development Team}},
        title = {GNU Image Manipulation Program (GIMP), Version 3.0.0-RC3. Community, Free Software (license GPLv3)},
        year = {2025},
        url = {https://gimp.org/},
        note = {Version 3.0.0-RC3, Free Software}
    }

    Merci à Cameron Leahy pour ce morceau de code BibTex !

    Télécharger GIMP 3.0 RC3

    Vous trouverez toutes nos versions officielles sur le site officiel de GIMP (gimp.org) :

    • Linux AppImages pour x86 et ARM (64 bits) ;
    • Linux Flatpaks pour x86 et ARM (64 bits) ;
    • Installateur Windows universel pour x86 (32 et 64 bits) et pour ARM (64 bits) ;
    • Paquet MSIX (GIMP Preview) pour x86 et ARM (64 bits) ;
    • Paquets macOS DMG pour le matériel Intel ;
    • Paquets macOS DMG pour le matériel Apple Silicon.

    D'autres paquets réalisés par des tiers devraient évidemment suivre (paquets de distributions Linux ou *BSD, etc.).

    Et ensuite ?

    Nous apprécions vraiment tous les tests et commentaires de la communauté que nous avons reçus au cours des deux dernières versions candidates !
    Nous espérons que ce sera la dernière version candidate avant la version stable 3.0. Notre objectif est maintenant de terminer la résolution des quelques bugs restants dans notre liste de jalons 3.0, tout en gardant un œil sur les nouveaux rapports résultant des changements dans RC3.

    N’oubliez pas que vous pouvez faire un don et financer personnellement les développeurs de GIMP, afin de contribuer et d’accélérer le développement de GIMP. L’engagement de la communauté aide le projet à se renforcer !

    Commentaires : voir le flux Atom ouvrir dans le navigateur

    Zaibu, une alternative libre pour les amateurs de dégustation

    19 février 2025 à 08:59

    Cette dépêche présente Zaibu, une application web auto-hébergeable permettant de conserver un journal structuré de ses dégustations de bières et de vins. Développée avec SQLPage, elle met l’accent sur la simplicité, l’indépendance et le respect de la vie privée. Contrairement aux solutions centralisées comme Untappd ou Vivino, Zaibu ne collecte aucune donnée et reste entièrement sous le contrôle de l’utilisateur.

    Logo de Zaibu

    Note : n’ayant absolument aucune compétence ni aucun talent en graphisme, le logo a été créé avec Bing Image Creator et retravaillé et vectorisé par mes soins. Je sais, çaymal.

    Sommaire

    L’alcool est dangereux pour la santé, même en petite quantité. Le vin et la bière, comme les autres alcools, induisent une dépendance et tuent. Il est recommandé de ne pas consommer plus de 2 verres par jour, et de ne pas boire d’alcool au moins 2 jours par semaine. Si vous avez des doutes sur votre consommation, n’hésitez pas à contacter un professionnel de santé.

    Pourquoi créer Zaibu ?

    Zaibu répond avant tout à un besoin très concret : garder une trace de ses dégustations de boissons (uniquement bières et vins pour l’instant) sans dépendre d’applications trop encombrées ou propriétaires qui exploitent les données de leurs utilisateurs.

    Ce projet est en fait l’évolution d’un simple fichier texte mis en forme selon une structure plus ou moins régulière. Il était à l’origine partagé via Nextcloud, un service de stockage et de synchronisation de fichiers, libre et auto-hébergeable. Pour passer de ce fichier brut à une véritable application, plusieurs outils ont été utilisés:

    • Makefile : un fichier de configuration pour GNU Make, permettant d’automatiser diverses tâches (ici, la conversion du fichier texte).
    • Gawk : une version libre de l’outil AWK, qui lit et transforme le contenu du fichier texte pour l’adapter au format voulu.
    • textql : un utilitaire en ligne de commande qui interprète des fichiers texte (CSV, TSV…) comme des tables SQL, ce qui facilite le chargement des données dans une base SQLite.

    Grâce à cette chaîne d’outils, le fichier texte initial a pu être converti en une base de données exploitable, pour ensuite alimenter l’application Zaibu.

    Pour ceux qui collectionnent les bouteilles comme d’autres collectionnent les timbres, c’est un outil pratique et léger, conçu pour être maîtrisé de bout en bout : le code source est distribué sous licence libre (AGPLv3), l’application est facile à héberger sur son propre serveur, et consomme très peu de ressources.

    Un objectif secondaire était de tester les capacités de l’outil SQLPage pour le développement rapide d’applications de gestion de données.

    Un besoin personnel

    Il peut être difficile de se souvenir d’une bonne bière artisanale goûtée l’année passée ou du vin qui vous a tant plu à un mariage. Un carnet de notes ou un tableau dans un logiciel de bureautique peuvent dépanner, mais on s’y perd vite, et ce n’est pas toujours très pratique à consulter sur son téléphone quand on est en pleine dégustation.

    Zaibu propose un formulaire simple où vous pouvez renseigner le nom, le producteur, le style, l’amertume, le taux d’alcool, vos impressions… Une fois la dégustation terminée, vous conservez une trace précise, consultable à tout moment. En un coup d’œil, vous pouvez comparer vos différents coups de cœur ou vous rappeler pourquoi un vin particulier ne vous avait pas convaincu.

    Une occasion de tester SQLPage

    Zaibu a aussi été conçu comme une démonstration technique. Il a servi de terrain d’expérimentation pour un nouvel outil, SQLPage, qui permet de créer une application web de gestion et d’affichage de données complète sans s’encombrer de milliers de lignes de code. En partant de requêtes de bases de données très simples, on obtient un site fonctionnel rapidement.

    Ici il s’agit d’une application de type CRUD dans sa plus simple expression, donc parfaitement adaptée à être écrite en pur SQL. Même si certains traitements nécessitent de se creuser un peu plus la tête quand rien d’autre n’est disponible, il existe généralement une manière d’arriver à ses fins (et on découvre parfois avec bonheur des subtilités du langage qu’on ignorait !).

    C’est le framework parfait pour créer rapidement ses propres outils tout en gardant la maîtrise complète de sa donnée, en utilisant une base de données que l’on peut héberger soi-même facilement.

    Une approche libre et auto-hébergeable

    De nombreuses applications existent déjà, mais elles imposent souvent la création d’un compte, exploitent les données des utilisateurs et monétisent leur activité via la publicité ou des abonnements. Zaibu prend le contre-pied en offrant une solution entièrement libre, légère et indépendante.

    L’application repose sur SQLite, un système de gestion de base de données qui se distingue des bases de données traditionnelles comme MySQL ou PostgreSQL. Contrairement à ces dernières, qui nécessitent un serveur dédié fonctionnant en arrière-plan pour gérer les requêtes et stocker les informations, SQLite est une base de données embarquée.

    Cela signifie que toutes les données sont enregistrées directement dans un fichier unique sur l’ordinateur ou le serveur où l’application est installée. Il n’y a donc pas besoin d’installer et de configurer un logiciel supplémentaire pour gérer la base de données. Cette approche simplifie considérablement l’installation et l’utilisation de l’application, surtout pour des utilisateurs qui ne sont pas familiers avec l’administration de serveurs.

    Et puis bien sûr, son code est ouvert. C’est comme une bière artisanale : vous savez exactement quels ingrédients sont utilisés, comment ils interagissent, et si l’envie vous prend, vous pouvez modifier la recette pour l’adapter à vos préférences. Vous pouvez la brasser tel quel, y ajouter une touche personnelle, ou même la partager améliorée avec d’autres passionnés. Ici, tout est transparent et modifiable.

    Une interface simple et accessible

    Pensée pour une utilisation mobile et desktop, l’interface de Zaibu permet d’ajouter rapidement une dégustation, sans fioritures. Sur smartphone, il devient facile de consulter ses notes en magasin ou chez un caviste pour retrouver une référence appréciée ou éviter une déception.

    capture d'écran du menu principal de l'interface mobile

    capture d'écran du formulaire de saisie de dégustation de bière de l'interface desktop

    Et maintenant ?

    Zaibu est encore jeune et perfectible. L’application pourrait évoluer avec des fonctionnalités comme le partage entre utilisateurs ou l’intégration d’une base collaborative… N’hésitez pas à faire vos retours dans les commentaires !

    Et si le principe vous intéresse, vous pouvez aussi découvrir Mon petit potager du même auteur et construit sur le même framework, cette fois pour suivre les récoltes de son jardin et la pluviométrie.

    Commentaires : voir le flux Atom ouvrir dans le navigateur

    Revue de presse de l’April pour la semaine 7 de l’année 2025

    Par :echarp
    18 février 2025 à 14:16

    Cette revue de presse sur Internet fait partie du travail de veille mené par l’April dans le cadre de son action de défense et de promotion du logiciel libre. Les positions exposées dans les articles sont celles de leurs auteurs et ne rejoignent pas forcément celles de l’April.

    [L'OBS] Hackathon géant: quand des étudiants s'initient à Wikipédia

    ✍ Thierry Noisette, le samedi 15 février 2025.

    Plus de 300 étudiants de l’école d’ingénieurs ENTPE ont planché pendant deux jours en créant ou enrichissant des articles de l’encyclopédie collaborative.

    [Silicon] Souveraineté numérique: la France est-elle prête à briser ses chaînes?

    ✍ Antoine Brenner, le vendredi 14 février 2025.

    Plutôt que de satisfaire d’une indépendance d’apparat, la France doit faire de l’open source un axe stratégique, conditionner ses investissements publics à l’usage de technologies ouvertes et inscrire l’indépendance numérique au coeur de l’éducation. Faute de choix clairs et volontaristes, toute ambition de souveraineté restera illusoire.

    [LeDevoir.com] Pour un virage numérique libre et local

    ✍ Jacques Berger, le jeudi 13 février 2025.

    Nous avons tout le talent nécessaire au Québec pour réaliser un tel projet.

    [Le Figaro] «L'open source est l'antidote»: Roost, cette ONG qui vise à rendre gratuits des outils de modération des contenus

    ✍ Chloé Woitier, le mercredi 12 février 2025.

    Soutenue par Google, OpenAI ou Discord et présidée par la chercheuse Camille François, cette fondation bâtit des outils de modération en open source dont pourront se servir gratuitement tous les éditeurs de services en ligne.

    [ZDNET] Comment les faux rapports de sécurité inondent les projets open-source, grâce à l'IA

    ✍ Steven Vaughan-Nichols, le mercredi 12 février 2025.

    Les spams de patch contiennent du code qui est carrément erroné et non fonctionnel. Pire encore: il peut introduire des vulnérabilités ou des portes dérobées. Alors, que doivent faire les développeurs?

    [Le Monde.fr] Protection du droit d'auteur: Thomson Reuters remporte une victoire face à une entreprise de l'IA

    Le mercredi 12 février 2025.

    Le conglomérat de médias américain remporte une première victoire contre Ross Intelligence, une start-up spécialisée dans l’IA juridique. Le juge a rejeté l’argument d’usage loyal (« fair use ») avancé par l’entreprise.

    [francetv info] Sommet de l'intelligence artificielle: on vous explique pourquoi la bataille de 'l'open source' menée par la France agite le secteur de l'IA

    ✍ Luc Chagnon, le mardi 11 février 2025.

    Contre les géants de l’intelligence artificielle comme OpenAI, Emmanuel Macron et les entreprises françaises soutiennent le développement d’IA ouvertes et modifiables par tous. De quoi partager plus largement les bénéfices liés à ces technologies, mais aussi les risques.

    Et aussi:

    [Next] Rust dans le noyau Linux: nouvelles bisbilles, Linus Torvalds s'en mêle

    ✍ Vincent Hermann, le lundi 10 février 2025.

    Le noyau Linux contient du code Rust depuis bientôt trois ans. De petits ajouts, qui ont surtout consisté pendant un temps à permettre à du code Rust d’être ajouté, notamment dans les pilotes. Mais la progression du langage dans le noyau reste complexe.

    Commentaires : voir le flux Atom ouvrir dans le navigateur

    Lettre d'information XMPP de décembre 2024

    N. D. T. — Ceci est une traduction de la lettre d’information publiée régulièrement par l’équipe de communication de la XSF, essayant de conserver les tournures de phrase et l’esprit de l’original. Elle est réalisée et publiée conjointement sur les sites XMPP.org, LinuxFr.org et JabberFR.org selon une procédure définie.

    Bannière de la lettre d'information XMPP

    Bienvenue dans la lettre d'information XMPP, ravi de vous retrouver !

    Ce numéro couvre le mois de décembre 2024.

    Tout comme cette lettre d'information, de nombreux projets et leurs efforts dans la communauté XMPP résultent du travail bénévole des personnes.

    Si vous êtes satisfait des services et des logiciels que vous utilisez, merci de considérer dire merci ou aider ces projets !

    Vous souhaitez soutenir l'équipe de la lettre d'information ? Lisez en bas de page.

      Sommaire

      Annonces XSF

      Adhésion à la XSF

      Si vous souhaitez rejoindre la XMPP Standards Foundation en tant que membre, postulez avant le 16 février 2025, 00h00 UTC !.

      27ème Sommet XMPP et FOSDEM 2025

      La XSF prévoit d’organiser le 27e Sommet XMPP, qui se tiendra les 30 et 31 janvier 2025 à Bruxelles (Belgique, Europe). Après le sommet, la XSF prévoit également d’être présente au FOSDEM 2025, qui aura lieu les 1er et 2 février 2025. Retrouvez tous les détails sur notre Wiki. Inscrivez-vous dès maintenant si vous prévoyez d’y assister, cela facilite l’organisation. L’événement est bien sûr ouvert à toute personne intéressée. Faites passer l’information dans vos cercles !

      XMPP au FOSDEM 2025

      • Présentation de Jérôme Poisson (Goffi) au FOSDEM 2025 :
        • Une API universelle et stable pour tout : XMPP :
          "De nos jours, la plupart des services proposent des API avec leurs propres formats, parfois plusieurs versions, qui peuvent évoluer avec le temps. Mais il existe une API universelle, avec un excellent historique de stabilité et de compatibilité ascendante : XMPP ! Dans cette présentation, je montrerai comment XMPP peut être bien plus qu’un simple protocole de messagerie instantanée et devenir un outil extrêmement puissant pour accéder à presque tout, des réseaux tiers (messagerie, microblogging, etc.) au partage de fichiers, à l’automatisation (IoT) et bien plus encore."
          La présentation aura lieu le samedi 1er février 2025, dans le cadre de la piste Communications en temps réel (RTC), salle K.3.601, de 18h25 à 18h40.

      Hébergement fiscal de projets par la XSF

      La XSF propose un hébergement fiscal pour les projets XMPP. Vous pouvez postuler via Open Collective. Pour plus d’informations, consultez le post de blog d’annonce. Voici les projets actuels que vous pouvez soutenir :

      Événements XMPP

      • Berlin XMPP Meetup (DE / EN) : réunion mensuelle des passionné·e·s de XMPP à Berlin, chaque deuxième mercredi du mois à 18h (heure locale).
      • Happy hour XMPP en Italie [IT] : réunion mensuelle en ligne de la communauté italienne XMPP, chaque troisième lundi du mois à 19h00 (heure locale). Événement en ligne avec mode réunion web et diffusion en direct.
      • PravConf 2025 : PravConf 2025 est la première édition de la rencontre annuelle de la communauté Prav. Elle se tiendra le 1er mars 2025 au Model Engineering College, à Kochi. N’hésitez pas à rejoindre le groupe pour en savoir plus !

      Conférences

      Articles XMPP

      Actualité des logiciels XMPP

      Clients et applications XMPP

      Vue horizontale de Kaidan IM 0.10

      Serveurs XMPP

      • ProcessOne annonce ejabberd 24.12 : La version "evacuate_kindly" : comprenant quelques améliorations et corrections de bugs, cette version arrive un mois et demi après la version 24.10, avec environ 60 commits dans le dépôt principal ainsi que quelques mises à jour des dépendances.
      • Prosody IM est heureux d’annoncer la sortie de la version 0.12.5, une nouvelle mise à jour mineure de la branche stable 0.12. Comme toujours, vous pouvez consulter le journal des modifications pour cette version ainsi que les instructions de téléchargement pour de nombreuses plateformes sur leur page de téléchargement.

      Bibliothèques et outils XMPP

      Extensions et spécifications

      La XMPP Standards Foundation développe des extensions pour XMPP dans sa série XEP en plus des RFC XMPP.

      Des développeuses, développeurs et experts en standards du monde entier collaborent sur ces extensions, en élaborant de nouvelles spécifications pour des pratiques émergentes et en affinant des méthodes existantes. Proposées par n’importe qui, celles qui rencontrent un grand succès deviennent Finales ou Actives, selon leur type, tandis que d’autres sont soigneusement archivées comme Reportées. Ce cycle de vie est décrit dans XEP-0001, qui contient les définitions formelles et canoniques des types, états et processus. En savoir plus sur le processus des standards. La communication autour des standards et des extensions a lieu sur la liste de diffusion des standards (archive en ligne).

      Extensions proposées

      Le processus de développement des XEP commence par la rédaction d’une idée et sa soumission à l’éditeur XMPP. Dans un délai de deux semaines, le Conseil décide d’accepter ou non cette proposition comme une XEP expérimentale.

      • Aucune XEP proposée ce mois-ci.

      Nouvelles extensions

      • Version 0.1.0 de XEP-0501 (Histoires Pubsub).
        • Promue à Expérimental (Éditeur XEP : dg)
      • Version 0.1.0 de XEP-0502 (Indicateur d’activité MUC).
        • Promue à Expérimental (Éditeur XEP : dg)

      Extensions déférées

      Si une XEP expérimentale n’est pas mise à jour pendant plus de douze mois, elle sera retirée de la catégorie Expérimental pour être classée comme Déférée. Si une mise à jour intervient, la XEP sera replacée dans la catégorie Expérimental.

      • Aucune XEP déférée ce mois-ci.

      Extensions mises-à-jour

      • Version 0.2.0 de XEP-0480 (Tâches de mise à niveau SASL).
        • Correction de la description de la mise à niveau SCRAM et du schéma XML. (tm)
      • Version 0.1.1 de XEP-0500 (Mode lent pour MUC).
        • Intégration des premiers retours. (jl)
      • Version 0.2.0 de XEP-0501 (Histoires Pubsub).
        • Ajout de pubsub#item_expire dans la configuration du nœud. (tj)

      Derniers appels

      Les derniers appels sont émis une fois que tout le monde semble satisfait de l’état actuel de la XEP. Après que le Conseil ait jugé la XEP prête, l’éditeur XMPP lance un dernier appel pour recueillir des commentaires. Les retours collectés pendant cet appel peuvent améliorer la XEP avant qu’elle ne soit renvoyée au Conseil pour son passage au statut Stable.

      • Dernier appel pour commentaires sur XEP-0421 (Identifiants anonymes uniques pour les occupant·e·s des MUCs).
        • Ce dernier appel se terminera à la fin de la journée du 6 janvier 2025.
      • Dernier appel pour commentaires sur XEP-0424 (Rétraction de message).
        • Ce dernier appel se terminera à la fin de la journée du 6 janvier 2025.

      Extensions stables

      • Aucune XEP n’a été déplacée au statut Stable ce mois-ci.

      Extensions dépréciées

      • Aucune XEP n’a été dépréciée ce mois-ci.

      Extensions rejetées

      • Aucune XEP n’a été rejetée ce mois-ci.

      Partagez les nouvelles

      Veuillez partager ces nouvelles sur d'autres réseaux :

      Consultez également notre flux RSS !

      Vous recherchez des offres d’emploi ou souhaitez engager une personne en tant que consultante professionnelle pour votre projet XMPP ? Consultez notre tableau des offres d’emploi XMPP.

      Contributions et traductions de la lettre d'information

      Il s’agit d’un effort communautaire, et nous souhaitons remercier les bénévoles pour leurs contributions. Le bénévolat et les traductions dans d'autres langues sont les bienvenus ! Les traductions de la lettre d'information XMPP seront publiées ici (avec un certain délai) :

      • Anglais (original) : xmpp.org
        • Contributions générales : Adrien Bourmault (neox), Alexander "PapaTutuWawa", Arne, cal0pteryx, emus, Federico, Gonzalo Raúl Nemmi, Jonas Stein, Kris "poVoq", Licaon_Kter, Ludovic Bocquet, Mario Sabatino, melvo, MSavoritias (fae,ve), nicola, Schimon Zachary, Simone Canaletti, singpolyma, XSF iTeam
      • Français : jabberfr.org et linuxfr.org
        • Traductions : Adrien Bourmault (neox), alkino, anubis, Arkem, Benoît Sibaud, mathieui, nyco, Pierre Jarillon, Ppjet6, Ysabeau
      • Italien : notes.nicfab.eu
        • Traductions : nicola
      • Espagnol : xmpp.org
        • Traductions : Gonzalo Raúl Nemmi
      • Allemand : xmpp.org
        • Traductions : Millesimus

      Aidez-nous à construire la lettre d'information

      Cette lettre d'information XMPP est produite de manière collaborative par la communauté XMPP. Chaque numéro mensuel de la lettre d'information est rédigé dans ce pad simple. À la fin de chaque mois, le contenu du pad est fusionné dans le dépôt GitHub de l’XSF. Nous sommes toujours ravis d'accueillir des contributions. N’hésitez pas à rejoindre la discussion dans notre chat de groupe Comm-Team (MUC) et à nous aider à maintenir cet effort communautaire. Vous avez un projet et souhaitez partager vos actualités ? Pensez à partager vos nouvelles ou événements ici pour les promouvoir auprès d’un large public.

      Tâches que nous réalisons régulièrement :

      • recueillir des nouvelles dans l’univers XMPP
      • rédiger des résumés brefs des actualités et événements
      • résumer les communications mensuelles sur les extensions (XEPs)
      • réviser le brouillon de la lettre d'information
      • préparer des images pour les médias
      • traduire
      • communiquer via les comptes sur les réseaux sociaux

      Licence

      Cette lettre d'information est publiée sous la licence CC BY-SA.

      Commentaires : voir le flux Atom ouvrir dans le navigateur

      Nouvelles de Haiku - Hiver 2024-25

      Haiku est un système d’exploitation pour les ordinateurs personnels. Il s’agit à l’origine d’une réécriture de BeOS. Le projet a démarré en 2001 et est actuellement en phase de beta-test pour une première version stable avec support à long terme. Depuis 2024, l’activité du projet Haiku s’accélère grâce entre autres à l’embauche d’un développeur à plein temps. Les dépêches sur Haiku sont donc désormais publiées tous les 3 mois au lieu de tous les ans pour leur conserver une longueur digeste.

      La complète liste des changements survenus pendant ces 3 mois comporte près de 300 commits. La dépêche ne rentre pas dans les détails de chaque changement et met en valeur les plus importants.

      Les grosses évolutions sont un nouveau port de Iceweasel (Firefox), et des grosses améliorations sur la gestion de la mémoire.

      Comme on est en début d’année, c’est aussi le moment du bilan financier.

      Sommaire

      Rapport financier 2024

      Recettes

      L’association Haiku inc (association de type 501(c)3 aux USA) publie chaque année un rapport financier. Le rôle de l’association est de récolter les dons et de les redistribuer pour aider au développement de Haiku. Elle ne prend pas part aux décisions techniques sur l’orientation du projet, et habituellement les dépenses sont faites en réponse aux demandes des développeurs du projet.

      L’objectif en début d’année 2024 était de récolter 20 000$ de dons. Cet objectif a été largement atteint, il a dû être mis à jour 2 fois en cours d’année et finalement ce sont plus de 31 000$ qui ont été reçus ! Cela en particulier grace à un assez gros don de 7 500$.

      Les dons sont récoltés via différentes plateformes: Github Sponsors (intéressant, car il n’y a aucun frais de traitement), PayPal, Liberapay, Benevity (une plateforme de « corporate matching »), ainsi que des paiements par chèque, virements bancaires, et en espèce lors de la tenue de stands dans des conférences de logiciels libres. La vente de T-Shirts et autre merchandising via la boutique Freewear reste anecdotique (une centaine de dollars cette année).

      Il faut ajouter à ces dons une contribution de 4 400$ de la part de Google en compensation du temps passé à l’encadrement des participants au Google Summer of Code.

      Il faut également ajouter des dons en crypto-monnaies, principalement en bitcoins. Le rapport financier présente les chiffres en détail en tenant une compatibilité séparée en dollars, en euros, et en crypto-monnaies, avant de convertir le total en dollars pour dresser un bilan complet.

      Une mauvaise nouvelle tout de même: le service de microdons Flattr a fermé ses portes. L’entreprise propose maintenant un service de bloqueur de publicités payant, qui reverse de l’argent aux sites dont les publicités sont bloquées.

      Le compte Flattr de Haiku avait été créé pour recevoir des dons sur la plateforme, mais n’avait jamais été configuré pour transférer ces dons vers le compte en banque de l’association. Malgré un certain temps passé à discuter avec le service client de Flattr et à leur fournir tous les documents demandés, il n’a pas été possible de trouver une solution pour récupérer cet argent. Ce sont donc 800$ qui ne reviendront finalement pas au projet Haiku.

      Au final, les recettes sont de 36 479 dollars, de loin la plus grosse somme reçue par le projet en un an.

      Dépenses

      La dépense principale est le paiement de Waddlesplash, le développeur actuellement employé par Haiku inc pour accélérer le développement du système (les autres développeurs participent uniquement sur leur temps libre, en fonction de leurs autres activités). Cela représente 25 500$, un coût assez faible par rapport au travail réalisé.

      Le deuxième poste de dépenses est l’infrastructure, c’est-à dire le paiement pour l’hébergement de serveurs, les noms de domaines, et quelques services « cloud » en particulier pour le stockage des dépôts de paquets.

      Le reste des dépenses consiste en frais divers (commission PayPal par exemple), remboursement de déplacements pour la participation à des conférences, ainsi que le renouvellement de la marque déposée sur le logo Haiku.

      Le total des dépenses s’élève à 31 467$. C’est moins que les recettes, et l’association continue donc de mettre de l’argent de côté. L’année 2022 a été la seule à être déficitaire, suite au démarrage du contrat de Waddlesplash. Ce contrat est à présent couvert par les donations reçues.

      Réserves

      L’association dispose de plus de 100 000$ répartis sur son compte en banque, un compte PayPal (qui permet de conserver des fonds en euros pour les paiements en euros et ainsi d’éviter des frais de change), et un compte Payoneer (utilisé pour recevoir les paiements de Google).

      Elle dispose également de près de 350 000$ en crypto-monnaies dont la valeur continue d’augmenter. Cependant, actuellement ces fonds ne sont pas accessibles directement, en raison de problèmes administratifs avec Coinbase, l’entreprise qui gère ce portefeuille de crypto-monnaies. Le compte n’est pas configuré correctement comme appartenant à une association à but non lucratif et cela pose des problèmes de déclaration de taxes lorsque on souhaite vendre des crypto-monnaies contre du vrai argent. Cette situation persiste depuis plusieurs années, mais l’association n’a pour l’instant pas besoin de récupérer cet argent, les réserves dans le compte en banque principal étant suffisantes.

      Applications

      Iceweasel

      Le navigateur web Iceweasel est disponible dans les dépôts de paquets (seulement pour la version 64 bits pour l’instant). Il s’agit d’un portage de Firefox utilisant la couche de compatibilité Wayland. Le nom Firefox ne peut pas être utilisé puisqu’il ne s’agit pas d’un produit officiel de Mozilla.

      En plus du travail de portage pour réussir à faire fonctionner le navigateur, cela a nécessité un gros travail d’amélioration au niveau de la gestion de la mémoire, une partie du système qui est fortement mise à contribution par ce navigateur. On en reparle plus loin dans la dépêche.

      Le navigateur est encore considéré comme expérimental: plusieurs fonctions sont manquantes et il peut y avoir des plantages. WebPositive (le navigateur natif basé sur WebKit) reste donc le navigateur installé par défaut avec Haiku, mais les deux sont complémentaires. Par exemple, Iceweasel permet d’afficher les vidéos Youtube avec des performances acceptables.

      Tracker

      Tracker est le gestionnaire de fichiers de Haiku. Il implémente une interface « spatiale », c’est-à-dire que chaque dossier s’ouvre dans une fenêtre séparée et enregistre sa position à l’écran.

      Le code du Tracker fait partie des composants qui ont pu être récupérés de BeOS. Cela signifie que certaines parties du code ont été développées il y a près de 30 ans, dans un contexte où l’élégance du code n’était pas la priorité (il fallait pour les développeurs de BeOS, d’une part livrer un système fonctionnel dans un temps raisonable, et d’autre part, fonctionner sur les machines relativement peu performantes de l’époque).

      Les évolutions sur le Tracker nécessitent donc souvent du nettoyage dans de nombreuses parties du code, et provoquent souvent des régressions sur d’autres fonctionnalités. Toutefois, les choses s’améliorent petit à petit.

      Ce trimestre, on a vu par exemple arriver la correction d’un problème avec l’utilisation de la touche « echap ». Cette touche peut servir à plusieurs choses:

      • Fermer une fenêtre de chargement ou d’enregistrement de fichier,
      • Annuler le renommage d’un fichier,
      • Annuler une recherche rapide « type ahead » qui consiste à taper quelques lettres et voir immédiatement la liste de fichiers du dossier courant se réduire à ceux qui contiennent cette chaîne de caractères.

      Ces différentes utilisations peuvent entrer en conflit. Plus précisément, lorsqu’on utilise le filtrage « type ahead », puis qu’on change d’avis et qu’on appuie sur la touche « echap », il ne faut pas que cela ferme la fenêtre en même temps.

      Un autre changement concerne plutôt la validation des données: Tracker interdit l’insertion de caractères de contrôle ASCII dans le nom de fichiers. Ce n’est pas strictement interdit (ni par Haiku, ni par ses systèmes de fichiers, ni par POSIX) en dehors de deux caractères spéciaux: le '/' et le 0 qui termine une chaîne de caractères. Mais, c’est très probablement une mauvaise idée d’avoir un retour à la ligne ou un autre caractère de contrôle enregistré dans un nom de fichier. Le Tracker interdit donc désormais de le faire et si vous êtes vraiment résolu à y parvenir, il faudra passer par le terminal.

      Enfin, une nouvelle fonctionnalité dans le Tracker est la mise à jour en temps réel des menus pop-up. Cela peut se produire pour plusieurs raisons, par exemple, l’appui sur la touche « command » modifie le comportement de certains menus. Avant ce changement, il fallait ré-ouvrir le menu (command + clic droit) pour voir ces options modifiées. Maintenant, on peut d’abord ouvrir le menu, puis maintenir la touche command enfoncée pour voir les options modifiées.

      Cela a nécessité une refonte complète de la gestion de ces menus (qui proposent de nombreuses autres choses comme la navigation « rayons X »). Au passage, certaines options qui étaient uniquement disponibles au travers de raccourcis claviers ou de la barre de menu des fenêtres du Tracker sont maintenant aussi affichées dans le menu pop-up.

      TeamMonitor

      TeamMonitor est le gestionnaire d’applications affiché quand on utilise la combinaison de touches Ctrl+Alt+Suppr. Il permet de stopper des programmes, de redémarrer la machine, et autres manipulations d’urgence si le système ne fonctionne pas comme il faut.

      Les processus lancés par une même application sont maintenant regroupés et peuvent être tous arrêtés d’un seul coup. Ce changement est nécessaire suite à l’apparition de IceWeasel, qui crée beaucoup de processus en tâche de fond pour une seule instance du navigateur web.

      HaikuDepot

      HaikuDepot est l’interface graphique pour le système de paquets de Haiku. Il se présente comme un magasin d’applications, permettant non seulement d’installer et de désinstaller des logiciels, mais aussi de les évaluer avec une note et un commentaire.

      • Ajout d’un marqueur sur les icônes des paquets qui sont déjà installés, et remplacement du marqueur utilisé pour indiquer les applications « natives » (utilisant le toolkit graphique de Haiku, par opposition à Qt et GTK par exemple).
      • Affichage plus rapide de l’état « en attente d’installation » lorsqu’on demande l’installation d’un paquet.
      • L’interface pour noter un paquet est masquée si l’attribution de notes n’est pas possible.

      Préférences

      Diverses améliorations dans les fenêtres de préférences:

      • Correction d’un crash dans les préférences d’affichage (korli).
      • Les préférences de fond d’écran n’acceptent plus le glisser-déposer d’une couleur sur un contrôle de choix de couleur désactivé. La modification de la position X et Y de l’image de fond se met à jour en temps réel quand on édite la valeur des contrôles correspondants.
      • Ajout de réglages supplémentaires (vitesse, accélération, défilement) dans les préférences des pavés tactiles. Ces options étaient déjà implémentées dans l’input_server, mais configurable uniquement pour les souris.
      • Suppression de code mort et amélioration de la gestion des polices de caractères dans les préférences d’apparence.

      Plusieurs améliorations sur les préférences de sons de notifications:

      • La fenêtre de sélection de fichiers retient le dernier dossier utilisé,
      • Elle permet également d’écouter un son avant de le sélectionner,
      • Les menus de sélection rapide de sons affichent uniquement les fichiers et pas les dossiers,
      • Certains sons ont été renommés.

      La plupart des sons ne sont cependant toujours pas utilisés par le système.

      Expander

      Expander est un outil permettant d’extraire plusieurs types de fichiers archivés.

      Peu de changement sur cet outil qui est assez simple et fonctionnel. La seule amélioration ce mois-ci concerne un changement des proportions de la fenêtre pour éviter un espace vide disgracieux.

      Cortex

      Cortex est une application permettant de visualiser et de manipuler les nœuds de traitement de données du Media Kit.

      Le composant « logging consumer » qui reçoit des données d’un autre noeud et les enregistre dans un fichier de log pour analyse a été amélioré pour enregistrer un peu plus d’informations.

      Icon-O-Matic

      L’éditeur d’icônes vectoriels Icon-O-Matic évolue peu, après un projet Google Summer of Code qui a ajouté la plupart des fonctionnalités manquantes. Ce trimestre, un seul changement: l’ajout d’une entrée menu pour supprimer un « transformeur ».

      PowerStatus

      L’application PowerStatus affiche l’état de la batterie. Cela peut se présenter comme une icône dans la barre des tâches. L’icône est de taille réduite, et les différents états n’étaient pas forcément bien visibles. Ce problème a été corrigé avec des nouveaux marqueurs pour l’état de la batterie (en charge ou inactive).

      StyledEdit

      StyledEdit est un éditeur de texte simple, permettant tout de même de formater le texte (un peu comme WordPad pour Windows).

      L’application reçoit une nouvelle option pour écrire du texte barré. Le code nécessaire a également été ajouté dans app_server, puisque cette possibilité était prévue, mais non implémentée.

      WebPositive

      Le navigateur WebPositive reçoit peu d’évolutions en ce moment, en dehors de la maintenance du moteur WebKit. On peut tout de même mentionner l’ajout d’un menu contextuel sur les marque-pages, permettant de les renommer et de les supprimer. Ce développement est issu d’un vieux patch réalisé par un candidat au Google Summer of Code, qui ne fonctionnait pas et n’avait jamais été finalisé.

      Mode sombre et configuration des couleurs

      Depuis la version Beta 5, Haiku dispose d’un nouveau système de configuration des couleurs, permettant d’obtenir facilement un affichage en « mode sombre ». Cependant, cet affichage est loin d’être parfait, et de petits ajustements sont à faire petit à petit dans toutes les applications qui n’avaient pas été pensées pour cela. En particulier, le changement de couleurs se fait en direct lorsqu’on change les réglages. On trouve ces trois derniers mois des changements dans DeskBar, Tracker, HaikuDepot, l’horloge, ainsi que la classe BTextView.

      Outils en ligne de commande

      pkgman peut rechercher les paquets installés et qui n’ont aucun autre paquet dépendant d’eux. Cela permet de trouver des paquets inutiles qui peuvent être désinstallés (il manque encore la possibilité de marquer un paquet comme étant « installé manuellement » avant de pouvoir automatiser le nettoyage).

      La commande route accepte la syntaxe utilisée par openvpn pour la configuration d’une route par défaut, ce qui facilite l’utilisation de VPN avec Haiku.

      Correction d’un problème dans le compilateur de ressources: la commande rc -d ne savait pas décompiler la structure app_version des applications Haiku, uniquement le format plus ancien utilisé par BeOS.

      La commande screenmode permet maintenant de récupérer la valeur actuelle du réglage du rétro-éclairage (en plus de permettre de changer cette valeur).

      Kits

      La bibliothèque de fonctions de Haiku est découpée en « kits » qui regroupent un ensemble de classes et de fonctionnalités liées.

      Application kit

      L’Application Kit permet, comme son nom l’indique, de lancer des applications. Il offre également toutes les fonctionnalités de boucles d’évènements, et d’envoi de messages entre applications et entre composants d’une application.

      Correction d’un problème de suppression d’un port dans la classe BApplication.

      Debug kit

      Le Debug Kit fournit les services nécessaires au Debugger pour débugger une application. Cela consiste d’une part en un accès privilégie à l’espace mémoire d’une application, et d’autre part en outils pour analyser les fichiers ELF des exécutables et bibliothèques.

      Le Debug Kit reçoit ce trimestre plusieurs évolutions et corrections permettant le décodage des stack traces dans les programmes compilés avec clang et lld. Par exemple, les fichiers ELF générés par ces outils sont découpés en plusieurs segments, alors que ce n’est pas le cas pour gcc.

      Device Kit

      Le Device Kit regroupe tout ce qui concerne l’accès direct au matériel et aux entrées-sorties depuis l’espace utilisateur: ports série, accès direct aux périphériques USB, accès aux joysticks et manettes de jeu.

      Les ports série RS232 peuvent être configurés avec des valeurs en baud personnalisées (pour l’instant uniquement pour les adaptateurs série USB).

      Interface kit

      L’Interface Kit regroupe tout ce qui concerne l’affichage de fenêtres et de vues à l’écran et les interactions avec ces fenêtres.

      • Ajout de constructeur « move » et d’opérateur d’assignation pour BRegion et BShape pour améliorer les performances en évitant les copie d’objet immédiatement suivies de suppression.
      • Ajout d’un constructeur pour BRect avec deux arguments (largeur et hauteur) pour les rectangles alignés en haut à gauche ou dont la position n’a pas d’importance.
      • Remise en place d’un cas particulier dans BBitmap::SetBits pour la gestion du canal alpha afin d’avoir un comportement plus proche de celui de BeOS.
      • BColorControl réagit correctement et déclenche les évènements nécessaires lorsqu’on modifie sa couleur par glisser-déposer.

      Media Kit

      Correction d’une assertion vérifiant la mauvaise condition dans BTimeSource.

      Réécriture de la classe BTimedEventQueue pour améliorer ses performances en évitant d’allouer de la mémoire dynamique.

      Amélioration de l’affichage des « media controls » (sliders de contrôle de volume par exemple) en mode sombre.

      libshared

      La « libshared » contient plusieurs classes expérimentales, en cours de développement, mais déjà utilisées par plusieurs applications. Il s’agit d’une bibliothèque statique, ce qui permet de changer facilement son contenu sans casser l’ABI des applications existantes.

      Ajout de la classe ColorPreview qui existait en plusieurs exemplaires dans le code de Haiku (préférences d’apparence et Terminal). Cette classe permet d’afficher une couleur dans un petit rectangle. Elle est utilisée à plusieurs endroits dans des contrôles de choix de couleur plus complexes, tels que des listes ou des menus.

      Servers

      Les servers sont des processus systèmes implémentant différentes fonctionnalités de Haiku. Le concept est similaire à celui des daemons dans UNIX, ou des services dans Windows NT et systemd.

      app_server

      L’app_server s’occupe de l’affichage des applications à l’écran.

      Suppression de code inutilisé depuis longtemps permettant l’accélération matérielle d’opérations de dessin en 2D (blit, tracé de lignes, remplissage de rectangles…).

      Sur les cartes graphiques PCI, ces opérations étaient souvent réalisées plus rapidement par le CPU qui tourne à une fréquence bien plus rapide que la carte. Sur les cartes AGP, l’accès en lecture à la mémoire vidéo par le CPU est très lent, et il était donc plus intéressant de faire ces opérations en RAM centrale avant d’envoyer un buffer prêt à afficher à la carte graphique. Enfin sur les cartes PCI express modernes, ces fonctions d’accélération ont disparu ou en tout cas n’ont pas du tout une interface compatible avec les besoins de Haiku. Il est donc temps de jeter ce code.

      Modification de la façon dont les applications récupèrent la palette de couleurs en mode graphique 256 couleurs: elle utilise maintenant une mémoire partagée, et il n’est plus nécessaire que chaque application demandent au serveur graphique d’en obtenir une copie.

      input_server

      L’input_server se charge des entrées souris et clavier. Cela comprend les méthodes d’entrée de texte (par exemple pour le Japonais) ainsi que des filtres permettant de manipuler et d’intercepter ces évènements d’entrée avant leur distribution dans les applications.

      Améliorations du filtre PadBlocker pour bloquer le touchpad quand le clavier est en cours d’utilisation sur les PC portables: gestion des répétitions de touches, blocage uniquement du touchpad et pas des autres périphériques de pointage.

      net_server

      Le net_server se charge de la configuration des interfaces réseau.

      Arrêt du client d’autoconfiguration (DHCP par exemple) lors de la perte du lien sur un port Ethernet, pour ne pas essayer d’envoyer des paquets alors que le câble est débranché.

      notification_server

      notification_server se charge de l’affichage de panneaux de notification pour divers évènements tels que la connexion et déconnexion d’interfaces réseau, un niveau dangereusement bas de la batterie, la fin d’un téléchargement…

      La fenêtre de notification a été retravaillée pour mieux s’adapter à la taille de police d’affichage choisie par l’utilisateur.

      mail_daemon

      mail_daemon permet d’envoyer et de recevoir des e-mails. Les messages sont stockés sous forme de fichiers avec des attributs étendus pour les métadonnées (sujet, expéditeur…). Plusieurs applications clientes permettent de rédiger ou de lire ces fichiers. Ainsi chaque application n’a pas besoin de réimplémenter les protocoles IMAP ou SMTP.

      Amélioration de la fenêtre de logs pour la compatibilité avec le mode sombre.

      runtime_loader

      Le runtime_loader est l’outil qui permet de démarrer un exécutable. Il se charge de trouver toutes les bibliothèques partagées nécessaires et de les placer dans la mémoire.

      Ajout du flag PF_EXECUTE qui rend exécutable uniquement les sections ELF qui le nécessitent (auparavant, toutes les sections qui n’étaient pas accessibles en écriture étaient exécutables). Cela est utilisé en particulier par clang, qui sépare une zone en lecture seule (pour les constantes) et une autre en lecture et exécution (pour le code). Avec gcc, les deux sont habituellement regroupées dans la même section.

      Drivers

      Périphériques de stockage

      Correction de bugs dans la couche SCSI (utilisée également pour d’autres périphériques de stockage qui encapsulent des commandes SCSI). Des drapeaux d’état n’étaient pas remis à 0 au bon moment, ce qui causait des kernel panic avec le message « no such range! ».

      Cela a été l’occasion de faire du ménage : suppression de champs inutilisés dans des structures de données, et suppression du module d’allocation mémoire locked_pool qui n’était utilisé que par la pile SCSI. À la place, utilisation des fonctions d’allocation mémoire standard du noyau, qui sont amplement suffisantes pour répondre aux besoins de ce module (waddlesplash).

      Cartes son

      Correction d’erreurs dans le code de gestion mémoire des pilotes es1370 et auvia. Ces drivers utilisaient deux copies d’un code d’allocation identique, mais avaient divergé l’un de l’autre. Ils ont été réunifiés mais cela a provoqué quelques régressions, avec des difficultés pour trouver des machines permettant de tester chacune des cartes son concernées. Haiku peut heureusement compter sur des utilisateurs « avancés » qui testent régulièrement les nightly builds pour détecter ce type de régression (korli).

      Réseau

      Correction d’une fuite mémoire lors de l’utilisation de sockets « raw » permettant d’envoyer et de recevoir directement des paquets ethernet (en contournant la couche IP).

      Pilotes FreeBSD

      Une grande partie des pilotes de carte réseau de Haiku sont en fait ceux de FreeBSD ou d’OpenBSD. Une couche de compatibilité permet de réutiliser ces pilotes avec très peu de changement dans leur code source. Ainsi, les évolutions et corrections peuvent être partagées avec l’un ou l’autre de ces systèmes. La collaboration avec les *BSD pour les pilotes réseau se passe de mieux en mieux : suite au développement d’une couche de compatibilité permettant d’utiliser les pilotes OpenBSD dans Haiku, les développeurs de FreeBSD étudient la possibilité de réutiliser également ces pilotes. De plus, les développeurs de Haiku et d’OpenBSD sont en contact pour coordonner les mises à jour et les tests.

      Génération de statistiques plus fiables sur les paquets réseaux dans la couche de compatibilité FreeBSD et remontée des statistiques générées par les pilotes associés.

      Synchronisation du pilote realtekwifi avec la version de FreeBSD et reconnaissance d’un identifiant de périphérique USB supplémentaire dans ce pilote.

      Amélioration de la couche de compatibilité pour se comporter plus précisément comme FreeBSD, et suppression de patchs correspondants dans les pilotes qui sont devenus superflus.

      Amélioration des performances de la couche de compatibilité: retrait de comparaisons de chaînes de caractères et d’allocations inutiles.

      Pilotes spécifiques à Haiku

      Amélioration du comportement du pilote USB RNDIS (partage de connexion sur USB de certains téléphones Android) lorsque le câble USB est déconnecté. Le pilote incluait du code pour tenter de restaurer la connexion existante si le même appareil est reconnecté, mais les périphériques RNDIS utilisent des adresses MAC aléatoires qui changent à chaque connexion, donc cela ne pouvait pas fonctionner. De plus, certains transferts USB n’étaient pas correctement annulés pour laisser la pile USB dans un état propre après la déconnexion du périphérique.

      USB

      Ajout d’une annulation de transferts de données en attente dans le pilote pour les périphériques de stockage USB, ce qui corrige un kernel panic lors de l’utilisation de lecteurs de disquettes USB. Arrêt immédiat des opérations (au lieu de ré-essayer pendant quelques secondes) si le périphérique indique « no media present » (CD ou disquette éjectée de son lecteur par exemple).

      Ajout d’une vérification de pointeur NULL et de libération de mémoire manquantes dans la pile USB, ce qui corrige des fuites de mémoires (qui étaient là depuis longtemps) et une assertion qui se déclenchait (introduite plus récemment).

      Le pilote de webcam UVC est mis à jour pour utiliser des constantes (identifiants de types de descripteurs…) partagées avec le reste du système au lieu de toutes les redéfinir une deuxième fois. L’affichage des descripteurs dans listusb est également complété pour décoder toutes les informations disponibles. Le pilote n’est toujours pas complètement fonctionnel: l’établissement des transferts au niveau USB fonctionne, mais pour l’instant le pilote ne parvient pas à décoder les données vidéo reçues correctement.

      Le pilote HID sait reconnaître les « feature reports », qui permettent de configurer un périphérique. Par exemple, cela peut permettre de configurer un touchpad en mode multi-point (dans lequel le système doit effectuer lui-même le suivi de chaque doigt sur la surface tactile pour convertir cela en mouvements de pointeur de souris) ou en mode émulation de souris (où on ne peut utiliser qu’un doigt à la fois, mais avec un pilote beaucoup plus simple).

      Le pilote pour les tablettes Wacom reconnaît la tablette CTH-470.

      PS/2

      Les ports PS/2 ont disparu de la plupart des machines ces dernières années, mais le protocole reste utilisé pour le clavier des ordinateurs portables, ainsi que pour certains touchpads. Malheureusement, le protocole est seulement émulé au niveau de l’« embedded controller » (le microprocesseur qui se charge de l’interfaçage de divers composants annexes). Le résultat est que l’implémentation du protocole et des registres d’interface peut s’éloigner considérablement des documents officiels.

      Amélioration de la détection des contrôleurs PS/2 supportant le protocole « active multiplexing » permettant de connecter à la fois une souris et un touchpad. La procédure de détection officielle peut générer des faux positifs: certains contrôleurs répondent bien à cette commande, mais n’implémentent en fait pas du tout le protocole. Cela provoquait un long délai au démarrage alors que le pilote tente d’énumérer des périphériques de pointage qui n’existent pas. Une vérification supplémentaire après l’activation du mode multiplexé permet de détecter ce cas.

      virtio_pci

      virtio est un standard matériel pour les machines virtuelles. Plutôt que d’émuler un vrai matériel (carte réseau, carte graphique…), une machine virtuelle peut émuler un matériel qui n’a jamais été fabriqué, mais dont la programmation est beaucoup plus simple. Cela permet également des opérations inimaginables sur du matériel réel, comme la possibilité de changer la taille de la RAM en cours d’exécution pour mieux partager la mémoire de l’hôte entre différentes machines virtuelles.

      Le pilote virtio_pci est à la racine du système virtio. Il détecte la « carte PCI » virtio et implémente les primitives de base d’envoi et de réception de messages entre l’hôte et la machine virtualisée (du côté virtualisé, pour le côté hôte, c’est le virtualisateur, par exemple QEMU, qui s’en charge).

      Correction de plusieurs problèmes avec les numéros de files virtio qui rendaient les pilotes instables.

      ACPI

      ACPI est un cadriciel pour la gestion de l’énergie et l’accès au matériel. Le fabricant du matériel fournit (dans la ROM du BIOS) un ensemble de « tables » contenant une description du matériel disponible, ainsi que des méthodes compilées en bytecode pour piloter ce matériel. Le système d’exploitation doit fournir un interpréteur pour ce bytecode, puis réaliser les entrées-sorties vers le matériel demandé lors de l’exécution.

      Haiku utilise actuellement ACPICA, une bibliothèque ACPI développée principalement par Intel.

      Correction d’un problème d’accès à de la mémoire non cachée. Une modification faite pour les machines ARM a déclenché un problème sur les machines x86.

      Sondes de température

      Ajout d’un nouveau pilote amd_thermal, ajout de ce dernier ainsi que des pilotes pch_thermal et acpi_thermal dans l’image disque par défaut. Ces pilotes devraient permettre de récupérer la température du processeur sur la plupart des machines. Il reste maintenant à intégrer cela dans les outils en espace utilisateur pour faire un bon usage de ces informations.

      Pilotes graphiques

      Ajout de deux nouvelles générations de cartes graphiques dans le pilote intel_extreme.

      Le pilote VESA est capable de patcher le BIOS de certaines cartes graphiques à la volée pour y injecter des modes graphiques supplémentaires (la spécification VESA permettant à l’OS uniquement de choisir un mode parmi une liste fournie par la carte graphique, liste souvent assez peu fournie). Ce mode est désormais activé par défaut sur les cartes graphiques où il a pu être testé avec succès.

      Systèmes de fichiers

      FAT

      FAT est un système de fichier développé par Microsoft et qui remonte aux premiers jours de MS-DOS. Il est encore utilisé sur certaines clés USB et cartes SD, bien que exFAT tend à le remplacer petit à petit. Il est également utilisé pour les partitions systèmes EFI.

      Le pilote de Haiku a été récemment réécrit à partir de celui de FreeBSD. L’amélioration de ce nouveau pilote se poursuit, avec ce mois-ci :

      • Les noms de volumes FAT sont convertis en minuscules comme le faisait l’ancien pilote FAT,
      • Le cache de blocs implémente maintenant un mécanisme de prefetch pour récupérer plusieurs blocs disque d’un coup, et le pilote FAT utilise cette nouvelle possibilité pour améliorer en particulier le temps de montage,
      • Correction de problèmes dans le cache de fichiers si deux applications accèdent au même fichier mais avec des noms différents par la casse (le système de fichier ignorant ces différences).

      BFS

      BFS est le système de fichier principal de BeOS et de Haiku. Il se distingue des autres systèmes de fichiers par une gestion poussée des attributs étendus, avec en particulier la possibilité de les indexer et d’effectuer des requêtes pour trouver les fichiers correspondants à certains critères.

      Clarification de la description des options disponibles lors de l’initialisation d’un volume BFS.

      Correction des fonctions d’entrées/sorties asynchrones pour référencer correctement les inodes, ce qui corrige un très ancien rapport de bug. Des corrections similaires ont été faites également dans les pilotes FAT et EXFAT.

      Correction des requêtes sur l’attribut « dernière modification », et amélioration de la gestion du type « time » pour éviter les conversions inutiles (ce type d’attribut est historiquement stocké en 32 bits mais migré en 64 bits lorsque c’est possible pour éviter le bug de l’an 2038, aussi le code doit être capable de traiter ces 2 formats de stockage).

      packagefs

      Le système de fichier packagefs est au centre de la gestion des paquets logiciels dans Haiku. Les paquets ne sont pas extraits sur le disque, mais montés dans un système de fichier spécifique (qui implémente une version tout-en-un de ce qui pourrait être réalisé sous Linux avec squashfs et overlayfs).

      Ce système de fichier se trouve donc sur le chemin critique en termes de performances, ce qui fait que même de petites optimisations peuvent déboucher sur de gros gains de performance.

      Optimisation de la gestion de la mémoire: utilisation d’un allocateur dédié pour allouer et désallouer très rapidement de la mémoire de travail avec une durée de vie courte.

      Ajout d’une vérification manquante sur la présence du dossier parent, qui pouvait déclencher un kernel panic.

      NFS4

      Le pilote NFS4 permet de monter des partages réseau NFS. Cependant, le pilote ne fonctionne pas toujours, et certains utilisateurs doivent se rabattre sur le pilote NFS v2 (ancienne version du protocole de moins en moins utilisée), ou encore sur des systèmes de fichiers FUSE comme SMB ou sshfs.

      Le pilote NFS4 peut maintenant être compilé avec userlandfs (équivalent de FUSE pour Haiku) pour s’exécuter en espace utilisateur. Cela facilitera le déboguage.

      ramfs et ram_disk

      ram_disk est un périphérique de stockage qui stocke les données en RAM, il a une taille fixe et doit être formaté avec un système de fichiers avant de pouvoir être utilisé.
      ramfs est un système de fichier stockant les données directement en RAM sans passer par un périphérique de stockage de type bloc. Sa taille est dynamique en fonction des fichiers qui sont stockés dedans.

      Ces deux pilotes ont reçu divers nettoyages et corrections, suite à des problèmes mis en évidence par des assertions ajoutées précédemment dans le code.

      Dans le ramfs, nettoyage de code dupliqué, réduction de la contention sur les verrous, amélioration de la fonction readdir pour retourner plusieurs entrées d’un coup au lieu de les égréner une par une.

      Ajout de la gestion des fichiers « spéciaux » (FIFOs nommés, sockets UNIX) dans ramfs.

      Autres

      Refonte de l’algorithme de « scoring » des requêtes sur les systèmes de fichiers. Cet algorithme permet d’estimer quels sont les termes de la requête les moins coûteux à évaluer, afin de réduire rapidement le nombre de fichiers répondant aux critères, et d’effectuer les opérations complexes seulement sur un petit nombre de fichiers restants. Les requêtes s’exécutent ainsi encore plus rapidement (waddlesplash).

      Réécriture du code pour identifier les partitions dans mount_server. Ce code permet de re-monter les mêmes partitions après un redémarrage de la machine, mais l’ancien algorithme pouvait trouver de faux positifs et monter des partitions supplémentaires (OscarL et waddlesplash).

      Correction d’une option de debug pour intercepter les accès aux adresses non initialisées (0xcccccccc) ou déjà libérées (0xdeadbeef). Cela permet de détecter certains accès à des pointeurs invalides. Cette option ne fonctionnait correctement que sur les systèmes 32 bit, maintenant, l’adresse correspondante pour les machines 64 bit est également protégée.

      libroot

      La libroot est la librairie C de base de Haiku. Elle regroupe les fonctions parfois implémentées dans les libc, libm, libpthread, librt et libdl pour d’autres systèmes. Haiku choisit une approche tout-en-un, car il est excessivement rare qu’une application n’ait pas besoin de toutes ces bibliothèques.

      Du fait de la grande diversité des services rendus par cette bibliothèque, il est difficile de présenter les changements de façon cohérente et organisée.

      Correction de quelques cas particuliers dans le traitement des tableaux de descripteurs de fichiers pour select() et déplacement d’une partie des définitions de sys/select.h vers des en-têtes privés non exposés aux applications (waddlesplash).

      Ajout d’une fonction manquante dans les « stubs » de la libroot, qui sont utilisés lors de la compilation de Haiku en mode « bootstrap » (sans aucune dépendance précompilée externe). Les stubs sont normalement générés à l’aide d’un script, mais celui-ci n’avait pas pris en compte une fonction nécessaire seulement sur les architectures x86.

      Poursuite du travail d’unification des fonctions de manipulation des temps d’attentes pour toutes les fonctions de la libroot qui peuvent déclencher un timeout. Correction d’un cas où la fonction pthread_testcancel retournait NULL au lieu de la valeur attendue PTHREAD_CANCELED.

      Optimisation de la fonction strcmp, remplacement d’autres fonctions avec de meilleures implémentations provenant de la bibliothèque C musl.

      Compatibilité POSIX-2024

      La spécification POSIX Issue 8 a été publiée et comporte de nombreux changements. Après la version 7, la façon de travailler est devenue plus ouverte, avec un outil de suivi de bugs permettant de proposer des améliorations. Cela conduit à la standardisation de nombreuses extensions qui sont communes entre les systèmes GNU et BSD, rendant plus facile d’écrire du code portable entre tous les systèmes compatibles POSIX.

      • Ajout de fonctions qui ouvrent des descripteurs de fichiers avec le drapeau O_CLOEXEC activé par défaut (dup2, pipe3)
      • Ajout de reallocarray (un mélange de calloc et realloc)
      • Ajout de memmem (recherche d’une suite d’octets dans une zone de mémoire)
      • Ajout de mkostemp
      • Ajout de posix_devctl et modifications de l’implémentation de ioctl
      • Ajout de pthread_getcpuclockid pour mesurer le temps CPU consommé par un thread
      • Ajout de la constante d’erreur ESOCKTNOSUPPORT bien qu’elle ne soit jamais utilisée (cela facilite le portage d’applications qui attendent l’existence de ce code d’erreur)
      • Correction d’une boucle infinie dans pipe2
      • Suppression des fonctions *randr48_r des en-têtes publics. Il s’agit d’une extension disponible uniquement dans la glibc, et qui ne devrait donc pas être disponible dans la libroot. Cependant, l’implémentation est conservée pour assurer la compatibilité d’ABI avec les applications existantes.

      ioctl et posix_devctl

      La fonction ioctl existe depuis le début de UNIX et permet de réaliser des opérations spéciales sur les descripteurs de fichiers (tout ce qui n’est pas une simple lecture ou écriture). En particulier, elle est beaucoup utilisée pour les pilotes de périphériques qui exposent une interface sous forme de fichiers dans /dev.

      L’existence de cette fonction était demandée dans la spécification POSIX, mais son fonctionnement n’était pas documenté à l’exception de quelques cas particuliers. La documentation spécifie une fonction avec un nombre d’arguments variable : un numéro de descripteur de fichier, un identifiant de l’opération à effectuer, puis des paramètres qui dépendent de l’opération. On trouve des opérations avec aucun, un, ou deux paramètres.

      Dans UNIX et la plupart de ses dérivés, la liste des opérations possibles est définie à l’avance, et le format des numéros identifiants permet de déterminer de façon prédictible quel est le nombre de paramètres attendus. Ce n’est pas le cas dans Haiku : les pilotes de périphériques ont le choix d’assigner n’importe quelle valeur à n’importe quelle opération, et la même valeur numérique peut donc avoir une signification différente selon le type de fichier.

      L’opération ioctl est donc en réalité implémentée avec toujours 4 arguments pour Haiku : en plus des deux déjà mentionnés, il faut ajouter un pointeur vers une zone de mémoire, et un entier indiquant la taille de cette zone. Des acrobaties à base de macros permettent de remplir ces deux paramètres avec des valeurs par défaut lorsqu’ils ne sont pas nécessaires (au moins pour les programmes écrits en C ; en C++, ces deux paramètres sont simplement déclarés avec une valeur par défaut).

      Heureusement, ces problèmes avec ioctl vont être résolus, puisque POSIX a introduit une nouvelle fonction en remplacement : posix_devctl. Celle-ci fonctionne comme l’implémentation de ioctl dans Haiku, mais les arguments doivent toujours être spécifiés explicitement. Cela va donc permettre de disposer d’une interface réellement portable pour ces opérations.

      Kernel

      Correction de la taille du tampon mémoire par défaut de la classe KPath qui permet au noyau de manipuler des chemins dans le système de fichiers (waddlesplash).

      VFS

      Le VFS (virtual filesystem) est l’interface entre les appels systèmes d’accès aux fichiers (open, read, write…) et les systèmes de fichiers proprement dit. En plus de ce travail d’interfaçage (par exemple : convertir un chemin de fichier absolu en chemin relatif à un point de montage), cette couche regroupe un ensemble de fonctionnalités qui n’ont pas besoin d’être réimplémentées par chaque système de fichier: vérification des permissions, mémoire cache pour limiter les accès au disque.

      Si les systèmes de fichiers identifient chaque objet par un inode (en général lié à la position de l’objet sur le disque ou dans la partition de stockage), le VFS travaille lui avec des vnode qui existent uniquement en RAM et sont alloués dynamiquement pour les fichiers en cours d’utilisation.

      D’autre part, les systèmes de fichiers peuvent se reposer sur un cache de blocs. Ce dernier se trouve plutôt à l’interface entre un système de fichier et le support de stockage correspondant, puisqu’il fonctionne au niveau des blocs de données stockées sur disque. Mais son intégration avec le VFS est nécessaire pour savoir quels sont les fichiers en cours d’utilisation et les opérations prévisibles sur chacun (par exemple, il est utile de pré-charger la suite d’un fichier lorsque un programme demande à en lire le début, car il est probable que ces informations vont bientôt être nécessaires).

      Le VFS est donc un élément central en particulier pour obtenir de bonnes performances sur les accès aux fichiers, en minimisant les accès aux vrais systèmes de fichiers qui doivent maintenir beaucoup d’informations à jour sur les disques. Tout ce qui peut être traité en utilisant uniquement la RAM grâce à la mise en cache est beaucoup plus rapide.

      Investigation et amélioration des performances de la commande git status qui prenait beaucoup plus de temps à s’exécuter que sur d’autres systèmes (waddlesplash):

      • Meilleure gestion des vnodes inutilisés à l’aide d’une liste chaînée 'inline' protégée par un spinlock, à la place d’un mutex peu performant dans ce code très fréquemment appelé.
      • Modification de la structure io_context pour utiliser un verrou en lecture-écriture (permettant plusieurs accès concurrents en lecture, mais un seul en modification).
      • Ajout d’un chemin rapide dans le cas le plus simple de la recherche de vnode.

      Avec ces changements, les performances sont améliorées au moins lorsque les données nécessaires sont déjà disponibles dans le cache disque.

      Nettoyage et corrections dans les fonctions d’entrées-sorties vectorisées et asynchrones do_iterative_fd_io et do_fd_io utilisées par les systèmes de fichiers: meilleure gestion des références et prise en compte de certains cas particuliers. Cela permet de simplifier un peu le code de pré-remplissage du cache de blocs (waddlesplash).

      La prise en compte des drapeaux O_RDONLY|O_TRUNC lors de l’ouverture d’un fichier est maintenant faite directement dans le VFS, il n’est plus nécessaire de transmettre la requête au système de fichier. Cette combinaison de drapeaux est un comportement indéfini dans POSIX, et supprime le contenu du fichier dans Linux. Dans Haiku, elle remonte une erreur.

      Correction du comportement de l’ouverture d’un symlink invalide (ne pointant pas sur un fichier) avec le flag O_CREAT.

      Le parser de requêtes pouvait essayer de lire des données invalides (la taille de clé d’un index inexistant) dans certains cas particuliers.

      Nettoyage de logs dans tous les systèmes de fichiers qui affichaient un message lors de chaque tentative d’identification. On avait donc un message de chaque système de fichier pour chaque partition. Maintenant, le cas le plus courant (le système de fichier ne reconnaît pas du tout la partition) ne déclenche plus de logs.

      Correction d’une erreur dans userlandfs sur la fonction file_cache_read pour les tentatives d’accès après la fin d’un fichier (cas particulier nécessaire pour implémenter correctement mmap).

      Correction d’une mauvaise gestion du errno dans le cache de blocs, qui pouvait aboutir à un kernel panic.

      Diverses améliorations, nettoyages et corrections de fuites mémoire: dans la gestion des fichiers montés comme image disques, dans les entrées-sorties asynchrones, dans l’enregistreur d’évènements scheduling recorder.

      Console et affichage

      Unification du code d’affichage du splash screen (par le bootloader) et des icônes de la séquence de démarrage (par le kernel) pour éviter qu’ils prennent des décisions différentes sur le positionnement (par exemple si l’un est compilé pour afficher le logo de Haiku, et l’autre en version « dégriffée » sans ce logo qui est une marque déposée) (waddlesplash).

      Initialisation de la console framebuffer beaucoup plus tôt dans le démarrage du noyau, ce qui permet d’afficher un message à l’écran en cas de kernel panic y compris dans les premières étapes du démarrage (par exemple, l’initialisation de la mémoire virtuelle). Auparavant, ces informations étaient disponibles uniquement dans le syslog (inaccessible si le système ne démarre pas) ou via un port série (en voie de disparition sur les machines modernes) (waddlesplash).

      Réseau

      Remontée des données annexes (ancillary data) en une seule fois lorsque c’est possible. Ces données sont utilisées en particulier dans les sockets de domaine AF_UNIX pour permettre d’échanger des descripteurs de fichiers entre processus. Ce regroupement de données n’est pas exigé par la spécification POSIX, mais c’est le comportement attendu par le code de communication interprocessus de Firefox et de Chromium (ils utilisent tous les deux le même code) (waddlesplash).

      Gestion de la mémoire

      Comme indiqué plus haut dans la dépêche, l’apparition du navigateur Iceweasel a mis en évidence de nombreux problèmes autour de la gestion de la mémoire. Cela a donc été l’objet d’un gros travail de stabilisation et d’amélioration.

      • Le cache d’objets du noyau pouvait parfois ignorer le paramètre indiquant la réserve minimum d’objets devant toujours être disponibles (waddlesplash)
      • Amélioration de l’implémentation de la famille de fonctions autour de mprotect, qui permettent une gestion fine et bas niveau de la mémoire. En particulier, plusieurs problèmes se posaient lors de l’utilisation de ces fonctions lors d’un appel à fork, les deux processus se retrouvant dans un état incohérent,
      • Suppression de logs présents dans les méthodes de défaut de page, qui sont peu appelées pour les applications classiques, mais exploitées volontairement par d’autres applications (machines virtuelles Java ou Javascript par exemple). Les logs étaient donc superflus dans ce cas (waddlesplash),
      • Optimisation de l’écriture par lot de plusieurs pages de mémoire vers le swap,
      • Meilleure gestion des permissions d’accès page par page,
      • Correction de plusieurs problèmes conduisant à un blocage ou fort ralentissement du système quand il n’y a plus assez de mémoire libre,
      • Amélioration de la stratégie d’allocation de la table des descripteurs de fichiers,
      • Regroupement de code dupliqué pour chaque plateforme qui était en fait générique.

      Ce travail se poursuit avec un remplacement de l’allocateur mémoire actuel, qui est basé sur hoard2. Cette implémentation est assez ancienne et montre aujourd’hui ses limites. Des essais sont en cours avec l’implémentation de malloc d’OpenBSD, ainsi qu’avec mimalloc de Microsoft, pour déterminer lequel des deux sera utilisé. D’autres allocateurs ont été rejetés, car ils ne répondent pas au besoin de Haiku, en particulier la possibilité de fonctionner efficacement sur un système 32 bits ou l’espace d’adressage est une ressource limitée.

      Autres

      Sécurisation des permissions sur les zones mémoire partagées: une application ne peut pas ajouter des permissions en écriture aux zones mémoire d’une autre application. Une application qui n’est pas lancée par l’utilisateur root ne peut pas inspecter la mémoire d’une application lancée par l’utilisateur root. Ajout toutefois de cas particuliers pour permettre au Debugger de faire son travail (il a besoin d’accéder à la mémoire d’autres applications).

      Ajout et amélioration de commandes dans le debugger noyau pour investiguer l’état de l’ordonnanceur d’entrées-sorties, qui se charge de programmer les accès disque dans un ordre le plus efficace possible (waddlesplash).

      La fonction vfork n’appelle plus les fonctions pre-fork. Haiku n’implémente pas complètement vfork, mais peut se permettre des optimisations sur le travail qu’un duo fork + exec classique demanderait normalement.

      La configuration de la randomization de l’espace mémoire (ASLR) est maintenant faite par la libroot et pas par le noyau. Ainsi une application peut utiliser une version différente de la libroot pour avoir une politique de randomization différente.

      Optimisation de l’accès par un thread à sa propre structure Thread

      Chargeur de démarrage

      L’écran de démarrage s’affiche correctement sur les systèmes EFI utilisant un mode écran avec une profondeur de couleur 16 bits (korli).

      Affichage de la taille des partitions démarrables dans le menu de démarrage, pour faciliter leur identification (waddlesplash).

      Activation des warnings du compilateur sur les chaînes printf invalides.

      Augmentation de la zone de mémoire utilisée pour la décompression de l’archive de démarrage lors du boot sur le réseau, l’archive était devenue trop grosse suite à l’ajout de nouveaux pilotes.

      Refactorisation du code de gestion de la mémoire entre le bootloader et le runtime_loader, ajout de tests pour cette implémentation, et optimisation de l’utilisation mémoire du bootloader.

      Amélioration du comportement si le device tree définit un port série sans spécifier de baudrate: le bootloader suppose que le baudrate est déjà configuré, et utilise le port sans essayer de le réinitialiser.

      Outils de compilation

      La compilation de Haiku est un processus relativement complexe: il faut utiliser deux compilateurs pour Haiku lui-même (un gcc récent plus une version plus ancienne pour assurer la compatibilité avec BeOS) ainsi que un compilateur pour le systême hôte de la compilation (qui peut être Linux, BSD, Mac OS ou Windows) pour générer des outils nécessaires à la compilation elle-même. L’outil retenu est Jam, une alternative à Make avec une meilleure gestion des règles génériques réutilisables.

      • Ajout de vérification pour éviter d’avoir un build partiellement configuré, avec des ConfigVars définies mais vides.
      • Retrait d’un warning incorrect dans l’outil de build jam si on spécifie à la fois un profil et une cible de compilation sur la ligne de commande.
      • Reconnaissance des processeurs hôtes ARM et RISC-V pour la compilation croisée, correction d’autres problèmes avec les architectures non-x86.
      • Ajout de dépendances manquantes dans les règles de compilation de packagefs.
      • Suppression de fichiers de licence fournis avec Haiku mais concernant du code qui avait été supprimé de Haiku auparavant.
      • Amélioration de la remontée d’erreur du script configure si un interpréteur Python n’a pas été trouvé.
      • Correction de messages d’avertissement de awk pour l’utilisation de fonctions qui n’existent plus dans le traitement des fichiers d’identifiants matériels USB et PCI.

      Documentation

      Documentation interne

      Ajout de documentation sur les détails d’implémentation de ioctl et posix_devctl et les spécificités de Haiku pour la première (PulkoMandy).

      Correction de fautes de frappe dans l’introduction au launch_daemon.

      Remplacement de toutes les références à "OpenBeOS" par "Haiku".

      Documentation d’API

      Ajout de documentation pour les méthodes GetFontAndColor et SetFontAndColor de BTextView.

      Ajout de documentation pour les classes BShelf et BGameSound.

      Réorganisation de la liste des caractères de contrôles dans la documentation du clavier, ajout d’entrées manquantes dans cette liste et ajoute de commentaires indiquant à quelles combinaisons de touches ces caractères sont normalement associés.

      Traductions de Haiku

      La traduction du système dans différentes langues est un facteur important d’inclusivité et d’accessibilité (même si la communication avec l’équipe de développeurs pour le support n’est pas toujours simple).

      Haiku est disponible dans 30 langues, la trentième étant le coréen, pour lequel il y a un nouveau responsable des traductions (le précédent avait cessé toute activité et laissé la traduction inachevée).

      Haiku recherche des volontaires pour s’occuper des traductions en biélorusse, croate, bulgare, hindi, punjabi et slovène, pour lesquelles les précédents responsables de relectures n’ont plus le temps d’assurer le rôle. Ainsi bien sûr que de l’aide pour la traduction du système, du manuel d’utilisation, et des applications tierces, que ce soit pour ajouter de nouvelles langues ou pour renforcer les équipes s’occupant de langues existantes. Le point d’entrée est le portail d’internationalisation de Haiku.

      La traduction du système Haiku s’effectue avec Pootle. L’outil n’est plus développé et des investigations sont en cours pour le remplacer par Weblate. La traduction du manuel d’utilisation s’effectue avec [un outil spécifiquement développé pour cela](https://github.com/haiku/userguide-translator. La traduction des applications s’effectue également avec un outil personnalisé nommé Polyglot.

      Commentaires : voir le flux Atom ouvrir dans le navigateur

      Yvonne Choquet-Bruhat, les ondes gravitationnelles et Einstein

      17 février 2025 à 07:50

      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.

      Sommaire

      Une famille d’universitaires

      Yvonne Bruhat est issue d’une famille d’universitaires. Sa mère, Berthe Hubert, est professeur agrégée de philosophie, son père, Georges Bruhat, est physicien, il enseigne à l’École normale supérieure et la Faculté des sciences de Paris. Il est, notamment l’auteur, de 1924 à 1934, d’un Cours de physique générale en quatre tomes qui connaîtra plusieurs rééditions jusque dans les années 1960. Son frère, François Bruhat sera aussi un éminent mathématicien.

      Georges Bruhat est déporté en 1944 pour avoir refusé de donner à la Gestapo les coordonnées d’un de ses élèves résistant. Bruhat meurt le 31 décembre 1944 ou le 1er janvier 1945 au camp de concentration d’Oranienbourg-Sachsenhausen. L’arrestation de son père par la Gestapo ne sera pas sans incidence sur les relations d’Yvonne avec Einstein.

      La rencontre avec Einstein

      Yvonne Bruhat est reçue au concours de l’École normale supérieure de Sèvres (ENS) en 1943. Elle suit les cours de mathématiques de Georges Darmois, Jean Leray qui la présentera à Einstein et André Lichnerowicz qui sera son directeur de thèse. Entrée première à l’ENS, elle sera aussi première à l’agrégation de mathématiques en 1946. Elle devient professeure assistante à l’ENS, épouse Léonce Fourès dont elle divorcera ensuite. Elle commence à acquérir, notamment sur le plan international, une réputation, sous le nom Fourès-Bruhat. Elle se fait connaître en 1950 avec un article : Théorème d’existence pour les équations de la gravitation einsteinienne dans le cas non analytique présenté à l’Académie des sciences de Paris par Jacques Hadamard, considéré comme le mathématicien le plus important de son temps. Elle avait auparavant signé d’autres articles seule ou avec André Lichnerowicz.

      Elle soutient sa thèse en 1950 : Théorème d’existence pour certains systèmes d’équations aux dérivées partielles non linéaires. À la suite de cela, elle sera invitée à venir faire des études post-doctorales à l’Institute for Advanced Study de Princeton de 1951 à 1952 où Albert Einstein et Jean Leray travaillaient. Ce dernier, dont elle était l’assistante de cours, la présente à Einstein :

      précisant que j’avais fait une thèse sur « sa » relativité générale et que j’étais la fille de Georges Bruhat.
      À partir de ce moment, j’ai eu l’entière sympathie d’Einstein qui était sensible à tous ceux qui s’étaient opposés au nazisme. Il m’a invitée alors dans son bureau me demandant de lui expliquer ma thèse au tableau. Mon anglais n’était pas fameux malgré mes dix années d’étude de la langue de Shakespeare… Il m’a dit de l’expliquer en français, langue qu’il comprenait, mais qu’il me répondrait en anglais… (Yvonne Choquet-Bruhat, interview Science et Avenir, 13 février 2025).

      Elle ira le voir assez souvent pendant son séjour à Princeton.

      Une carrière couverte d’honneurs et de publications

      Rentrée en France, elle rejoint son poste de maîtresse de conférence à l’Université de Marseille. Elle repart à Princeton pour une année en 1955-1956, pour ensuite aller enseigner à Reims. Elle devient professeure à la faculté des sciences de Paris, poste qu’elle occupe de 1960 à 1970, puis elle rejoint l’université Pierre-et-Marie-Curie où elle enseigne jusqu’à sa retraite en 1992.

      Elle reçoit de nombreuses distinctions, à commencer par la médaille d’argent du CNRS en 1958, une médaille créée en 1954 qui « distingue des chercheurs et des chercheuses pour l’originalité, la qualité et l’importance de leurs travaux, reconnus sur le plan national et international » (CNRS)1.

      En 1963, elle est récipiendaire du prix Henri de Parville de l’Académie des sciences de Paris. Elle y sera élue en 1973, trois ans après son époux le mathématicien Gustave Choquet2. Une académie qui a dû trouver drôle d’avoir une femme en son sein, la première depuis sa création en 1666, et dont son fils, Daniel Choquet est membre depuis 2004.

      Elle est, de 1980 à 1983, présidente de l’International Society on General Relativity and Gravitation (ISGRG), une société savante dont l’objectif est de promouvoir la recherche sur la relativité générale et la gravitation.

      1985 est l’année où elle est élue à l’Académie américaine des arts et sciences, une société dont l’objectif est de « cultiver chacun des arts et des sciences qui peuvent contribuer à faire avancer l’intérêt, l’honneur, la dignité et le bonheur d’un peuple libre, indépendant et vertueux ».

      En 2003, elle reçoit le prix Dannie-Heineman de physique mathématique, conjointement avec le physicien américain James W. York qui a travaillé avec elle sur l’équation de champ d’Einstein. Ce prix est décerné chaque année par la Société américaine de physique et l’American Institute of Physics pour récompenser un travail remarquable en physique mathématique. L’année suivante, toujours avec James W. York, elle est récipiendaire du prix Daniel Grossman, décerné par l’ICRA (International Center for Relativistic Astrophysics, un institut de recherche italien) pour leur travail séparément ou ensemble « dans l’établissement du cadre mathématique pour prouver l’existence et l’unicité des solutions aux équations de champ gravitationnelles d’Einstein ».

      Elle devient grand-croix de l’ordre national du Mérite en 2015 et de la Légion d’honneur en 2016.

      En 2023, une journée spéciale est organisée en son honneur par le CNRS, le 8 décembre. Le physicien Thibault Damour de l’Institut des Hautes Études Scientifiques (IHES) y délivre une conférence d’une heure (dans un anglais peu compréhensible) sur les recherches d’Yvonne Choquet-Bruhat.

      Ses publications s’étalent dans le temps de 1948, « Sur une expression intrinsèque du théorème de Gauss en relativité générale » Comptes-rendus hebdomasaires des séances de l’Académie des Sciences de Paris, volume 226, pages 218–​220, à 2016.

      Ses deux derniers livres scientifiques « General Relativity and the Einstein Equations », Oxford Mathematical Monographs. Oxford University Press (Oxford, UK), 2009 et « Introduction to General Relativity, Black Holes & Cosmology », Oxford University Press (Oxford, UK), 2015. Elle a également écrit ses mémoires en 2016 : Une mathématicienne dans cet étrange univers : mémoires. Odile Jacob (Paris). Lesquels ont été traduits en anglais en 2018.

      Son article « Théorème d’existence pour les équations de la gravitation einsteinienne dans le cas non analytique » paru en 1950 dans les Comptes-rendus hebdomadaires des séances de l’Académie des sciences de Paris a été republié en 2022.

      De l’importance de son travail

      L’astrophysicienne Françoise Combes, présidente de l’Académie des sciences de Paris évoque dans un hommage à Yvonne Choquet-Bruhat son apport aux sciences mathématiques et physiques. Son apport essentiel a été la démonstration de l’existence des solutions à l’équation d’Albert Einstein dans la relativité générale, quelque chose de très complexe. Elle avait prédit les ondes gravitationnelles qui n’ont été détectées qu’en 2015. Albert Einstein avait aussi prédit ces ondes gravitationnelles mais sans trop y croire, car il était impossible de les détecter compte-tenu de leur taille :

      pour observer le signal produit par la fusion de deux trous noirs de quelques masses solaires, il faut pouvoir mesurer des vibrations de l’espace correspondant à des variations de longueur 10 000 fois plus petites que la taille d’un proton !  (CNRS, le journal, Mathieu Grousson, 12 février 2024).

      Une observation rendue possible grâce aux équations d’Yvonne Choquet-Bruhat et à l’augmentation de la sensibilité des détecteurs.

      Une mesure de l’importance de son travail pourrait être appréhendée, outre par les résultats concrets de la découverte des ondes gravitationnelles et les honneurs qui lui sont rendus post-mortem, en examinant « le sort » fait à ses publications. À peu près tous ses articles ont fait l’objet d’une traduction en anglais. Et, si on examine ses publications sur la plateforme inspirehep.net qui se revendique comme une « communauté de confiance qui aide les chercheurs à partager et à trouver des informations scientifiques précises dans le domaine de la physique des hautes énergies. », on voit qu’une de ses publications est assez citée : « Global aspects of the Cauchy problem in general relativity », co-écrite par Yvonne Choquet-Bruhat et Robert Geroch en 1969 qui a été citée 334 fois depuis sa parution dont 121 de 2020 à 2024 inclus.

      Au besoin, ces quelques liens

      L’annonce du décès d’Yvonne Choquet-Bruhat a fait l’objet d’un nombre assez important d’articles de qualité assez inégales. Côté francophone, on insiste beaucoup sur le fait qu’elle a été la première femme admise à l’Académie des sciences. Ce qui est assez agaçant parce qu’elle y a été admise pour ses travaux qui passent un peu à la trappe de fait. Cette sitographie est donnée sans ordre particulier. Les articles mis dans les « Liens » sont, à mon avis, vraiment les plus intéressants aussi parce qu’il s’agit d’entretiens avec la mathématicienne.

      Le compte-rendu des séances hebdomadaires de l’Académie des sciences de janvier à juin 1950 peut être téléchargé au format PDF uniquement (texte-image) sur Gallica-BnF. La séance qui nous intéresse est pages 620-624 du PDF, 618-622 pour la publication. Le PDF a 2492 pages et pèse 136 Mio. On devrait pouvoir retrouver celui d’autres séances passées.

      Si les ondes gravitationnelles vous intéressent, le CNRS y a consacré un dossier.


      1. À noter, l’équipe de Wikif (Wikipédia et les femmes de science) a relevé la liste des noms des titulaires des médailles du CNRS. Dans le dossier N°20130496, on voit en face du nom d’Yvonne Bruhat : médaille de bronze 1955 / médaille d’argent 1956. 

      2. Fait intéressant : il semble que l’encyclopédie Universalis, à laquelle on peut accéder avec un pass BnF lecture/culture ait une notice sur Gustave Choquet, mais pas sur Yvonne Choquet-Bruhat. C’est d’autant plus intéressant quand on compare avec Wikipédia où la page de cette dernière est traduite en vingt-et-une langues, quand celle de son époux ne l’est qu’en neuf langues. 

      Commentaires : voir le flux Atom ouvrir dans le navigateur

      Agenda du Libre pour la semaine 8 de l’année 2025

      16 février 2025 à 09:16

      Calendrier Web, regroupant des événements liés au Libre (logiciel, salon, atelier, install party, conférence), annoncés par leurs organisateurs. Voici un récapitulatif de la semaine à venir. Le détail de chacun de ces 37 événements (France: 36, internet: 1) est en seconde partie de dépêche.

      Sommaire

      [FR Montpellier] Émission | Radio FM-Plus | Temps Libre | Diffusion – Le lundi 17 février 2025 de 09h00 à 10h00.

      Montpel'libre réalise une série d’émissions régulières à la Radio FM-Plus intitulées « Temps Libre ». Ces émissions sont la présentation hebdomadaire des activités de Montpel’libre.

      Après le jingle où l’on présente brièvement Montpel'libre, nous donnerons un coup de projecteur sur les activités qui seront proposées prochainement.

      Ces émissions seront l’occasion pour les auditeurs de découvrir plus en détails les logiciels libres et de se tenir informés des dernières actualités sur le sujet.

      Alors, que vous soyez débutant ou expert en informatique, que vous ayez des connaissances avancées du logiciel libre ou que vous souhaitiez simplement en savoir plus, Montpel'libre, au travers de cette émission, se fera un plaisir pour répondre à vos attentes et vous accompagner dans votre découverte des logiciels libres, de la culture libre et des communs numériques.

      Vous vous demandez peut-être ce qu’est un logiciel libre. Il s’agit simplement d’un logiciel dont l’utilisation, la modification et la diffusion sont autorisées par une licence qui garantit les libertés fondamentales des utilisateurs. Ces libertés incluent la possibilité d’exécuter, d’étudier, de copier, d’améliorer et de redistribuer le logiciel selon vos besoins.

      Inscription | GPS 43.60524/3.87336

      Fiche activité:
      https://montpellibre.fr/fiches_activites/Fiche_A5_017_Emission_Radio_Montpellibre_2024.pdf

      [FR Annecy-le-Vieux] #OSM Rencontre mensuelle du groupe OpenStreetMap Annecy – Le lundi 17 février 2025 de 18h45 à 21h00.

      Rencontre mensuelle du groupe OSM Annecy

      [FR Montpellier] Atel'libre | Groupia – Le lundi 17 février 2025 de 19h00 à 21h00.

      Au cours de cette rencontre, nous commencerons par une brève présentation de nos organisations et des intervenants qui animerons nos échanges et ce groupe. Nous présenterons ensuite les définitions de l’IA générative, en mettant en évidence la distinction entre les modèles fermés, souvent associés à des dynamiques de monopole et d’opacité, et les modèles ouverts, qui encouragent l’innovation, la transparence et la collaboration au sein de la communauté.

      L’impact de l’intelligence artificielle sera au cœur de nos discussions, car ces aspects sont essentiels pour encadrer l’utilisation éthique et responsable des contenus générés par celle-ci. Nous examinerons ensemble l’intérêt d’exploiter des solutions d’IA générative ouvertes tout en restant conscients de leurs limitations et des défis qu’elles posent.

      Alors, vous l’aurez compris, c’est évidemment une occasion particulièrement intéressante de prendre part à un dialogue constructif pour orienter les travaux, recherches et expérimentations de ce groupe.

      [internet] Émission «Libre à vous!» – Le mardi 18 février 2025 de 15h30 à 17h00.

      L’émission Libre à vous! de l’April est diffusée chaque mardi de 15 h 30 à 17 h sur radio Cause Commune sur la bande FM en région parisienne (93.1) et sur le site web de la radio.

      Le podcast de l’émission, les podcasts par sujets traités et les références citées sont disponibles dès que possible sur le site consacré à l’émission, quelques jours après l’émission en général.

      Les ambitions de l’émission Libre à vous!

      Découvrez les enjeux et l’actualité du logiciel libre, des musiques sous licences libres, et prenez le contrôle de vos libertés informatiques.

      Donner à chacun et chacune, de manière simple et accessible, les clefs pour comprendre les enjeux mais aussi proposer des moyens d’action, tels sont les objectifs de cette émission hebdomadaire.

      L’émission dispose:

      [FR Vandœuvre-lès-Nancy] Sciences participatives – Le mardi 18 février 2025 de 18h00 à 20h30.

      Chacun de nous peut prendre part aux progrès de la science.
      Quels que soient vos diplômes, découvrez et contribuez avec nous à divers projets de sciences participatives au cours des ateliers proposés par le Laboratoire Sauvage.

      Sujet du jour: Comment trouver les trous noirs cachés, ceux qui ne se nourrissent pas ?
      Présentation suivie d’un atelier pratique contributif.

      Pour nous trouver, c’est chaque 3ᵉ mardi du mois, mêmes lieu et horaires.

      [FR Lyon] OpenStreetMap, rencontre mensuelle – Le mardi 18 février 2025 de 18h30 à 20h00.

      Discussion entre contributeurs lyonnais du projet OSM et acteurs intéressés.

      Toute personne intéressée par OpenStreetMap peut s’intégrer à cette rencontre, tout particulièrement les débutants qui souhaiteraient des conseils pour se lancer.

      Ordre du jour à compléter: https://wiki.openstreetmap.org/wiki/FR:Lyon/Reunion-2025-02-18

      Lieu de réunion: Tubà, 15 boulevard Vivier-Merle, Lyon 3ᵉ.

      [FR Vergèze] Atelier FreeCAD – Le mardi 18 février 2025 de 18h30 à 21h30.

      Bonjour à tous,

      Pour notre prochain mardi du libre, nous nous retrouverons à Vergèze, pour une fois un troisième mardi:

      • où: Centre socioculturel Marcel Pagnol, 99 rue Marcel Pagnol 30310 Vergèze,
      • salle: Topaze, à gauche au rez-de-chaussée, la salle de droite avant l’escalier.
      • quand: mardi 18 février 2025, à partir de 18h30

      Ce soir-là:

      • Atelier débutant sur le logiciel libre FreeCAD, logiciel de dessin 3D, atelier ouvert à tous (1)

      Alternative libre à Fusion 3D, vous pourrez destiner vos créations aussi bien à l’impression 3D qu’à la gravure CNC.

      • Inscription obligatoire, en cliquant sur le lien en bas à droite du site web de gard-linux.fr

      • PS: en l’absence d’inscription de participants externes avant 16h30 le jour de l’atelier, celui-ci sera annulé.

      Alors, n’hésitez pas à nous rejoindre, pour un simple bonjour, ou bien pour discuter plus longtemps.

      A mardi !

      [FR Grenoble] Install Party + Rencontre FairPhone – Le mardi 18 février 2025 de 19h00 à 21h00.

      La Guilde vous propose deux ateliers en une soirée: install party ET rencontre Fairphone à la Turbine.coop.

      Vous en avez assez d’être dépendants des OS et logiciels propriétaires? (Android, etc?) Cet atelier est pour vous! Repartez à la fin de la soirée avec votre propre machine fonctionnant sous un nouveau système d’exploitation, correctement installé, configuré et agrémenté de nombreux logiciels (essentiellement libres!).

      C’est aussi l’occasion pour les utilisateurs de FairPhone de partager leurs expériences. Ce mois-ci, un Fairphone 3, un Fairphone 4 et un Fairphone 5 avec /e/OS installé seront disponibles pour démonstration.

      Merci de sauvegarder vos données si vous apportez votre machine!

       

      [FR Le Mans] Permanence du mercredi – Le mercredi 19 février 2025 de 12h30 à 17h00.

      Assistance technique et démonstration concernant les logiciels libres.

      Il est préférable de réserver votre place à contact (at) linuxmaine (point) org

      Planning des réservations consultableici.

      [FR Mauguio] GNU/Linux et Logiciels Libres – Le mercredi 19 février 2025 de 17h00 à 19h00.

      Venez découvrir GNU/Linux et vous faire aider pour l’installation et à la prise en main, dans différents lieux de l’Hérault.

      L’équipe de Montpel’libre vous propose une permanence Logiciels Libres: discussions libres et accompagnement technique aux systèmes d’exploitation libres pour vous aider à vous familiariser avec votre système GNU/Linux au quotidien.

      Le contenu de l’atelier s’adapte aux problèmes et aux questionnements des personnes présentes avec leurs ordinateurs, qu’ils soient fixes ou portables. Il permet ainsi l’acquisition de nouvelles compétences nécessaires à une autonomie numérique certaine, au rythme de chacun.

      Les personnes débutantes souhaitant découvrir GNU/Linux et apprendre à l’installer et à s’en servir. Les personnes plus expérimentées à la recherche d’une aide technique pour résoudre des problèmes spécifiques. Cet atelier s’adresse à un public adulte et capable d’utiliser un ordinateur.

      Possibilité d’installer les variantes d’Ubuntu (Gnome), Ubuntu Mate, Xubuntu (Xfce), Lubuntu (LXDE, LXQt), Kubuntu (KDE Plasma), Ubuntu Budgie. Ubuntu Unity, Ubuntu Cinnamon.

      [FR Pessac] Cours gratuit d’Espéranto, langue Libre – Le mercredi 19 février 2025 de 17h30 à 19h00.

      Cours d’espéranto tous les mercredis de 17h30 à 19h,

      Université Bordeaux Montaigne,
      Esplanade des Antilles,
      Domaine Universitaire
      33600 Pessac

      Les cours sont animés par Elvezio & Jean-Seb. Ils sont totalement gratuits et sans droits d’inscription à la fac, 100% gratuits.

      Veuillez contacter le 06 72 17 22 97 avant votre venue afin de connaître la salle ou pour plus d’informations.

      [FR Beauvais] Sensibilisation et partage autour du Libre – Le mercredi 19 février 2025 de 18h00 à 20h00.

      Chaque mercredi soir, l’association propose une rencontre pour partager des connaissances, des savoir-faire, des questions autour de l’utilisation des logiciels libres, que ce soit à propos du système d’exploitation Linux, des applications libres ou des services en ligne libres.

      C’est l’occasion aussi de mettre en avant l’action des associations fédératrices telles que l’April ou Framasoft, dont nous sommes adhérents et dont nous soutenons les initiatives avec grande reconnaissance.

      [FR Bordeaux] Libérez-vous : La monnaie Libre G1 / June – Le mercredi 19 février 2025 de 19h45 à 22h00.

      Qu’est-ce que la Ğ1 (June), la monnaie Libre, indépendante de tout état, sans spéculation, avec une création monétaire égalitaire via le Dividende Universel, écologique…

      Elle libère l’utilisateur de la banque, de la dette et de toute institution centralisée.
      Nous répondrons à vos questions après une présentation.

      La sortie est sans obligation de consommation. Votre seule participation sera votre l’adhésion annuelle au café associatif le Petit Grain (tarif libre, conseillé à 5€, minimum 2€). Cette adhésion est valable pour tous les ateliers et pour toute l’année.

      N’hésitez pas à me contacter pour plus d’informations, je vous répondrais avec grand plaisir.

      [FR Echirolles] AlpOSS – Le jeudi 20 février 2025 de 09h00 à 20h00.

      AlpOSS, Alpes Open Source Software, est de retour pour sa deuxième édition le jeudi 20 février 2025 !

      Evénement de l’écosystème open source local et régional, AlpOSS « Alpes Open Source Software » s’adresse aux éditeurs, prestataires de services, collectivités locales et utilisateurs d’open source au sens large. La conférence a pour but de créer du lien entre les fournisseurs de technologies open source innovantes et les utilisateurs, d’échanger autour des modèles de collaboration et modèles d’affaires, et de structurer et dynamiser l’écosystème local.

      Co-organisé par la ville d’Echirolles, la communauté open source OW2 et Belledonne communication éditeur grenoblois de la solution Linphone, l’évènement est accueilli par la mairie d’Echirolles et ouvert à tous gratuitement sur inscription en ligne préalable. Il inclut un programme de conférences et ateliers, une zone d’exposition ouverte aux sponsors, ainsi que divers moments de partage pour favoriser les échanges et networking.

      [FR Joué-lès-Tours] Atelier du Libre – Le jeudi 20 février 2025 de 13h30 à 16h00.

      Programmation des Ateliers du Libre 2025

      De janvier à mai 2025, Résoudre vous propose 6 ateliers numériques de 3 séances pour découvrir les logiciels libres (gratuits).

      Télécharger l’affiche ici!

      TRAITEMENT DE TEXTE

      TABLEAU DE CALCUL

      DIAPORAMA

      TRAITEMENT VIDEO

      RETOUCHE PHOTO

      MIXAGE AUDIO

      OUVERT TOUT PUBLIC, Inscrivez-vous à l’accueil.

      Participation sous forme d’adhésion 10 € par atelier de 3 séances.

      Télécharger ici la programmation «Ateliers du Libre 2025»

      [FR Chambery] Contribution au Libre – Contributions à l’association – Le jeudi 20 février 2025 de 18h00 à 22h00.

      • de 18h – 20h
      • Contributions à l’association (Aquarium): Cette session permet de contribuer à l’administration de l’association. C’est l’occasion pour les membres de s’impliquer dans la gestion de l’association sans être élu du CA.
      • Atelier au Fablab (TeenLab): Cet atelier est axé sur la domotique et l’électronique. Les participants peuvent apprendre et travailler sur des projets liés à ces domaines. En partenariat avec le FabLab.
      • de 20h – 22h: Contributions au Libre (TeenLab) – Durant cette période, des travaux pratiques sur les logiciels libres sont réalisés. Les participants contribuent directement à des projets libres en cours.

      Ces événements sont conçus pour encourager l’apprentissage, le partage et la contribution dans le domaine des technologies libres et de l’électronique.

      [FR Bordeaux] Découverte de l’Espéranto – Le jeudi 20 février 2025 de 18h00 à 19h30.

      J’organise une présentation de l’Espéranto, la langue internationale très facile à apprendre, fraternelle, neutre et libre au Café Le Petit Grain, Place Dormoy à Bordeaux (c’est un café associatif avec des tarifs abordables dans le quartier de la gare Saint-Jean à côté de Barbey).

      Ce sera l’occasion de découvrir autour d’un verre ce qu’est l’Espéranto, pourquoi a-t-il été créé, comment, qui l’utilise…
      Cette vidéo vous permettra d’en savoir plus et nous répondrons à toutes vos questions: https://flim.txmn.tk/w/57p7HNerYxBrfDnSG4RKdd

      Vous trouverez également plus d’informations sur: https://esperanto-gironde.fr/lesperanto/, il y a l’abonnement à la lettre d’informations mensuelle qui est proposée en fin de chaque page afin de rester informé des activités espérantistes du coin.

      Ce sera aussi l’occasion de pratiquer pour les espérantistes.

      La soirée est ouverte à tous et toutes, espérantistes ou non.

      La sortie est gratuite sans obligation de consommation. Votre seule participation sera votre éventuelle consommation et l’adhésion au café associatif le Petit Grain si vous consommez (tarif libre, conseillé à 5€, minimum 2€).

      [FR Villeurbanne] Découvrir Openstreetmap : La Carte Libre dont vous êtes les héros – Le jeudi 20 février 2025 de 18h30 à 20h00.

      Avec des bénévoles d’OpenStreetMap

      ©OpenStreetMap France

      OpenStreetMap est la carte ouverte et collaborative du monde entier, améliorée chaque jour par plus d’un million de contributrices et contributeurs. Venez rencontrer celles et ceux qui font vivre cette carte et découvrir une alternative libre à Google Maps.

      Ce café sera suivi d’un atelier d’initiation à la contribution le 15 mars.

      Tout public, entrée libre dans la limite des places disponibles ou sur réservation sur le site du Rize

      [FR Montpellier] Aprilapéro – Le jeudi 20 février 2025 de 19h00 à 21h00.

      Un apéro April consiste à se réunir physiquement afin de se rencontrer, de faire plus ample connaissance, d’échanger, de partager un verre et de quoi manger mais aussi de discuter sur l’actualité et les actions de l’April.

      Ce rendez-vous est « hybriditiel » ou « hybridiciel », c’est à dire qu’il sera à la fois en présentiel et en distanciel.

      Un apéro April est ouvert à toute personne qui souhaite venir, membre de l’April ou pas. N’hésitez pas à venir nous rencontrer.

      Les apéros April ont lieu chaque mois à Paris, Marseille et à Montpellier.

      Régulièrement Montpel’libre relaie et soutient les actions de l’April. De nombreux Apriliens ont par ailleurs rejoints les rangs de Montpel’libre, lors d’événements tels que les Apéros April, l’AprilCamp ou les Rencontres Mondiales du Logiciel Libre qui ont eu lieu à Montpellier et bien sûr de nombreux Montpel’libristes sont adhérents de l’April.

      Nous vous invitons donc à venir nous rejoindre dans une ambiance conviviale, à partager cet apéro, chacun porte quelque chose, boissons, grignotages… et on partage.

      Les discussions de ce mois-ci se porteront sur l’actualité de moment.

      Entrée libre et gratuite sur inscription. Une simple adhésion à l’association est possible. Rejoindre le groupe Montpel’libre sur Telegram S’inscrire à l’Infolettre de Montpel’libre.

      Tramway lignes 1 et 3, arrêts Port-Marianne et Rives du Lez
      GPS Latitude : 43.603095 | Longitude : 3.898166
      Carte OpenStreetMap

      https://montpellibre.fr/fiches_activites/Fiche_A5_020_Rendez-vous_Aprilapero_Montpellibre_2024.pdf

      [FR Montpellier] L’apéro des quatre libertés – Le jeudi 20 février 2025 de 19h00 à 21h00.

      L’Apéro des Quatre Libertés reprend, interprète et autant que faire se peut, augmente les travaux de l’April, de La Quadrature Du Net, de la Free Software Fondation, la Free Software Fondation Europe et bien d’autres comme Les exégètes amateurs ou Open Law…

      Cet apéro a lieu le troisième jeudi de chaque mois.

      Ce rendez-vous est hybride, c’est-à-dire qu’il sera à la fois en présentiel et en distanciel.

      Les discussions de ce mois-ci se porteront sur l’actualité du moment.

      Entrée libre et gratuite sur inscription. Une simple adhésion à l’association est possible.

      Rejoindre le groupe Montpel’libre sur Telegram. S’inscrire à l’Infolettre de Montpel’libre.

      Tramway lignes 1 et 3, arrêts Port-Marianne et Rives du Lez
      GPS Latitude : 43.603095 | Longitude : 3.898166
      Carte OpenStreetMap

      [FR Montpellier] FSFapéro – Le jeudi 20 février 2025 de 19h40 à 20h20.

      Afin de se rencontrer, d’échanger et de faire plus ample connaissance, Montpel’libre lance de nouvelles rencontres surnommées les FSFapéros. C’est l’occasion pour les neurones de toutes parts de se réunir physiquement pour discuter, échanger et partager un verre et de quoi grignoter.

      Ce rendez-vous est «hybriditiel» ou «hybridiciel», c’est-à-dire qu’il sera à la fois en présentiel et en distanciel.

      Les FSFapéros auront lieu tous le 3ᵉ jeudi de chaque mois. Ils sont l’occasion de discussions informelles d’une part et de discussions plus sérieuses sur les différents thèmes d’importance et les différentes actions et campagnes en cours.

      Tout le monde est invité et peut venir aux FSFapéros, qu’on soit contributeur de longue date, simple intéressé-e par les sujets que défend la Free Software Foundation Europe, ou nouvel-le arrivant-e cherchant à participer davantage. N’hésitez pas à amener vos amis et à leur faire découvrir la Free Software Foundation, et Montpel’libre.

      Peuvent être aussi abordées des questions sur Les exégètes amateurs ou Open Law.

      Les discussions de ce mois-ci se porteront sur l’actualité de moment.

      Entrée libre et gratuite sur inscription. Une simple adhésion à l’association est possible. Rejoindre le groupe Montpel’libre sur Telegram S’inscrire à l’Infolettre de Montpel’libre.

      Tramway lignes 1 et 3, arrêts Port-Marianne et Rives du Lez
      GPS Latitude: 43.603095 | Longitude: 3.898166
      Carte OpenStreetMap

      [FR Montpellier] Quadrapéro – Le jeudi 20 février 2025 de 20h20 à 21h00.

      Afin de se rencontrer, d’échanger et de faire plus ample connaissance, Montpel’libre lance de nouvelles rencontres surnommées les Quadrapéros. C’est l’occasion pour les neurones de toutes parts de se réunir physiquement pour discuter, échanger et partager un verre et de quoi grignoter.

      Ce rendez-vous est «hybriditiel» ou «hybridiciel», c’est-à-dire qu’il sera à la fois en présentiel et en distanciel.

      Les Quadrapéros auront lieu tous le 3ᵉ jeudi de chaque mois. Ils sont l’occasion de discussions informelles d’une part et de discussions plus sérieuses sur les différents thèmes d’importance et les différentes actions et campagnes en cours.

      Tout le monde est invité aux Quadrapéros, qu’on soit contributeur ou contributrice de longue date, simple intéressé par les sujets que défend la Quadrature, ou nouvel arrivant cherchant à participer davantage. N’hésitez pas à amener vos amis et à leur faire découvrir La Quadrature et Montpel’libre.

      Peuvent être aussi abordées des questions sur Les exégètes amateurs ou Open Law.

      Les discussions de ce mois-ci se porteront sur l’actualité de moment.

      Entrée libre et gratuite sur inscription. Une simple adhésion à l’association est possible.

      Tramway lignes 1, 2, 3 et 4, arrêts Gare Saint-Roch
      GPS Latitude: 43.60285 | Longitude: 3.87927
      Carte OpenStreetMap

      [FR Dunkerque] Logiciels Libres : introduction, aux Glacis – Le vendredi 21 février 2025 de 14h00 à 16h00.

      Venez à la Maison de quartier des Glacis pour découvrir les Logiciels Libres.

      Vous utilisez déjà des logiciels libres, et ceux-ci font tourner Internet: pourquoi, alors, ne pas les utiliser avec nos ordinateur, à la place de logiciels privateurs, source d'obsolescence programmée, et si souvent curieux et indiscrets quant à nos données personnelles ?

      Venez avec un ordinateur portable si vous le souhaitez, vous pourrez tester un environnement complet de logiciels libres basés sur le système GNU-Linux, sans rien modifier à votre machine (aucune lecture ni écriture n’a lieu sur le disque dur). Il s’agit de faire la démonstration du potentiel d’un bouquet de logiciels libres, et de montrer leurs qualités:

      • légèreté, rapidité
      • prise en compte de tous les formats de données courants (texte, image, vidéo)
      • gratuité (par défaut, la copie est légalement permise !)
      • pertinence

      Cette introduction est le début d’un cycle de rencontres mensuelles, qui vous permettront de vous approprier les Logiciels Libres, et de former un groupe de voisines, de voisins, avec une connaissance à partager.

      [FR Paris] Guix@Paris – Le vendredi 21 février 2025 de 19h00 à 22h00.

      Rencontres mensuelles autour de Guix.
      Venez découvrir, discuter et contribuer à Guix dans une ambiance conviviale.

      Il n’y a pas d’expérience pré-requise et vous êtes tout·es les bienvenu·es.

      Programme

      Les soirées se déroulent en 3 temps :

      • 19h-20h : accueil et discussions libres ;
      • 20h-21h : présentation autour d’un sujet spécifique suivie d’une session de questions/réponses ;
      • 21h-22h : ateliers de contribution et discussions libres.

      Bien sûr, les horaires sont donnés à titre complètement indicatif ! _'

      Logistique

      S’inspirant des apéro’ April, chacun·e est invité·e à amener un petit quelque chose à manger et/ou à boire afin de pouvoir partager avec les autres participant·es.

      Accès

      Nous serons accueilli·es dans les locaux de l'April, elle-même hébergée par Easter-eggs :

      Association April
      44/46 rue de l’Ouest (cour intérieure)
      Bâtiment 8
      75014 Paris

      Stations de Métro: Gaîté, Montparnasse, Pernety.
      OpenStreetMap: <https://www.openstreetmap.org/node/3199095063>.

      Au plaisir de vous y rencontrer !

      [FR Annecy] Réunion hebdomadaire AGU3L Logiciels Libres – Le vendredi 21 février 2025 de 20h00 à 23h59.

      L’AGU3L Logiciels Libres à Annecy votre association se réuni tous les vendredis à partir 20h00 et jusque vers 1h00 du matin. Passez quand vous voulez.

      Entrée par le côté, entre les 2 bâtiments la MJC le Cairn et la maison des associations. La salle est au fond du couloir à droite, là où il y a de la lumière.

      ⚠️ Vérifiez sur le site avant de vous déplacer, y a un bandeau en haut qui confirme bonne la tenue de la réunion.

      Le programme de la réunion, s’il y en a un, est sur notre site. 😉 ⬇️

      Ou sur Mastodon https://piaille.fr/@agu3l

      Digression du programme possible, voire probable.

      Vous pouvez aussi nous soumettre un ou plusieurs sujets de programme:

      Exemples:

      • Libre Office les listes à puces, j’aimerais en savoir plus

      • Pouvez-vous nous présenter le système Linux pour les débutants ?

      • plus technique: recompiler un noyau Linux avec les options spécifiques

      • Kubernetes est-ce pour moi ?

      • Démo sur un logiciel libre en particulier ex: Gimp, flameshot

      • Ou même votre logiciel que vous souhaitez partager

      • À l’aide ! 😱 pas de panique, on a probablement une solution pour vous.

      • Vous développez du code libre ? oui

      • etc, etc.

      Apportez à boire, à manger. Un ordi ça peut aider. De la bonne humeur et un brin de Liberté.

      Et tout ce que vous trouvez sympa: des amis, des projets, des trouvailles, etc.

      Besoin d’une installation Linux?

      Pas de problème! Laissez-nous un petit message avant au cas où l’on soit pas dispo ce soir-là.

      C’est install party à la demande !

      [FR Metz] Permanence du Graoulug – Le samedi 22 février 2025 de 09h00 à 13h00.

      Pour cette séance, il s’agit d’une permanence généraliste autour de GNU/Linux, des logiciels libres et plus globalement de culture du Libre, services Internet neutres, ouverts et décentralisés.

      Chaque dernier samedi du mois, venez poser vos questions et partager vos idées en rapport avec le libre.

      [FR Marignier] Utilisation d’internet – Le samedi 22 février 2025 de 09h00 à 12h00.

      Utilisation d’internet sans flicage et efficacement

      DNS, adresse internet, continuer sans accepter, sécurisé, flicage, fake news, reseaux sociaux, adresse ip, chercher une recette de soupe à l’oignon, d’aioli ou de Jalebi facile.

      Être sur internet sans maitriser quelques notions de base c’est faire du vélo sans chaine sur l’autoroute.

      Pour mettre tout ça au clair, tous les Samedis du 18 janvier 2025 au 8 mars 2025, de 9h à 12h, Micro Môle organise des ateliers pour tout âge et tout niveaux.

      Il est conseillé de suivre dans l’ordre chacun des ateliers, mais vous pouvez venir en cours de saison.

      Ouvert à tous les niveaux, dès 14 ans jusqu’à 110 ans.

      Laquadrature du net, vous connaissez?

      Animé par le 'collectif les fous du code'.

      [FR Aix-en-Provence] Réunion mensuelle de l’Axul – Le samedi 22 février 2025 de 10h00 à 16h00.

      CE SAMEDI LIBRE SE DÉROULERA au CENTRE DES AMANDIERS

      Vérifier cette page avant de vous déplacer !

      • Matin (10h00-12h30):
      • Conseils, démonstrations et interventions sur rendez-vous (mailto:contact@axul.org)…
      • Midi (12h30-13h30):
      • Repas en commun et discussions
      • Après-midi (13h30-16h00)
      • Conseils, démonstrations et interventions sur rendez-vous (mailto:contact@axul.org)…

      INFORMATIONS GÉNÉRALES:

      Ces Samedis Libres sont organisés par l'Axul en collaboration avec plusieurs associations de logiciels libres des Bouches-du-Rhône.

      Ils proposent des présentations générales et une aide technique pour le dépannage et la mise à jour d’ordinateurs avec des logiciels libres. Ils présentent aussi des démonstrations de matériels et de téléphones libres.

      Des informations sont disponibles sur la Culture Libre (OpenStreetMap, Wikipedia…).

      DÉMONSTRATIONS:

      Plusieurs démonstrations sont maintenant virtualisées sous forme d'introductions

      DÉMONSTRATIONS et PRÉSENTATIONS POSSIBLES (sur réservation):

      Présentation de livres et de sites Internet consacrés au Libre

      Démonstration d’un Fairphone, un téléphone libre et éthique

      Démonstration du micro-ordinateur micro:bit conçu pour rendre l’enseignement et l’apprentissage facile et amusant

      Démonstration du micro-ordinateur PyBoard co-développé avec le langage MicroPython

      Démonstration du micro-ordinateur Raspberry Pi 400 un ordinateur DANS un clavier pour la découverte de l’informatique et de l’électronique

      Démonstrations liées aux nouveaux programmes scolaires sur le codage

      Autres démonstrations

      • Distribution Emmabuntüs pour la rénovation d’ordinateurs anciens.
      • Distribution PrimTux pour les élèves de l’école primaire.
      • Distributions Linux installées sur des clefs USB insérées dans des ordinateurs Linux, Windows 7 ou Windows 10.
      • Cohabitation Linux – Windows 10: le cas d’Ubuntu 64 bits.
      • Évolution du projet pédagogique OLPC (One Laptop per Child): ordinateur XO-4, tablette OLPC partiellement libérée avec F-Droid et différentes machines avec la plate-forme pédagogique Sugarizer.

      NB: Certaines démonstrations pédagogiques sont en libre service. Les autres démonstrations seront normalement possibles toute la journée: elles seront lancées en fonction des souhaits des visiteurs et des disponibilités des spécialistes.

      Adresse: Centre Social et Culturel des Amandiers, 8 allée des Amandiers, Jas-de-Bouffan (cliquer sur ce dernier lien pour avoir un plan détaillé).

      Ces samedis libres et gratuits sont ouverts à toutes et à tous, débutantEs ou expertEs GNU/Linux, membres ou non d’associations du Libre. Les locaux sont au rez-de chaussée et accessibles par tous.

      Entrée Libre. Tout Public.

      Prochaines réunions:

      [FR Ivry sur Seine] Cours de l’École du Logiciel Libre – Le samedi 22 février 2025 de 10h30 à 18h30.

      Présentation de l’E2L

      Quel est le rôle de l’école du logiciel libre?

      Tout d’abord, ce n’est pas une école comme les autres. Elle n’a pas d’établissement fixe, pas de cours de récréation, pas de carte d’étudiant, ni de diplôme de fin d’année.

      Comme toutes les écoles, son rôle est d’apprendre à ses élèves les logiciels libres, c’est-à-dire:

      • comment en trouver de bons parmi les nombreux sites qui en proposent,
      • comment en prendre possession en fonction des licences,
      • comment les installer en fonction de ses besoins,
      • comment les tester et les utiliser,
      • comment en comprendre le fonctionnement pour ensuite les modifier,
      • comment écrire ses propres logiciels libres.

      En fait, l’école du logiciel libre est une université populaire, comme celles qui ont vu le jour en France à partir du 19ᵉ siècle, et dont le but est de transmettre des connaissances théoriques ou pratiques à tous ceux qui le souhaitent. Et pour atteindre ce but, sa forme juridique est de type « association à but non lucratif ».

      Comment fonctionne l’école?

      Cette école étant une association, elle possède, comme toutes les autres, un bureau, élu chaque année en assemblée générale, pour l’administrer. Mais elle a aussi des responsables pédagogiques dont le rôle est essentiel, car ce sont eux qui établissent les programmes des cours en fonction des souhaits des adhérents, valident les candidatures des enseignants et affectent les sessions.

      Les membres du bureau et les responsables pédagogiques forment « l’encadrement de l’école ». Tous les membres “encadrants” doivent être membres de l’association.

      Les locaux où se déroulent les cours seront ceux que l’on veut bien nous prêter: une salle des fêtes, un théâtre, une salle de réunion publique, un amphi dans une école publique, ou autre.

      Les thèmes des cours sont définis par les adhérents en fonction de leurs envies, de leurs besoins. Les cours sont ensuite décidés par les responsables pédagogiques de l’école en fonction des enseignants disponibles.

      Afin de permettre au plus grand nombre de participer et d’assister aux cours, les sessions se tiennent essentiellement le samedi. Une première, sous forme d’atelier public, de 10h30 à 13h, et une autre, sous forme de cours, de 14h30 à 18h30.

      Programme détaillé sur le site http://e2li.org

      [FR Wintzenheim] Réunion du Club Linux – Le samedi 22 février 2025 de 13h00 à 19h00.

      Le samedi 22 février 2025 de 13h00 à 19h00.

      MJC-EVS du Cheval Blanc, 1 faubourg des Vosges, Wintzenheim, Grand Est

      Leaflet | © OpenStreetMap Rencontre du Club Linux de la MJC-EVS du Cheval Blanc qui se réunit toutes les 3 semaines (environ) et accueille toutes les personnes qui souhaitent découvrir ou approfondir Linux et les Logiciels Libres. Aucune compétence n’est demandée.

      Pendant ces rencontres, informelles,

      • nous accueillons celles et ceux qui cherchent une réponse ou souhaitent découvrir Linux et les Logiciels Libres,
      • nous installons Linux sur des ordinateurs, la plupart des fois en "dual boot"(*), ce qui permet de conserver l’ancien système (par exemple Windows) et d’utiliser quand même Linux, en choisissant au démarrage,
      • nous partageons nos recherches (nos difficultés aussi) et nos découvertes, les nouveautés.

      Le Club Linux est également impliqué dans une démarche de libération des GAFAM (Google Apple Facebook Amazon Microsoft) et de promotion de solutions libres comme, entre autres, Wikipedia, OpenStreetMap, les Framatrucs (*), les C.H.A.T.O.N.S (*) et beaucoup d’autres.

      (*): mais on vous expliquera

      [FR Digne-les-Bains] Rencontre Logiciels libres – Le samedi 22 février 2025 de 13h30 à 17h00.

      L’association Linux-Alpes vous invite à sa prochaine rencontre qui se tiendra à la Médiathèque de Digne-les-Bains,
      le samedi 22 février 2025 à partir de 13h30.

      Cette rencontre est gratuite et ouverte à tous.

      Nous proposons une découverte des logiciels (LibreOffice, Gimp, etc.)
      et systèmes d’exploitation libres (GNU Linux).
      Les thèmes de discussion sont déterminés par les participant-e-s présent-e-s.

      Venez découvrir l’efficacité, la simplicité et la gratuité des logiciels libres.

      C’est peut-être l’occasion d’offrir une deuxième jeunesse à votre ordinateur, en remplaçant votre Windows à bout de souffle par un Linux plus efficient.

      [FR Marseille] Install Party GNU/Linux – Le samedi 22 février 2025 de 14h00 à 18h00.

      L’association CercLL (CercLL d’Entraide et Réseau Coopératif autour des Logiciels Libres) vous invite à une install party GNU/Linux, le samedi 22 février 2025 de 14h00 à 18h00, dans la salle du Foyer du Peuple 50 rue Brandis 13005 Marseille.

      Vous avez envie de découvrir un système d’exploitation libre, simple d’utilisation, stable, rapide et sécurisé. Une nouvelle façon d’utiliser votre ordinateur.

      Vous vous sentez une affection naissante pour le Gnou et le Manchot, les mascottes de GNU/ Linux.

      Au programme:

      DÉCOUVERTE de l’univers des logiciels libres.

      INSTALLATION d’un environnement GNU/ Linux, ainsi que le meilleur des logiciels libres.

      Venez avec votre ordinateur, nous installerons ensemble une distribution GNU/Linux avec un ensemble de logiciels libres et gratuits pour une utilisation quotidienne.

      Ouvert à tous – accessible aux débutant-e-s

      Une participation de 2 euros est demandée.

      L’adhésion à l’association est de 20 euros annuelle.(L’adhésion n’est pas obligatoire).

      Plan d’accès

      [FR Saint-Cyr-l’École] Permanences logiciels libres – pc et smartphones – Le samedi 22 février 2025 de 14h00 à 17h00.

      Root66 vous propose une permanence Logiciels Libres

      A cette permanence, tu pourras bénéficier d’une aide et d’un accompagnement pour t’aider à installer, configurer des logiciels libres aussi bien sur PC que sur Smartphones.
      Un vieux pc qui rame? Besoin de faire une sauvegarde de tes données? Envie de tester des applications opensource sur ton téléphone ou sur ton pc, mais tu as peur de tout casser et de ne pas y arriver seul.e. Pas de souci, l’équipe de root66 est là pour t’accompagner, à ton propre rythme!

      Un des objectifs est de t’aider à reprendre le contrôle de tes données et d’apprendre pas à pas les bonnes pratiques à adopter pour sécuriser et améliorer ta vie privée numérique.

      N’hésite pas à passer! L’équipe de root66 sera ravie de t’accueillir! 🤓

      Et si tu n’as aucun problème technique, la permanence est aussi faite pour échanger et discuter des logiciels libres ou du numérique en général.

      Programme (non exhaustif):

      • Dépannage, assistance sur PC, smartphones utilisant du logiciel libre
      • Découverte et apprentissage pour utiliser un système libre comme Linux
      • Installations et configurations complémentaires d’applications
      • Mise à jour et installation de nouveaux logiciels opensource
      • Discussions conviviales entre utilisateurs autour des logiciels libres

      Entrée libre et gratuite 😎

      Sur place, l'adhésion à l’association est possible mais non obligatoire.

      Si vous venez en voiture (voire à pied):
      Il est plus facile de passer par le parking rue Raymond Lefebvre.

      root66 logicielslibres pc smartphones permanence linux android

      [FR Nant] Conférences et projection/débat Journée sur les enjeux sociétaux et environnementaux du numérique – Le samedi 22 février 2025 de 14h00 à 21h00.

      Conférences et projection/débat

      Journée sur les enjeux sociétaux

      et environnementaux du numérique

      Date: Samedi 22 février 2025

      Heure : 14h00-21h00

      Lieu : Salle municipale, 31 place du Claux 12230 NANT Aveyron

      Coordonnées: GPS 44.022287/3.302405

      Titre de la conférence : Aujourd’hui, c’est décidé, je passe au libre !

      14h00-15h30

      Venez découvrir le monde du Logiciel Libre.

      Vous vous êtes déjà demandé comment le logiciel libre pourrait transformer votre manière de travailler ou d’interagir avec les technologies ? Pour répondre à cette question, nous vous invitons à participer à notre conférence « Aujourd’hui, c’est décidé, je passe au libre ! » qui se tiendra le samedi 22 février 2025 à la salle municipale de Nant, à partir de 14h.

      Cette conférence, en préfiguration de l’échange avec Nant en Transition, est un témoignage-retour d’expérience sur la façon dont une personne a décidé de passer aux logiciels libres pour son association. Elle indique également pourquoi le faire et quel parcours est nécessaire pour y arriver, de quelle aide on peut bénéficier pour le réaliser.

      Que vous soyez informaticien, personne engagée, utilisateur expérimenté du numérique libre ou non, novice ou simplement curieux, cette conférence vous permettra de faire le point sur vos pratiques et vous guidera pas à pas sur le parcours de migration vers le Libre, si vous le souhaitez.

      Titre de la conférence : Soyez Libre !

      17h00-18h30

      Pour les personnes, pour la planète, comme pour l’économie en quoi, pourquoi et comment est-il important d’utiliser des logiciels libres (incluant l’IA Open Source) ?

      En d’autres termes en quoi, pourquoi et comment, le logiciel est-il fondamental pour nos démocraties ainsi que pour le développement durable ?

      Forts de ces précisions, comment faire concrètement pour passer au Libre quand on l’a décidé ?

      Titre de la projection/débat : Cinélibre, LOL Logiciel Libre, Une affaire sérieuse

      20h00-22h00

      Le logiciel est la base de l’informatique. Un téléphone portable, un réfrigérateur ou une voiture sont devenus des objets largement informatisés. Ces logiciels sont composés de code appelé code source. Or ce code a fini par être caché par les fabricants, car source de profits. À l’heure où les cinq plus grosses capitalisations boursières mondiales sont Google, Apple, Facebook, Amazon et Microsoft, les populations sont-elles au fait de l’impact que leur usage du numérique a sur leur vie ?

      À travers les entretiens de quatorze intervenants, LoL est un voyage en 8 étapes dans le cœur de nos habitudes numériques pour essayer de répondre à ces questions.

      [FR Nantes] Permanence Linux-Nantes – Le samedi 22 février 2025 de 15h00 à 18h00.

      Linux Nantes tient à vous informer de sa prochaine permanence.

      Nous vous proposons:

      •   de vous faire découvrir linux et les logiciels libres
      •   de vous aider à installer Linux sur votre ordinateur ou votre portable,
      •   de vous informer sur l’utilisation de votre version de Linux
      •   de voir avec vous les problèmes rencontrés

      Pour plus d’informations sur l’association voir notre site

      [FR Faches-Thumesnil] Install Party GNU Linux – Le samedi 22 février 2025 de 15h00 à 18h00.

      Install Party GNU Linux

      Organisée par un bénévole passionné dans le cadre du dispositif Ambassadeur de la Médiathèque.

      Le temps d’un après-midi à la Médiathèque Marguerite Yourcenar de Faches Thumesnil, on redonne une vie à votre ancien ordinateur et on le libère des GAFAM.

      Inscription et prérequis sur https://framadate.org/65ixnQE9PtCOANFi et sur place à la médiathèque, places limitées.

      Nota: pour les prochaines, les bénévoles intéressés sont les biens venus

      [FR Quimper] Permanence Linux Quimper – Le samedi 22 février 2025 de 16h00 à 18h00.

      Tous les samedis de 16h à 18h, Linux Quimper vous donne rendez-vous au centre social des Abeilles, 4 rue Sergent Le Flao (quartier de la Terre Noire) Quimper.

      Nous vous proposons lors de ces rencontres d’échanger autour du Libre et de Linux en particulier

      Vous pouvez venir pour vous faire aider, ou aider, à installer et paramétrer une distribution GNU/Linux de votre choix ou des logiciels libres sur votre ordinateur.

      Recommandations:

      • Sauvegardez vos données avant de venir.
      • Pour une installation de Linux si vous voulez conserver Windows, libérez de la place sur le disque dur (20 Go minimum) et défragmentez Windows.
      • Nous prévenir, éventuellement, de votre passage via le forum.

      Vous pouvez aussi venir pour une première prise d’informations et de contacts.

      Commentaires : voir le flux Atom ouvrir dans le navigateur

      Lettre d'information XMPP de novembre 2024

      N. D. T. — Ceci est une traduction de la lettre d’information publiée régulièrement par l’équipe de communication de la XSF, essayant de conserver les tournures de phrase et l’esprit de l’original. Elle est réalisée et publiée conjointement sur les sites XMPP.org, LinuxFr.org et JabberFR.org selon une procédure définie.

      Bannière de la Newsletter XMPP

      Bienvenue dans la lettre d'information XMPP, ravi de vous retrouver !

      Ce numéro couvre le mois de novembre 2024.

      Tout comme cette lettre d'information, de nombreux projets et leurs efforts dans la communauté XMPP résultent du travail bénévole des personnes.

      Si vous êtes satisfait des services et des logiciels que vous utilisez, merci de considérer dire merci ou aider ces projets !

      Vous souhaitez soutenir l'équipe de la lettre d'information ? Lisez en bas de page.

        Sommaire

        Annonces XSF

        27ème Sommet XMPP et FOSDEM 2025

        La XSF planifie le Sommet XMPP 27, qui se tiendra les 30 et 31 janvier 2025 à Bruxelles (Belgique, Europe). À la suite du Sommet, la XSF prévoit également d’être présente au FOSDEM 2025, qui aura lieu les 1er et 2 février 2025. Retrouvez tous les détails dans notre Wiki. Inscrivez-vous dès maintenant si vous prévoyez d'y assister, cela aide à l'organisation. L'événement est bien sûr ouvert à toutes les personnes intéressées à participer. Faites passer le mot dans vos cercles !

        Hébergement fiscal de projets par la XSF

        La XSF propose un hébergement fiscal pour les projets XMPP. Vous pouvez postuler via Open Collective. Pour plus d’informations, consultez le post de blog d’annonce. Les projets actuels que vous pouvez soutenir :

        Événements XMPP

        • Berlin XMPP Meetup (DE / EN) : réunion mensuelle des passionnés de XMPP à Berlin, chaque 2ème mercredi du mois à 18h, heure locale
        • XMPP Italian happy hour [IT] : réunion mensuelle XMPP en ligne en italien, chaque troisième lundi du mois à 19h00, heure locale (événement en ligne, avec mode réunion web et streaming en direct).

        Articles XMPP

        Actualité des logiciels XMPP

        Clients et applications XMPP

        • Conversations a publié les versions 2.17.3 et 2.17.4 pour Android.
        • Monocles Chat 2.0.2 a été publié. Cette version apporte MiniDNS, l'exportation des paramètres, des corrections et plus encore !
        • Monal a publié la version 6.4.6 pour iOS et macOS.
        • Cheogram a publié la version 2.17.2-2 pour Android. Cette version apporte une fonctionnalité de demandes de chat pour cacher les SPAM possibles, avec une option pour tout signaler. De plus, elle contient plusieurs améliorations et corrections de bugs. À noter également, depuis novembre dernier, Cheogram est de nouveau disponible en téléchargement sur le Google Play Store !

        Cheogram 2.17.2-2 : tiroir de navigation avec filtres de comptes et de tags et contrôle des SPAM, avec l'option 'signaler tout'

        Serveurs XMPP

        • Openfire 4.9.1 et 4.9.2 ont été publiés. La version 4.9.1 est une mise à jour de correction de bugs et de maintenance, tandis que la version 4.9.2 est une mise à jour de correction de bugs. Vous pouvez consulter le journal des modifications complet pour plus de détails.
        • MongooseIM version 6.3.0 a été publiée. Le principal point fort est la refonte complète de l'instrumentation, permettant l'intégration avec Prometheus. De plus, CockroachDB a été ajouté à la liste des bases de données prises en charge pour une évolutivité accrue. Consultez les notes de version pour plus d'informations.
        • L'application (non officielle) Prosody pour Yunohost a maintenant atteint une maturité bêta, l'ouvrant à tout le monde pour des tests. Cette variante vise à fournir un meilleur support XMPP pour les utilisateurs de Yunohost. Par rapport aux applications officielles Metronome et Prosody, cette application permet d'activer les appels audio/vidéo par défaut. Une importation optionnelle des listes de contacts, MUC et favoris depuis Metronome est également proposée. Pour rappel, Yunohost est une distribution de serveur basée sur Debian, ce qui facilite l'hébergement de nombreux services (applications) par soi-même. Jusqu'à la dernière version majeure (version 12), Metronome était intégré à l'installation de base, permettant à de nombreuses personnes de découvrir plus facilement XMPP (bien qu'avec certaines limitations).

        Bibliothèques et outils XMPP

        Extensions et spécifications

        La XMPP Standards Foundation développe des extensions pour XMPP dans sa série XEP en plus des RFC XMPP.

        Des développeuses, développeurs et experts en normes du monde entier collaborent sur ces extensions, élaborant de nouvelles spécifications pour des pratiques émergentes et affinant les méthodes existantes. Proposées par n'importe qui, celles qui rencontrent un grand succès finissent par être classées comme Final ou Active, selon leur type, tandis que d'autres sont soigneusement archivées comme Deferred. Ce cycle de vie est décrit dans XEP-0001, qui contient les définitions formelles et canoniques des types, états et processus. En savoir plus sur le processus des normes. La communication autour des normes et des extensions se fait sur la liste de diffusion des standards (archive en ligne).

        Extensions proposées

        Le processus de développement des XEP commence par la rédaction d'une idée et sa soumission à l'éditeur XMPP. Dans un délai de deux semaines, le Conseil décide si cette proposition doit être acceptée comme une XEP expérimentale.

        • Aucune XEP proposée ce mois-ci.

        Nouvelles extensions

        • Version 0.1.0 de XEP-0496 (Relations entre nœuds Pubsub)
          • Promue à Expérimental (Éditeur XEP : dg)
        • Version 0.1.0 de XEP-0497 (Abonnements étendus Pubsub)
          • Promue à Expérimental (Éditeur XEP : dg)
        • Version 0.1.0 de XEP-0498 (Partage de fichiers Pubsub)
          • Promue à Expérimental (Éditeur XEP : dg)
        • Version 0.1.0 de XEP-0499 (Découverte étendue Pubsub)
          • Promue à Expérimental (Éditeur XEP : dg)
        • Version 0.1.0 de XEP-0500 (Mode lent MUC)
          • Promue à Expérimental (Éditeur XEP : dg)

        Extensions déférées

        Si une XEP expérimentale n’est pas mise à jour pendant plus de douze mois, elle sera déplacée de la catégorie Expérimental vers Déférée. Si une mise à jour survient, la XEP sera remise dans la catégorie Expérimental.

        • Aucune XEP déférées ce mois-ci.

        Extensions mises-à-jour

        • Version 1.0.1 de XEP-0490 (Synchronisation des messages affichés)
          • Correction de certains exemples, ainsi que de leur indentation.
          • Ajout du schéma XML. (egp)

        Derniers appels

        • Les appels finaux sont lancés une fois que tout le monde semble satisfait de l'état actuel de la XEP. Après que le Conseil décide si la XEP semble prête, l'Éditeur XMPP émet un dernier appel pour les commentaires. Les retours recueillis pendant cet appel peuvent aider à améliorer la XEP avant de la renvoyer au Conseil pour son passage en statut stable.

        • Aucun dernier appel ce mois-ci.

        Extensions stables

        • Version 1.0.0 de XEP-0490 (Synchronisation des messages affichés)
          • Acceptée comme stable selon le vote du Conseil du 2024-11-05. (Éditeur XEP (dg))

        Extensions dépréciées

        • Aucune XEP n'a été dépréciée ce mois-ci.

        Extensions rejetées

        • Aucune XEP n'a été rejeté ce mois-ci.

        Partagez les nouvelles

        Veuillez partager la nouvelle sur d'autres réseaux :

        Consultez aussi notre flux RSS !

        Vous recherchez des offres d'emploi ou souhaitez engager un consultant professionnel pour votre projet XMPP ? Visitez notre tableau d'offres d'emploi XMPP.

        Contributions à la lettre d'informations et traductions

        Il s'agit d'un effort communautaire, et nous tenons à remercier les traducteurs pour leurs contributions. Les bénévoles et plus de langues sont les bienvenus ! Les traductions de la lettre d'information XMPP seront publiées ici (avec un certain délai) :

        • Anglais (original) : xmpp.org
          • Contributions générales : Adrien Bourmault (neox), Alexander "PapaTutuWawa", Arne, cal0pteryx, emus, Federico, Gonzalo Raúl Nemmi, Jonas Stein, Kris "poVoq", Licaon_Kter, Ludovic Bocquet, Mario Sabatino, melvo, MSavoritias (fae,ve), nicola, Schimon Zachary, Simone Canaletti, singpolyma, XSF iTeam
        • Français : jabberfr.org et linuxfr.org
          • Traductions : Adrien Bourmault (neox), alkino, anubis, Arkem, Benoît Sibaud, mathieui, nyco, Pierre Jarillon, Ppjet6, Ysabeau
        • Italien : notes.nicfab.eu
          • Traductions : nicola
        • Espagnol : xmpp.org
          • Traductions : Gonzalo Raúl Nemmi
        • Allemand : xmpp.org
          • Traductions : Millesimus

        Aidez-nous à construire la lettre d'information

        Cette lettre d'information XMPP est produite de manière collaborative par la communauté XMPP. Chaque numéro de la lettre d'information mensuelle est rédigé dans ce pad simple. À la fin de chaque mois, le contenu du pad est fusionné dans le dépôt Github de la XSF. Nous sommes toujours heureux d'accueillir des contributeurs. N'hésitez pas à rejoindre la discussion dans notre chat de groupe Comm-Team (MUC) et ainsi nous aider à maintenir cet effort communautaire. Vous avez un projet et souhaitez faire connaître vos nouvelles ? Veuillez envisager de partager vos actualités ou événements ici et de les promouvoir auprès d'un large public.

        Tâches que nous accomplissons régulièrement :

        • rassembler les nouvelles de l'univers XMPP
        • résumés brefs des nouvelles et événements
        • résumé de la communication mensuelle sur les extensions (XEPs)
        • révision du brouillon de la lettre d'information
        • préparation d'images pour les médias
        • traductions
        • communication via les comptes des médias

        Licence

        Cette lettre d'information est publiée sous la licence CC BY-SA.

        Commentaires : voir le flux Atom ouvrir dans le navigateur

        Projets Libres! Saison 3 épisode 10 : OSRD, un outil libre de simulation ferroviaire

        Pour ce deuxième épisode consacré aux transports, direction le ferroviaire.

        Nous découvrons Open Source Railway Designer (OSRD), un outil de simulation du réseau ferroviaire développé au sein de SNCF Réseau. Son objectif ? Produire des données utiles à la planification des travaux d’infrastructure et faciliter l’attribution de sillons de dernière minute pour le fret.

        Avec Céline Durupt, Yohan Durand et Loïc Hamelin, nous abordons plusieurs aspects du projet :

        • Présentation d’OSRD et de son fonctionnement
        • Genèse du projet et contexte de développement chez SNCF Réseau
        • Accès aux algorithmes et aux données
        • Données nécessaires, disponibles et obligations de publication
        • Financement et modèle économique d’OSRD
        • Création de l’association OpenRail
        • Forme juridique et choix d’une association belge
        • Gouvernance d’OpenRail et d’OSRD

        Bonne écoute ! 🎧

        Commentaires : voir le flux Atom ouvrir dans le navigateur

        Paheko (Logiciel libre de gestion associative) — « Libre à vous ! » du 4 février 2025

        234ème émission « Libre à vous ! » de l’April. Podcast et programme :

        • sujet principal : Paheko (logiciel libre de gestion associative), avec Margaux, salariée de Paheko, Pauline, créatrice multimédia et BohwaZ, développeur
        • chronique de Jean-Christophe Becquet, vice-président de l’April, sur les 12 travaux de l’implication
        • chronique Vincent Calame, bénévole à l’April, « Présentation de la revue Curseurs »

        Rendez‐vous en direct chaque mardi de 15 h 30 à 17 h sur 93,1 MHz en Île‐de‐France. L’émission est diffusée simultanément sur le site Web de la radio Cause Commune. Vous pouvez nous laisser un message sur le répondeur de la radio : pour réagir à l’un des sujets de l’émission, pour partager un témoignage, vos idées, vos suggestions, vos encouragements ou pour nous poser une question. Le numéro du répondeur : +33 9 72 51 55 46.

        Commentaires : voir le flux Atom ouvrir dans le navigateur

        Revue de presse de l’April pour la semaine 6 de l’année 2025

        Par :echarp
        11 février 2025 à 09:40

        Cette revue de presse sur Internet fait partie du travail de veille mené par l’April dans le cadre de son action de défense et de promotion du logiciel libre. Les positions exposées dans les articles sont celles de leurs auteurs et ne rejoignent pas forcément celles de l’April.

        [ZDNET] IA: derrière le discours de Mark Zuckerberg sur l'open source, une volonté de contrôle?

        ✍ Steven Vaughan-Nichols, le jeudi 6 février 2025.

        Pour les experts de l’open source, l’enjeu repose sur le respect des normes. Pour Meta, il s’agit avant tout d’une question d’argent.

        [ZDNET] Red Hat et l'intelligence artificielle open source: le pragmatisme plutôt que les rêves utopiques

        ✍ Steven Vaughan-Nichols, le mardi 4 février 2025.

        Le géant de Linux envisage un développement de l’intelligence artificielle qui reflète l’éthique collaborative des logiciels open source. Ce ne sera pas facile.

        Et aussi:

        [Le Monde Informatique] Un guide des pays sous sanctions internationales pour les développeurs open source

        ✍ Paul Krill, le mardi 4 février 2025.

        Plusieurs réglementations internationales et en particulier l’Ofac aux Etats-Unis imposent aux développeurs open source de ne pas travailler avec des pays touchés par des sanctions. La Fondation Linux a publié un guide pour détailler ces différents cadres et les risques.

        Et aussi:

        Commentaires : voir le flux Atom ouvrir dans le navigateur

        🏆 Meilleures contributions LinuxFr.org : les primées de janvier 2025

        11 février 2025 à 08:29

        Nous continuons sur notre lancée de récompenser celles et ceux qui chaque mois contribuent au site LinuxFr.org (dépêches, commentaires, logo, journaux, correctifs, etc.). Vous n’êtes pas sans risquer de gagner un livre des éditions Eyrolles, ENI et D-Booker. Voici les gagnants du mois de janvier 2025 :

        Les livres gagnés sont détaillés en seconde partie de la dépêche. N’oubliez pas de contribuer, LinuxFr.org vit pour vous et par vous !

        Les livres 📚 sélectionnés

        Bandeau LinuxFr.org

        Certaines personnes n’ont pas pu être jointes ou n’ont pas répondu. Les lots ont été réattribués automatiquement. N’oubliez pas de mettre une adresse de courriel valable dans votre compte ou lors de la proposition d’une dépêche. En effet, c’est notre seul moyen de vous contacter, que ce soit pour les lots ou des questions sur votre dépêche lors de sa modération. Tous nos remerciements aux contributeurs du site ainsi qu’aux éditions Eyrolles, ENI et D-Booker.

        Logo éditions ENI Logo éditions Eyrolles Logo éditions B-BookeR
             

        Commentaires : voir le flux Atom ouvrir dans le navigateur

        Linux Mint 22 : vidéos pas à pas pour les débutants

        Voici une série de vidéos (62) consacrée à la distribution Linux Mint 22 intitulée « Pas à pas pour les débutants ».

        Je suis passé à Linux Mint voilà à peu prés cinq ans. J'ai été aidé pour cela par l'équipe Linux de l'époque du Forum SOSPC (Mia, Darksky, Azamos, …).
        Animé par cet esprit de partage, j'ai voulu à mon tour rendre la pareille. Je viens donc de terminer une série de vidéos sur Linux Mint 22. De petites vidéos (à part la 1 et la 62) qui traitent chacune d'un thème bien précis. Ces vidéos s'adressent exclusivement à un public de débutants (et faite par un débutant… de 5 ans).

        de :
        Vidéo 01
        à
        Vidéo 62

        Visibles à partir :

        Vidéos d'une durée d'une quinzaine de minutes pour la première et la dernière, quelques minutes pour les autres :

        1. C'est quoi Mint ?
        2. Possible pour vous ?
        3. Télécharger Cinnamon
        4. Vérifier avec 7Zip
        5. Créer la clé d'installation
        6. Créer une clé persistante
        7. Graver un DVD
        8. Démarrage rapide
        9. Edge à Firefox
        10. Chrome à Firefox
        11. Exporter thunderbird
        12. Export carnets d'adresses
        13. Export Agenda
        14. Ouvrir le BIOS
        15. Visite en Français
        16. Installation
        17. Démarrage et dualboot
        18. Veille contrôllée
        19. Écran de bienvenue
        20. Timeshift
        21. Gestionnaire de pilotes
        22. Gestionnaire de mise à jour
        23. Pare-feu
        24. Couleurs du Bureau
        25. Une mise à jour
        26. Paramètres du système
        27. Personnaliser le Bureau
        28. Une mise à jour du noyau
        29. La Logithèque
        30. Flatpack
        31. Alternativeto
        32. Paramètres du panneau
        33. Configuration Liste groupée de fenêtres
        34. Ajouter des Applets
        35. Mode d’édition du panneau (1)
        36. Mode d’édition du panneau (2)
        37. Réglage du MENU
        38. Applications préférées
        39. La corbeille
        40. Barre d'outils
        41. Ranger les éléments
        42. Marque pages
        43. Panneau latéral
        44. Menus contextuels
        45. Imprimante et Scanner
        46. Informations système
        47. la suite LibreOffice (une petite erreur à corriger)
        48. Installer les polices Microsoft sur Linux
        49. Capture d'écran et Flameshot
        50. PDF Visionneur de document ou Okular
        51. La Télévision avec FreetuxTV
        52. Thunderbird
        53. Carnets d’adresses
        54. Agenda
        55. Paramètres et paramètres des comptes
        56. Injecter le profil de Firefox de Windows dans Linux
        57. Sauvegarde des données avec Grsync
        58. Gparted renommer le disque de sauvegarde
        59. Vider le cache de Linux avec le Terminal
        60. Restaurer avec Timeshift
        61. Démarrage - enlever ou mettre un mot de passe
        62. Petit bilan et conseils

        Pour télécharger également le PDF (Pack débutant (partie 1) - Linux Mint 22 - Pas à pas sur YouTube en Libre accès
        Sur celui-ci, chaque vidéo est présentée par un petit texte, chaque vignette est active et permet en cliquant dessus de rejoindre la vidéo choisie, la durée de chaque vidéo est indiquée.

        Si cela peut intéresser quelqu’un.

        Commentaires : voir le flux Atom ouvrir dans le navigateur

        ❌