Home › Agrégateur de nouvelles › Sources ›

Linuxfr.org

Printer-friendly versionPrinter-friendly version
Syndicate content
URL: https://linuxfr.org/news
Mis à jour : il y a 20 min 4 sec

Parution du troisième numéro du Lama déchainé la gazette de l'April

29 octobre, 2025 - 08:54

Déjà trois numéros de publiés pour Le Lama déchainé de l’April. Le premier contre Microsoft et la fin du support de Windows 10, le deuxième avait un petit côté éducatif/entraide. Pour ce troisième opus, le numéro 2, quelques touches artistiques parsèment la gazette. Et toujours le dessin de Gee, qui pourrait être un jeu de 7 différences…

La plume invitée est David Revoy, il a dû être surpris que l’April lui demande un texte et pas un dessin. Il est connu pour sa bande dessinée Pepper et Carrot et pour son travail avec la fondation Blender. Qui de mieux qu’un artiste pour parler de licence et de partage ?

L’écho des associations est consacré à l’association ACIAH (Accessibilité, Communication, Information, Accompagnement du Handicap). Chaleureuse et humaine.

Le logiciel Androïd proposé par Michaël cette semaine est Radiodroïd, pour écouter des émissions de radio sans les trucs privateurs des appli. Vous connaissez ? Vous l’avez déjà utilisé ?

Nous avions promis de présenter à chaque numéro du Lama déchainé une distribution Libre. Nous continuons donc avec Ubuntu, la distribution libre la plus grand public, de l’avis de la personne qui écrit la rubrique. L’ordre a été rediscuté plusieurs fois, remis en question, surtout qu'à l’April, on utilise plutôt Debian. Mais nous resterons fidèles dans les prochaines publications à l’ordre donné dans le numéro 0.

Vous pourrez également découvrir la première étape pour construire votre Lama Photonique Interpellant. LPI pour les intimes !

Et comme chaque semaine, retrouvez la parole de, l’anecdote, le saviez-vous ?, l’idée à déconstruire, l’ineptIA, une des chroniques de Libre à vous ! , une citation de Libre à Lire !, le chiffre de la semaine et bien sûr les mots croisés !

Cette gazette est là pour vous présenter les actions de l’April sur plusieurs semaines, de manière plus légère que les lettres d’informations.

Afin d’assurer la pérennité de nos activités, nous cherchons à récolter une somme de 30 000€ avant le 31 décembre. Si vous pensez que l’April doit continuer à exister dans ce contexte où l’hégémonie des géants du logiciel privateur se fait toujours plus forte, vous pouvez adhérer ou faire un don.

Merci de votre lecture, de vos commentaires, de votre soutien !

Télécharger ce contenu au format EPUB

Commentaires : voir le flux Atom ouvrir dans le navigateur

Cycle de webinaires “Regards d’experts”

27 octobre, 2025 - 16:09

Open Source Experts lance ce cycle de webinaires pour donner la parole aux meilleurs spécialistes de l’écosystème. L’objectif : décrypter les grands enjeux technologiques, juridiques, économiques et géopolitiques qui façonnent l’avenir numérique de la France et de l’Europe.

Chaque webinaire propose le regard éclairé d’un expert qui analyse en profondeur une thématique stratégique, apportant aux décideurs les clés de compréhension nécessaires pour naviguer dans un environnement numérique en mutation rapide. Au-delà de la dimension technique, ce cycle ambitionne de nourrir une réflexion collective sur la construction d’une souveraineté numérique durable et collaborative.

Pour le 1er webinaire, le sujet sera "Souveraineté sans rivalité, la voie de l’Open Source ?" et ce sera présenté par Benjamin JEAN d'Inno3. Il aura lieu le 14 novembre 2025 à 11h.

Télécharger ce contenu au format EPUB

Commentaires : voir le flux Atom ouvrir dans le navigateur

Parution du deuxième numéro de la gazette Le Lama déchainé de l'April

26 octobre, 2025 - 23:44

La semaine dernière, vous avez pu découvrir le premier numéro du Lama déchainé qui était consacré au coup de gueule contre Microsoft et l’opération lancée par l’April Adieu Windows, bonjour le Libre!. Cette opération repose sur toutes les bonnes volontés libristes des GULL locaux. Merci de votre temps, patience et volonté de libérer et d’aider les personnes qui en ont besoin. Super dessin de Gee (mais quel talent !) pour montrer les différences entre Windows 11 et les distributions libres.

Nous avions laissé la plume au collectif NIRD et l’écho des assos était consacré au Libre vanvéen. Le logiciel Androïd proposé par Michaël Opdenacker, un nouveau membre de l’équipe de journalistes, spécialisé technique, était Heliboard pour libérer son clavier et nous promettions de vous faire découvrir des distributions libres. Arf, j’ai failli oublier les mots croisés qui vous ont fait réagir dans les commentaires !

Cette semaine, notre gazette s’intéresse à l’éducation et l’entraide… Deux valeurs incontournables dans la philosophie du Libre.

Des valeurs qui ne sont toujours pas maitrisées par le ministère de l’Éducation qui continue à gaspiller l’argent public. Merci Gee pour ce même. Vous pouvez en retrouver d’autres sur le site framamemes.org.

La plume invitée est la reine des elfes, Brigitte, une bénévole de Linux Quimper qui travaille au centre des abeilles. Elle soutient les personnes qui ont besoin d’aide en compagnie de ses copaines. Elle sautille sur les réseaux sociaux. Nous vous laissons découvrir son texte.

L’écho des associations est consacré à Oisux, qui avait organisé une des éditions de feu RMLL. C’était aussi le premier GULL à recevoir notre présidente pour son Tour des GULL. Allez découvrir ce qu’ils font.

Le logiciel Androïd proposé par Michaël cette semaine est Ankidroïd, pour faire travailler sa mémoire. Vous connaissez ? Vous l’avez déjà utilisé ?

Nous avions promis de présenter à chaque numéro du Lama déchainé une distribution Libre. Nous commençons donc avec Primtux, la distribution pour enfants et ado, chère à Oisux!

Vous pourrez également découvrir quel matériel regrouper pour fabriquer votre Lama Photonique Interpellant. LPI pour les intimes !

Et comme chaque semaine, retrouvez la parole de, l’anecdote, le saviez-vous ?, l’idée à déconstruire, l’ineptIA, une des chroniques de Libre à vous ! , une citation de Libre à Lire !, le chiffre de la semaine et bien sûr les mots croisés !

Cette gazette est là pour vous présenter les actions de l'April sur plusieurs semaines, de manière plus légère que nos lettres d'informations.

Afin d’assurer la pérennité de nos activités, nous cherchons à récolter une somme de 30 000€ avant le 31 décembre. Si vous pensez que l’April doit continuer à exister dans ce contexte où l’hégémonie des géants du logiciel privateur se fait toujours plus forte, vous pouvez adhérer ou faire un don.

Merci de votre lecture, de vos commentaires, de votre soutien !

Télécharger ce contenu au format EPUB

Commentaires : voir le flux Atom ouvrir dans le navigateur

Agenda du Libre pour la semaine 44 de l'année 2025

26 octobre, 2025 - 08:49

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 29 événements (France: 25, Québec: 1, Internet: 3) est en seconde partie de dépêche.

Sommaire

Lettre d'information XMPP de septembre 2025

23 octobre, 2025 - 14:19

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 et LinuxFr.org selon une procédure définie.

Bienvenue dans la lettre d'information XMPP, ravi de vous retrouver ! Ce numéro couvre le mois de septembre 2025.

Comme tout autre projet accompli par la XSF, cette lettre d'information est le résultat du travail volontaire de ces membres et des personnes y contribuant. Si vous êtes satisfait des services et logiciels que vous utilisez peut-être, n'hésitez pas à dire merci ou aider ces projets.

Vous souhaitez contribuer à l'équipe de communication de la XSF ? Lisez en bas de page.

    Sommaire Annonces de la XSF Adhésion à la XSF

    Si vous souhaitez devenir membre de la XMPP Standards Foundation, veuillez envoyer votre candidature avant le 23 novembre 2025, 00h00 UTC.

    Élections 2025 du Board et du Council de la XSF

    La XMPP Standards Foundation lance un appel à candidatures pour composer le Conseil d'administration et le Conseil XMPP pour la période 2025/2026. Si vous souhaitez vous présenter au Conseil d'administration ou au Conseil XMPP, veuillez ajouter une page wiki concernant votre candidature à l'une ou aux deux sections susmentionnées avant le 2 novembre 2025, 00h00 UTC.

    Participez aux décisions de l'organisation XMPP Standards Foundation et aux spécifications que nous publions !

    Remarque : les membres du Conseil XMPP doivent être des membres élus de la XSF ; cependant, il n'y a pas de restriction de ce type pour le Conseil d'administration.

    Vidéos et conférences XMPP Articles XMPP Nouvelles des logiciels XMPP Clients et Applications XMPP
    • Cheogram a publié la version 2.19.0-2 pour Android. Il s'agit d'une version corrective qui résout les problèmes d'inscription et de découverte (correction des options pour bloquer) sur les instances Snikket, corrige davantage d'encarts sur la dernière version d'Android et permet de faire défiler « Gérer les comptes » avec de nombreux comptes, entre autres. N'oubliez pas de consulter le journal des modifications pour plus de détails.
    • Conversations a publié la version 2.19.5 pour Android, avec une amélioration des messages d'erreur pour les serveurs qui ne prennent pas en charge TLS 1.3 et la correction de problèmes liés à la rotation des appareils, parmi de nombreuses autres corrections et améliorations. Vous pouvez consulter le journal des modifications pour plus de détails.
    • Convo Le client XMPP pour KaiOS a publié la version 0.2.0 baptisée « Eyes Only » qui prend en charge le chiffrement de bout en bout OMEMO ! C'est la première fois que XMPP avec OMEMO est disponible sur un téléphone à touches. Vous trouverez toutes les annonces sur la page de lancement.

    • Gajim a publié les versions 2.3.5 et 2.3.6 de son application de chat libre et pleine de fonctionnalités pour XMPP. Cette version apporte une réorganisation des paramètres de compte, un tout nouveau gestionnaire de raccourcis, davantage d'informations de contact, des aperçus vidéo, des améliorations de performances et de nombreuses corrections de bogues. La dernière mise à jour corrige certains problèmes liés aux aperçus vidéo et à leur génération, ainsi que certains problèmes liés au chargement des icônes. Vous pouvez consulter le journal des modifications pour plus de détails. Merci à toutes et tous pour vos contributions !

    • Kaidan a publié la version 0.13.0 de son application de chat moderne et conviviale pour XMPP. Cette nouvelle version prend en charge l'utilisation simultanée de plusieurs comptes, l'activation/la désactivation des comptes, le transfert de messages, l'application de critères cohérents pour toutes les corrections de messages, le stockage sécurisé des mots de passe, l'essai de tous les fournisseurs en cas d'erreur de connexion lors de l'enregistrement automatique, ainsi que de nombreuses autres nouvelles fonctionnalités et corrections de bogues ! Vous trouverez une liste détaillée des nouvelles fonctionnalités, des corrections de bogues et des remarques dans le journal des modifications.

    • Monocles a publié les versions 2.0.14 et 2.0.15 de son client de chat pour Android. Ces mises à jour apportent la possibilité d'épingler des images et des fichiers en haut de la fenêtre de chat, la prise en charge des URI géographiques dans les messages épinglés et les aperçus de réponse, l'activation de l'aperçu vidéo pour les messages épinglés et l'affichage de l'icône de fichier audio pour les messages audio épinglés, entre autres améliorations liées à l'épinglage. Elles permettent également de se répondre à soi-même, d'envoyer des réponses avec OMEMO et d'accéder au message en appuyant sur la réponse avec un nouveau défilement pour répondre, parmi de nombreuses autres fonctionnalités et corrections. N'oubliez pas de consulter le journal des modifications pour plus de détails !
    • Psi+ a publié la version 1.5.2117 portable de sa branche de développement de Psi, le client XMPP multiplateforme conçu pour les utilisateurs expérimentés.
    • Le client XMPP Renga pour Haiku a publié la version 1.28, avec quelques améliorations au niveau de la prise en charge MUC et une implémentation de XEP-0070 (vérification des requêtes HTTP via XMPP) pour l'authentification HTTP à l'aide de XMPP. Vous pouvez lire tous les détails concernant cette version dans les dernières actualités à ce sujet.
    • xmpp-web a publié la version 0.10.7 de son client de chat web léger pour serveur XMPP.
    • XOWS a publié la version 0.9.9c de son client web XMPP Over WebSocket, avec des routines de récupération d'avatar refactorisées, quelques optimisations de rafraîchissement DOM du navigateur, des corrections du crash du processus d'inscription de compte et de la duplication des occupants MUC.
    Serveurs XMPP
    • La communauté Ignite Realtime est heureuse d'annoncer la sortie d'Openfire 5.0.2 ! Cette version corrige une faille de sécurité récemment identifiée (CVE-2025-59154). Ce problème permettait une usurpation d'identité potentielle via l'analyse non sécurisée de l'attribut « Common Name ». Veuillez lire l'intégralité de l'avis de sécurité pour plus d'informations. Cette version améliore également les scripts basés sur SystemD, en supprimant quelques désagréments introduits dans Openfire 5.0.1. Veuillez vous reporter au journal complet des modifications pour plus de détails.
    Bibliothèques et outils XMPP Extensions et spécifications

    La XMPP Standards Foundation développe des extensions à XMPP dans sa série de XEP en plus des RFC XMPP. Des développeuses, développeurs et autres personnes expertes en normes du monde entier collaborent à ces extensions, élaborant de nouvelles spécifications pour les pratiques émergentes et affinant les méthodes existantes. Proposées par n'importe qui, celles qui remportent le plus de succès finissent par être classées comme finales ou actives, selon leur type, tandis que les autres sont soigneusement archivées comme différées. Ce cycle de vie est décrit dans la XEP-0001, qui contient les définitions formelles et canoniques des types, des états et des processus. Vous pouvez en savoir plus sur le processus de normalisation ici. La communication autour des normes et des extensions se fait via la liste de diffusion des normes (archives en ligne).

    Extensions proposées

    Le processus de développement d'une 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 en tant que XEP expérimentale.

    • Pubsub Node Bookmark
      • Cette spécification définit un élément de signet pointant vers un nœud Pubsub.
    Nouvelles extensions
    • Aucune nouvelle XEP ce mois-ci.
    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érimentale pour être classée comme Déférée. Si une mise à jour intervient, la XEP sera replacée dans la catégorie Expérimentale.

    • Aucune XEP déférée ce mois-ci.
    Extensions mises à jour
    • Version 0.3.1 de la XEP-0317 (Hats)
      • Correction de fautes de frappe, ajout d'exemples et clarification de certains paragraphes grâce aux commentaires de badlop. (tj)
    • Version 0.2.0 de la XEP-0503 (Spaces côté serveur)
      • Réécriture à l'aide de la sémantique pubsub. (nc)
    Dernier appel

    Les derniers appels sont lancés une fois que tout le monde semble satisfait de l'état actuel d'une XEP. Une fois que le Conseil a décidé que la XEP semble prête, l'Éditeur XMPP émet un dernier appel pour recueillir des commentaires. Les commentaires recueillis lors du dernier appel peuvent aider à améliorer la XEP avant de le renvoyer au Conseil pour qu'il passe à l'état Stable.

    • Aucun dernier appel ce mois-ci.
    Extensions stables
    • Aucune XEP n’est passée à 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.
    Salons publics XMPP

    De nouveaux salons et canaux publics sont créés quotidiennement sur le réseau XMPP. Si vous êtes à la recherche de nouvelles discussions intéressantes auxquelles vous joindre, n'hésitez pas à consulter le moteur de recherche de canaux publics pour trouver des groupes ou des communautés qui partagent vos centres d'intérêts !

    • Si vous souhaitez obtenir la liste de tous les canaux, vous pouvez la trouver ici.
    • Si vous vous intéressez à un sujet en particulier, effectuez une recherche par tag !
    • Si vous souhaitez uniquement répertorier les salons dans une langue particulière, ajoutez simplement « lang:xx » dans le champ de recherche, comme dans cet exemple pour la langue espagnole. Veillez simplement à remplacer « es » par la langue souhaitée (par exemple « lang:fr », « lang:de », « lang:pt », etc.).
    Partagez les nouvelles

    Veuillez partager cette nouvelle sur d'autres réseaux :

    Consultez également notre flux RSS !

    Vous recherchez des offres d'emploi ou souhaitez engager un consultant professionnel pour votre projet XMPP ? Consultez notre tableau d'affichage des offres d'emploi XMPP.

    Contributions et traductions de la lettre d'information

    Il s'agit d'un effort communautaire, et nous tenons à remercier les traductrices et traducteurs pour leur contribution.
    Les bénévoles et les nouvelles langues sont les bienvenues !
    Les traductions de la lettre d'information XMPP seront publiées ici (avec un certain retard) :

    Contributeurs à la newsletter de ce mois-ci :
    emus, Badri Sunderarajan, cal0pteryx, Gonzalo Raúl Nemmi, Kris « poVoq », Ludovic Bocquet, XSF iTeam

    Contributeurs à la traduction :

    Aidez-nous à créer la lettre d'information

    Cette newsletter XMPP est produite en collaboration avec la communauté XMPP. Chaque numéro mensuel est rédigé dans ce simple pad. À la fin de chaque mois, le contenu du pad est fusionné dans le dépôt GitHub de la XSF. Nous sommes toujours ravis d'accueillir de nouvelles personnes contributrices. N'hésitez pas à rejoindre la discussion dans notre groupe de discussion Comm-Team (MUC) et à nous aider ainsi à poursuivre cet effort communautaire. Vous avez un projet et souhaitez le faire connaître ? N'hésitez pas à partager vos actualités ou événements ici, et à les promouvoir auprès d'un large public.

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

    • collecte d'actualités dans l'univers XMPP
    • résumés courts d'actualités et d'événements
    • résumé de la communication mensuelle sur les extensions (XEP)
    • révision du projet de newsletter
    • préparation d'images pour les médias
    • traductions
    • communication via les comptes des médias
    Hébergement fiscal de projets par la XSF

    La XSF propose un hébergement fiscal pour les projets XMPP. Veuillez postuler via Open Collective. Pour plus d'informations, consultez l'article de blog annonçant cette initiative. Projets actuels que vous pouvez soutenir :

    Licence

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

    Télécharger ce contenu au format EPUB

    Commentaires : voir le flux Atom ouvrir dans le navigateur

    CryptPad et Decidim présentés au prochain webinaire de la série "Open Source by OW2"

    23 octobre, 2025 - 08:34

    Dans le cadre de sa série de webinaires "Open Source by OW2", la parole sera donnée aux projets CryptPad et Decidim, le jeudi 6 novembre à 16h00.

    Cette série de webinaires « Open Source by OW2 » est dédiée aux innovations open source, aux projets et à la communauté OW2, ainsi qu’aux opportunités de financement open source dont le programme européen NGI. Découvrez de nouveaux projets, des technologies, de l’innovation, des modèles ouverts au sens large (science/données/matériel/éducation/normes/protocoles/etc.), mais aussi des biens communs numériques, des financements, des modèles économiques, de la coopération et de l’impact social. Chaque webinaire mettra en avant un projet OW2 et un projet financé par NGI.

    Agenda :

    • 16h00 : Introduction par Catherine Nuel, Chargée de communication OW2
    • 16h05 : CryptPad, la suite bureautique entièrement open source et chiffrée de bout en bout, présentée par David Benqué, XWiki.
    • 16h25 : Decidim, la plateforme de démocratie participative open source, soutenue par NGI-Zero Commons, présentée par Bertille Mazari, Open Source Politics.
    • 16h40 : Conclusion

    L’inscription est gratuite mais obligatoire. Les présentations ont lieu en anglais. N’hésitez pas à diffuser l’invitation pour la session du 6 novembre.

    Télécharger ce contenu au format EPUB

    Commentaires : voir le flux Atom ouvrir dans le navigateur

    Sortie de Cocotb version 2.0.0

    21 octobre, 2025 - 16:50

    Cocotb, le cadriciel libre de vérification matérielle en Python, vient de publier sa version majeure 2.0. Cette sortie marque une étape importante dans l’évolution de ce projet qui permet de tester des circuits numériques décrits en VHDL ou Verilog directement depuis Python, sans avoir à écrire de testbench en HDL.

    Pour celles et ceux qui ne connaissent pas encore cocotb, il s’agit d’un outil qui facilite grandement la vie des personnes travaillant sur la conception de circuits intégrés. Plutôt que d’écrire des bancs de test complexes en VHDL ou Verilog, cocotb permet d’utiliser Python et son écosystème riche (NumPy, pytest, etc.) pour vérifier le comportement des circuits.
    Cocotb (Coroutines-based Cosimulation Test-Bench) permet d’écrire en python des bancs de test qui vont piloter directement le simulateur HDL via différentes interfaces (VPI, VHPI, FLI). La plupart des simulateurs HDL du marché sont supportés, qu’ils soient libres ou non.

    Sommaire Une version majeure synonyme de changements

    Comme l’indique le numéro de version, cocotb 2.0 introduit des changements incompatibles avec les versions précédentes. L’équipe de développement a profité de cette version majeure pour nettoyer l’API, supprimer du code obsolète et moderniser l’architecture du projet. Un guide de migration détaillé est disponible pour accompagner la transition.

    Principales ruptures de compatibilité

    La transition vers cocotb 2.0 nécessite quelques adaptations du code existant :

    • Suppression des coroutines à base de générateurs : La syntaxe yield (avec le décorateur @cocotb.coroutine) a été supprimée. Il faut désormais utiliser exclusivement la syntaxe moderne async/await.

    • Nouvelles conventions de nommage : Les variables d’environnement ont été renommées pour éviter les conflits avec les simulateurs. Par exemple, MODULE devient COCOTB_TEST_MODULES, TOPLEVEL devient COCOTB_TOPLEVEL, etc.

    • Changements dans les types de données : Les objets BinaryValue ont été remplacés par LogicArray, offrant une API plus cohérente et moderne pour manipuler les valeurs logiques.

    • Modifications des déclencheurs : L’objet Join est devenu obsolète au profit d’une utilisation directe des tâches. La syntaxe await task.join() devient simplement await task.

    Les nouveautés marquantes Amélioration des performances

    La nouvelle version apporte des gains de performance significatifs, notamment grâce à l’implémentation en C++ d’un générateur d’horloge (GpiClock). Cette optimisation réduit les échanges entre Python et l’interface GPI, permettant des simulations plus rapides, particulièrement pour les designs utilisant de nombreuses horloges.

    Prise en charge étendue des simulateurs

    Cocotb 2.0 élargit sa prise en charge des simulateurs commerciaux et libres :

    • DSim (Siemens) est maintenant officiellement géré
    • Questa bénéficie d’un nouveau flux de compilation qisqrun utilisant le Questa Information System pour de meilleures performances
    • NVC, le simulateur VHDL libre, est désormais géré
    • Verilator (version 5.036 minimum) avec le flag --timing est maintenant pleinement fonctionnel
    Gestion améliorée des tâches

    L’API de gestion des tâches a été modernisée pour s’aligner sur celle d’asyncio` :

    # Nouvelle fonction pour démarrer une tâche cocotb.start_soon(ma_coroutine()) # Nouveau déclencheur pour attendre la fin d’une tâche await task.complete # au lieu de await Join(task) # Annulation de tâches task.cancel() # au lieu de task.kill() # Variables locales aux tâches task.locals.ma_variable = valeur Nouvelles fonctionnalités pour les signaux

    Cocotb 2.0 enrichit les possibilités d’interaction avec les signaux HDL :

    • Dépôts sans délai : La classe Immediate permet d’effectuer des assignations immédiates
    • Nouvelle méthode set() : Une alternative à la propriété value avec un typage plus strict
    • Gestion étendue des actions : Force, Freeze, Release et Deposit pour un contrôle fin des signaux
    # Différents types d’assignations dut.signal.set(42) # Assignation normale dut.signal.set(42, Immediate()) # Assignation immédiate dut.signal.set(42, Force()) # Forcer une valeur dut.signal.set(Release()) # Libérer un signal forcé Améliorations du typage

    Cocotb 2.0 intègre maintenant mypy dans son processus de CI, garantissant une meilleure qualité du typage. Les utilisateurs bénéficient ainsi d’une meilleure expérience avec les IDE modernes et les vérificateurs de types.

    Décorateur @cocotb.parametrize

    Un nouveau décorateur simplifie la création de tests paramétrés, offrant une alternative plus moderne à TestFactory :

    @cocotb.parametrize( width=[8, 16, 32], signed=[True, False] ) @cocotb.test() async def test_additionneur(dut, width, signed): # Test avec différentes combinaisons de paramètres pass Gestion du logging améliorée

    Le système de logging a été revu pour être moins intrusif :

    • Nouvelle variable COCOTB_LOG_PREFIX pour personnaliser le préfixe des logs
    • Séparation des niveaux de log pour GPI avec GPI_LOG_LEVEL
    • Meilleure gestion de la capture des warnings Python
    • Timestamps de simulation accessibles dans les LogRecord
    Nouvelles structures de données

    La version 2.0 enrichit considérablement le module cocotb.types :

    • LogicArray : Représentation des tableaux de valeurs logiques avec gestion des états X, Z, etc.
    • Logic : Valeur logique unique avec gestion des 9 états VHDL
    • Méthodes de conversion : to_signed(), to_unsigned(), to_bytes(), from_bytes() pour faciliter les conversions
    from cocotb.types import LogicArray, Range # Création d’un tableau logique data = LogicArray("10XZ01", Range(5, "downto", 0)) # Conversions valeur_entier = data.to_unsigned(resolve=True) octets = data.to_bytes() Améliorations de l’écosystème Flux de test en Python

    Le flux de test Python (Python Test Runner), introduit expérimentalement en version 1.8, est maintenant mature et constitue l’alternative recommandée au système de Makefile traditionnel. Il permet une intégration plus naturelle avec pytest et simplifie la configuration des simulations.

    Queues asyncio

    Cocotb 2.0 introduit des files d’attente compatibles avec asyncio (Queue, PriorityQueue, LifoQueue), facilitant la communication entre coroutines.

    Gestion des packages SystemVerilog

    L’accès aux packages SystemVerilog est maintenant possible via cocotb.packages, permettant d’interagir avec les définitions globales du design.

    Considérations sur l’adoption

    Cette version majeure représente un investissement conséquent de l’équipe de développement. Pour les utilisatrices et utilisateurs existants, la migration nécessitera quelques ajustements, mais les bénéfices en termes de maintenabilité et de performances en valent la peine.

    Le projet cocotb, développé principalement par la communauté et utilisé dans l’industrie comme dans l’enseignement, continue de démontrer la pertinence de l’approche Python pour la vérification matérielle. Cette version 2.0 consolide les bases pour les évolutions futures.

    Pour les personnes qui débutent avec cocotb, c’est le moment idéal pour se lancer : la documentation a été revue, les exemples mis à jour, et l’API est désormais plus cohérente.

    Remerciements et perspectives

    Cette version est le fruit du travail de nombreuses personnes contributrices. Le projet est hébergé sur GitHub et accepte volontiers les contributions, qu’il s’agisse de code, de documentation ou de retours d’expérience.

    Les prochaines versions devraient continuer à améliorer les performances, étendre la prise en charge des simulateurs et enrichir l’écosystème de bibliothèques de vérification. La communauté cocotb est active et accueillante, n’hésitez pas à la rejoindre !

    Télécharger ce contenu au format EPUB

    Commentaires : voir le flux Atom ouvrir dans le navigateur

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

    20 octobre, 2025 - 18:19

    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.

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

    20 octobre, 2025 - 10:46

    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 48 événements (France: 45, Internet: 1, Suisse: 2) est en seconde partie de dépêche.

    Sommaire [FR Saint Clar] Tous les Lundis, médiatheque de Saint Clar - Le lundi 20 octobre 2025 de 10h00 à 17h00.

    Tous les lundis de 10h à 17h sans interruption, l'association Prends toi en main / atelier abcpc, propose install party, suivi, dépannage, formation et revalorisation à petit prix sous Linux exclusivement.

    L'atelier abcpc existe depuis plus de 10 ans et milite exclusivement pour les logiciels libres.

    [FR Montpellier] Atel'libre | Groupia | Intelligence artificielle générative open source - Le lundi 20 octobre 2025 de 19h00 à 21h00.

    Au cours de cette rencontre, nous commencerons par une brève présentation de nos organisations et des intervenants qui animeront 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 évidement une occasion particulièrement intéressante de prendre part à un dialogue constructif pour orienter les travaux, recherches et expérimentations de ce groupe.

    https://montpellibre.fr/groupia/index.html

    [Internet] Émission «Libre à vous!» - Le mardi 21 octobre 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 Vandoeuvre-lès-Nancy] [Annulé] Sciences participatives - Le mardi 21 octobre 2025 de 18h00 à 20h30.

    Cet atelier est annulé.

    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, s'inscrivant dans la culture libre, au cours des ateliers proposés par le Laboratoire Sauvage.

    Sujet du jour:
    Présentation suivie d’un atelier pratique contributif.

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

    [FR Pierry] Votre PC ne supporte pas Windows11 ! Ne le jetez pas, venez nous rencontrer, nous lui donnerons une seconde vie avec Linux MINT - Le mardi 21 octobre 2025 de 18h00 à 20h00.

    Rendez-vous hebdomadaire le mardi à partir de 18h00

    [FR Lyon] OpenStreetMap, rencontre mensuelle - Le mardi 21 octobre 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-10-21

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

    [FR Tours] Permanences Installation Linux et Usages logiciels libres - Le mardi 21 octobre 2025 de 18h30 à 20h30.

    La permanence d'ADeTI est un moment d'accueil avec des bénévoles pour apprendre à utiliser un ordinateur sous GNU/Linux (Ubuntu, Linux Mint, Debian,…)  mais aussi:

    • réparer les problèmes de logiciels sur son ordinateur
    • prendre des conseils pour choisir des logiciels alternatifs
    • différencier les logiciels libres utilisables pour répondre aux besoins
    • préserver et réfléchir sur ses usages (vie privée, éthique,…)

    Mais c'est aussi un moment consacré pour:

    • partager des connaissances et échanger des savoirs
    • maîtriser les formats ouverts et la pérennité de ses documents
    • Confidentialité, intégrité et disponibilité des systèmes d'information
    • Diversité des alternatives
    • Indépendance

    Nous accueillons également des membres de l'association ALFA-Net et A-Hébergement qui peuvent répondre aux questions concernant Internet, les réseaux et l'hébergement: connexion à Internet, alternatives aux "Box" et aux opérateurs/FAI commerciaux, Neutralité du Net, Vie Privée, Blog, Site Internet/Web,…

    [FR Grenoble] Install Party + Rencontre FairPhone - Le mardi 21 octobre 2025 de 19h00 à 21h00.

    La Guilde vous propose deux ateliers en une soirée: install party ET rencontre Fairphone
      à la Turbine.coop (entrée par le côté droit du bâtiment).

    Vous en avez assez d’être dépendants des OS et logiciels propriétaires (Android, Microsoft, 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 22 octobre 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 consultable ici.

    [FR Le Blanc] Atelier Libre - Le mercredi 22 octobre 2025 de 14h00 à 17h00.

    Des ateliers numériques pour:
        analyser vos ordinateurs
        sauvegarder vos données personnelles
        installer le nouveau système d exploitation (vous choisissez la distribution Linux qui vous convient le mieux)
        installer des logiciels libres
        apprendre à utiliser les logiciels

    [FR Beauvais] Sensibilisation et partage autour du Libre - Le mercredi 22 octobre 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 Vandoeuvre-lès-Nancy] Réunion OpenStreetMap - Le mercredi 22 octobre 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 Cysoing] Mercredis Linux - Le mercredi 22 octobre 2025 de 18h30 à 23h30.

    L'Association Club Linux Nord Pas de Calais organise chaque mois une permanence Logiciels Libres ouverte à tous, membre de l'association ou non, débutant ou expert, curieux ou passionné.

    Durant cette permanence, vous pourrez trouver des réponses aux questions que vous vous posez au sujet du Logiciel Libre, ainsi que de l'aide pour résoudre vos problèmes d'installation, de configuration et d'utilisation de Logiciels Libres.

    N'hésitez pas à apporter votre ordinateur, afin que les autres participants puissent vous aider.

    Dans une salle équipée d'un tableau blanc et d'un vidéoprojecteur, se dérouleront fréquemment des ateliers, des initiations, des discussions, des tests, des démonstrations, de l'entraide abordant le logiciel libre et de la dégustation de bières.

    Cette permanence a lieu à l'EPN (Espace Public Numérique), 311 rue Salvador Allende à Cysoing.

    [FR Saint Romain en Gal] OpenStreetMap, rencontre mensuelle - Le mercredi 22 octobre 2025 de 18h30 à 20h30.

    Discussion entre contributeurs.trices viennois.es 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ébutant.e.s qui souhaiteraient des conseils pour se lancer.

    Ordre du jour à compléter: https://wiki.openstreetmap.org/wiki/FR:Vienne_(Isère)/Reunion-2025-10-22

    Lieu de réunion: Ninkasi, 15, impasse du Rond Point, 69210 Saint-Romain-en-Gal - à partir de 18h30

    [FR Lyon] Rencontre PostgreSQL x Python - Le mercredi 22 octobre 2025 de 19h00 à 21h00.

    Ce meetup se fait avec le groupe PostgreSQL. Au programme, une présentation Python et une présentation PostgreSQL !

    • Pas d’algo, pas de bug, pas de bug pas de problème. Pas de problème… pas de problème — Matthieu
    • ORM or Not ? — Pierre-Henri

    Pas d’algo, pas de bug, pas de bug pas de problème. Pas de problème … pas de problème

    Vous arrive t'il parfois de devoir résoudre des problèmes ? Que ce soit des Sudoku, des échecs, le placement de table de votre mariage ou encore un emploi du temps aux contraintes interchangeables ? En tant que développeureuses, vous devez probablement créer des algorithmes pour répondre à ces problèmes pour vous.

    C'est là que les problèmes commencent: un algorithme, cela devient vite complexe, fouillis, illisible, surtout sur des problèmes aux nombreuses contraintes.

    Ce que je vous propose, c'est de venir découvrir des outils pour répondre à ces soucis de manière déclarative et épurée, avec des outils disponibles en python ! Pas la peine de déterrer un langage au paradigme obscur, vous serez comme à la maison.

    ORM or Not ?

    Comment communiquer avec votre base de données et votre DBA… et duquel vous pouvez vous passer ?

    Dans l’écosystème Python + PostgreSQL, les ORMs (SQLAlchemy, Django ORM…) suscitent autant d’enthousiasme que de critiques.

    Côté développeurs, ils apportent productivité, lisibilité et simplicité dans la gestion des modèles. Côté DBAs, ils sont accusés de générer des requêtes inefficaces, de masquer la puissance de PostgreSQL et de compliquer l’optimisation.

    Ayant été témoin de ce débat depuis longtemps, j’ai décidé d’explorer le sujet, de vous présenter quelques points trouvés et d’attiser les braises pour l’apéro qui va suivre

    DevOps Live Paris 2025 : conférences, solutions et retours d’expérience

    17 octobre, 2025 - 09:32

    Les 5 et 6 novembre 2025, Paris Expo Porte de Versailles accueillera DevOps Live Paris, l’un des cinq salons intégrés du Tech Show Paris, un événement européen dédié aux architectures cloud, à la cybersécurité, à la data et aux infrastructures critiques.

    L’événement offre :

    • un programme centré sur la pratique et le partage (320 conférences techniques et 275 exposants)
    • un salon tourné vers les solutions
    Un programme centré sur la pratique et le partage

    L’édition 2025 mettra en avant les approches concrètes du DevOps moderne : automatisation, IA, sécurité intégrée, observabilité et culture d’équipe.
    Plus de 320 conférences techniques et 275 exposants permettront d’explorer les solutions et retours d’expérience des équipes qui opèrent à l’échelle.

    Parmi les conférences phares :
    • FinOps et DevOps : développement piloté par les coûts dans un monde cloud-économique — Émilie-Brenda Naoussi (Air France)
    • DevSecOps sans le buzz : comment industrialiser la sécurité sans ralentir la livraison — Ayoub Houkmi (Vestiaire Collective)
    • Culture DevOps : au-delà de l’architecture, la clé de systèmes innovants et durables — Joël Guimfack (Laboratoire Native SAS)

    D’autres sessions aborderont :
    • le DevOps augmenté par l’IA et les agents intelligents,
    • la sécurité des containers (0 CVE dans vos containers : et si c’était possible ?),
    • ou encore la mise en place de plateformes LLMOps pour le développement d’agents conversationnels.

    Un salon tourné vers les solutions

    Au-delà des conférences, DevOps Live Paris est aussi un espace de démonstration et d’expérimentation.

    Les visiteurs pourront rencontrer des acteurs clés de l’écosystème tels que : Scafe, CBTW, Chainguard, Mindflow, Scalingo ou encore Spectrum Group / Atlassian…

    C’est l’occasion d’échanger directement avec les équipes techniques derrière les outils et plateformes qui façonnent la chaîne CI/CD, la sécurité applicative et l’automatisation cloud.

    Avec un seul badge, l’accès est ouvert à l’ensemble du Tech Show Paris : Cloud & AI Infrastructure, Cloud & Cyber Security Expo, Data & AI Leaders Summit et Data Centre World.

    Delphine Demange et les compilateurs

    17 octobre, 2025 - 09:22

    Cette année, la date de la journée Ada Lovelace, une journée dont l’objectif est d’accroître la visibilité des contributions des femmes dans les domaines scientifiques, technologiques, mathématiques et ingénierie (STEM), est le 15 octobre 2025.

    Pour l’occasion, en 2023, LinuxFr avait consacré une dépêche à Lorinda Cherry, Evi Nemeth et Jude Milhon. En 2024, cela avait donné lieu à une mini-série sur la participation des femmes à la conquête de l’espace. Cette année, on se penchera sur les compilateurs, créés par Grace Hopper, et qui ont valu à Frances Allen un prix Turing en 2006 et on dressera le portrait de Delphine Demange, lauréate du prix Gilles Kahn 2013.

    Sommaire Qu’est-ce qu’un compilateur ? La naissance des compilateurs

    Le premier compilateur, il s’appelait « translator » (traducteur) à l’époque, a été inventé par Grace Murray Hopper pour l’UNIVAC 1 en 1951, l’A-O System. Soit après la sortie de l’IBM 604 (1948), avant celle de l’IBM 650 (1954) et un peu avant le FORTRAN, langage compilé, créé vers 1953 par John Backus pour l’IBM 701 et lancé en 1957. La même année où IBM embauche Frances Allen pour former des scientifiques et des ingénieurs réticents à l’utilisation du langage. Elle sera, en 2006, la première femme à obtenir un prix Turing. Elle raconte, dans les Annals of History of Computing (Volume 6, N°1, janvier 1984) que :

    L’une des façons dont le laboratoire de recherche a convaincu les gens à utiliser ce langage a été d’imposer son utilisation via un règlement.

    Elle ajoutera :

    le compilateur FORTRAN a établi la norme en matière d’efficacité du code objet. Mais surtout, il a démontré la faisabilité de l’utilisation des langages de haut niveau. Lorsque j’ai enseigné le FORTRAN en 1957, l’utilisation de ce langage a rencontré une forte résistance. Cette résistance a rapidement été érodée par le type de code produit par le compilateur.

    John Backus, qui trouvait par ailleurs que Grace Murray Hopper était difficile à égaler, détaillait dans ces mêmes annales les auteurs et l’autrice du compilateur. Peter Sheridan avait écrit la section 1 qui analysait les expressions algébriques, les traduisait en code et optimisait ce code. Pour la section 2, Harlan Herrick avait inventé l’instruction DO, rédigé : « la partie de la section 1 qui regroupe toutes les informations sources non utilisées dans les expressions algébriques dans des tableaux nécessaires aux sections suivantes. ».

    C’est également à Herrick que l’on doit l’introduction des mots clés GO TO ! Roy Nutt a conçu la majeure partie du langage d’entrée/sortie et rédigé la partie de la section 1 qui traduisait les instructions d’E/S en boucles DO. Il a également rédigé la section 6, qui assemblait le programme symbolique final et complétait le traitement des instructions d’E/S. C’est également à Nutt que l’on doit l’introduction de l’instruction FORMAT. Bob Nelson et Irv Ziller ont rédigé la section 2, qui s’est avérée être la plus grande section du compilateur. Elle analysait les références aux tableaux dans les boucles DO et produisait un code hautement optimisé pour le reste du programme source. Leur travail a eu un impact important sur le niveau global d’optimisation que j’ai mentionné précédemment. Dick Goldberg a rédigé la section 3, qui rassemblait le code compilé par les sections 1 et 2 et produisait d'autres informations nécessaires aux sections suivantes. Les gens continuaient à se concerter et à demander aux auteurs des sections précédentes de produire un peu plus, quelques tableaux supplémentaires dont ils avaient finalement besoin. Dick a également joué un rôle important dans le débogage de la section 5. Lois Haibt (en) a rédigé la section 4, qui effectuait une analyse statistique de la fréquence d'exécution […] Ici, la section 4 a également préparé de nombreux tableaux pour la section 5, si je comprends bien. Sheldon Best a écrit la section 5, qui a converti le programme utilisant de nombreux registres d'index en un programme en utilisant trois. Ses méthodes ont eu un impact considérable sur les travaux ultérieurs dans ce domaine et ont eu un effet majeur sur le niveau d'optimisation du compilateur. Enfin, David Sayre a rédigé un manuel du programmeur exceptionnellement clair et concis et a aidé Dick Goldberg à déboguer la section 5.


    Schéma de la structure du compilateur de l’ordinateur IBM 704 adapté de celui fait par Frances Allen dans les « Annals of History of Computing », Volume 6, N°1, janvier 1984 (page 24).

    De leur côté, les Soviétiques, qui fabriquaient aussi des ordinateurs, utilisaient également des compilateurs. Dans son article sur les ordinateurs soviétiques, Yves Logé rapporte qu’ils utilisaient, en 1955, les langages de compilation : PP2 – PP et BESM. Le BESM étant un ordinateur sorti en 1953. La fondatrice de la programmation théorique en Ukraine, Katerina Yushchenko (en), y a fort probablement contribué.

    À quoi ça sert ?

    En août 2001, dans un entretien (en) avec Janet Abbate qui lui demandait comment elle définirait un compilateur, Frances Allen répondait :

    Je pense qu’un compilateur sert à traduire ce que l’utilisateur de l’application […] demande […] à la machine de manière à obtenir la bonne réponse, mais aussi à utiliser au mieux les ressources de la machine. C’est ça, l’optimisation. On peut se contenter de transposer les choses sans tirer parti des registres et de nombreuses autres unités de calcul, mais cela ne serait pas aussi efficace. L’optimisation consiste donc à tirer parti des ressources de la machine et à très bien connaître cette dernière. C’est en quelque sorte combler un fossé, afin que l’utilisateur n’ait pas besoin de tout savoir !

    Plus généralement, un compilateur est décrit comme un programme dans un langage de haut niveau qui traduit le code-source en code objet pour le rendre exécutable en détectant les erreurs et en l’optimisant par la même occasion.


    Le code source est envoyé au compilateur qui le traduit en langage machine.

    Les compilateurs sont des outils essentiels et très complexes qui interviennent dans tous les programmes, notamment des logiciels très critiques :

    Par exemple, les programmes embarqués dans les systèmes bancaires, dans les systèmes de contrôle de vol des avions, ou même dans la chirurgie assistée par ordinateur ou les centrales nucléaires […] : la présence d’erreur durant leur exécution pourrait avoir des conséquences désastreuses, que ce soit en termes de vies humaines, de dégâts écologiques, ou de coût financier. (Delphine Demange, Semantic foundations of intermediate program representations, Thèse soutenue le 19 octobre 2012.)

    Comment ça marche ?

    Réponse rapide : avec beaucoup de mathématiques. Réponse un peu plus détaillée : à partir de différents types d’analyses après une phase de pré-traitement qui permet de déterminer comment traiter les informations.

    1. L’analyse lexicale : découpe le code en unités lexicales ou « tokens » qui vont permettre au compilateur de traiter les données par la suite. Ce faisant le compilateur sépare les différents types d’éléments : variables, opérateurs, séparateurs, mots-clés, etc.
    2. L’analyse syntaxique : vérifie que le programme source ne contient pas d’erreur de syntaxe et que le code source est correct et, évidemment le compilateur signale les erreurs qu’il a pu trouver à ce stade.
    3. L’analyse sémantique : après la syntaxe, c’est le sens du code qui est examiné. Le compilateur va ainsi vérifier s’il y a des erreurs de logique, passant, que le code fait bien ce qu’il est censé faire. À ce stade, le compilateur va aussi signaler les erreurs, voire, rejeter un code incorrect.
    4. L’optimisation : permet de nettoyer le code pour le rendre plus rapide à exécuter. À l’heure actuelle avec des processus très gourmands en ressources, c’est une étape-clé, ça n’a pas toujours été forcément le cas.
    5. La génération du code final : c’est la dernière phase dont le résultat est le code exécutable.
    Delphine Demange : comment vérifier que les compilateurs font leur travail correctement Parcours

    Delphine Demange entre en licence d’informatique à l’université de Rennes 1 en 2004. Elle y obtiendra un magistère Informatique et télécommunications en 2006 puis fera le mastère de recherche en informatique de la même université en 2008. Elle achèvera cette partie de ses études par un stage de master à l’IRISA (équipe Celtique), en vérification de programme. Au bout des cinq mois de stage, en 2009, elle s’inscrira en thèse. Une thèse, Fondements sémantiques des représentations intermédiaires de programmes (en), soutenue en 2012 et qui lui vaudra le prix de thèse Gilles Kahn 2013 de la SIF, et qui porte sur :

    la vérification formelle de logiciel, c’est-à-dire à l’ensemble des techniques et d’outils scientifiques qui permettent d’assurer qu’un logiciel remplit ces exigences [de qualité des systèmes critiques]. (Résumé étendu de sa thèse).

    Elle part ensuite pour les USA, à l’Université de Pennsylvanie pour une année de post-doctorat. Là, elle travaillera sur un projet alliant vérification et sécurité. De retour en France, elle passe des concours. Elle est, depuis 2013, maîtresse de conférence à l’université Rennes 1.

    En février 2024, elle donnait un cours au Collège de France : Représentations intermédiaires pour la compilation : s’affranchir du graphe de flot de contrôle.

    On peut retrouver ses communications et articles ainsi que sa thèse, toutes en anglais, sur HAL science ouverte.

    La vérification des logiciels

    Comme elle le dit en résumé de sa thèse :

    Nos vies quotidiennes dépendent de plus en plus, sans même parfois que nous nous en rendions compte, de l’utilisation de programmes informatiques. Ces programmes n’ont toutefois pas tous le même niveau de criticité. Par exemple, les programmes embarqués dans les systèmes bancaires, dans les systèmes de contrôle de vol des avions, ou même dans la chirurgie assistée par ordinateur ou les centrales nucléaires sont appelés systèmes critiques : la présence d’erreur durant leur exécution pourrait avoir des conséquences désastreuses, que ce soit en termes de vies humaines, de dégâts écologiques, ou de coût financier. Ce type de programme requiert donc de fortes garanties : leur exécution ne devrait pas échouer, et leur correction fonctionnelle devrait être garantie.

    Elle ajoute plus loin que les compilateurs étant des logiciels, ils sont à leur tour susceptibles d’avoir des bugs comme n’importe quel autre programme. Il est donc nécessaire qu’ils répondent aux mêmes exigences infaillibilité que les systèmes critiques sur lesquels ils travaillent.

    Dans un entretien accordé au site de l’université de Rennes en 2014, elle précise que son travail a pour but final :

    d’assurer, par une preuve mathématique et assistée par ordinateur, que les compilateurs compilent correctement les programmes (i.e. ils n’ajoutent pas de nouveaux comportements aux programmes), et que les vérifieurs calculent des propriétés sur des modèles corrects des programmes (si le modèle du programme ne comporte pas d’erreur, alors le programme d’origine n’en comporte pas non plus).

    Ses travaux de thèse portant les représentations intermédiaires (IR) des programmes sur lesquels travaillent les compilateurs et vérificateurs. Ces IR simplifient les analyses de ces outils qui peuvent analyser des programmes très complexes. Elle continue, depuis, ses recherches dans le même domaine avec :

    la vérification des techniques de compilation optimisantes pour les langages de haut-niveau, en y incluant les aspects les plus difficiles des langages modernes, comme la gestion de la mémoire, la concurrence et les modèles de mémoire faibles. (entretien, Université de Rennes).

    Tout cela demande beaucoup de mathématique, parfait pour quelqu’un qui a hésité entre les maths et l’informatique.

    Quelques autres sources d’information

    Sur les compilateurs, internet est bien pourvu en ressources en français sur le sujet, par exemple :

    — Compilation informatique : définition concrète et rôle, Journal du net, 2016,
    — Comment fonctionnent les compilateurs, IBM, [sd],
    — Qu’est-ce qu’une conception de compilateur ? Types, outils de construction, exemple, Kaia Céruléen, GURU99, [septembre 2025 ?],
    — Cours de compilation, [sd],
    — Compilation, pdf à télécharger,
    — Langages de programmation et compilation, Jean-Christophe Filliâtre, septembre 2016,
    — Représentations intermédiaires pour la compilation : s’affranchir du graphe de flot de contrôle, cours au Collège de France, 15 février 2024
    — Fondements sémantiques des représentations intermédiaires de programmes, thèse, en anglais, de Delphine Demange.

    Sinon on peut aussi lire ou relire l’hommage à France Allen sur LinuxFr. Il y a aussi, en anglais, cet article Early Computers and Computing Institutions (en) qui raconte les débuts de FORTRAN. C’est très intéressant. Mais il faut soit l’acheter (15,50 dollars pour les membres ou 30 dollars pour les non-membres) ou faire partie d’une structure adhérente.

    Questions et remerciements

    Compte de tenu de l’importance des compilateurs, la question se pose de la raison pour laquelle la personne qui a été à l’origine du premier compilateur et du COBOL, Grace Murray Hopper (1906-1992) n’a pas reçu le prix Turing pourtant créé de son vivant, en 1966, et à une époque où elle était encore active. Le récipiendaire du prix Turing 1966 ayant d’ailleurs été Alan J. Perlis pour la construction de compilateurs.

    Question complémentaire, pourquoi France Allen n’a reçu son prix Turing qu’en 2006 « pour ses contributions pionnières à la théorie et à la pratique des techniques utilisés par les compilateurs optimiseurs qui ont jeté les bases des compilateurs optimiseurs modernes et de l’exécution parallèle automatique. » Frances (“Fran“) Elizabeth Allen. A.M. Turing Award 2006 (en), alors qu’elle avait pris sa retraite depuis 2002. Elle reste toujours aussi importante : un de ses textes de 1970 fait partie de la bibliographie de la thèse de Delphine Demange.

    Dernière question, dans son discours de remise du prix Turing en 2007, Frances Allen disait qu’après une phase de stagnation des compilateurs, on devrait avoir une phase de progrès significatifs dans le domaine. Est-ce que vous avez une idée de ce à quoi elle aurait pu penser ?

    Un très grand merci à vmagnin pour son aide et les documents qu’il m’a envoyés pour m’aider à rédiger cette dépêche.

    Télécharger ce contenu au format EPUB

    Commentaires : voir le flux Atom ouvrir dans le navigateur

    Le Lama Déchainé, campagne de l'April 2025

    17 octobre, 2025 - 08:13

    Certains s'en souviennent encore, d'autres sont passés à côté. Certains en ont rêvé, d'autres ont hâte de retrouver les mots croisés! Certains se demandent ce que l'April a fait cette année, d'autres ont d'autres associations à financer…

    Le Lama Déchainé revient !

    À travers neuf éditions hebdomadaires du 15 octobre au 16 décembre, (sauf surprise, manque de temps, perte d'un journaliste, dissolution de l'assemblée nationale, voire démission d'un président).

    Vous y retrouverez les éditos, de nouvelles anecdotes, des dessins humoristiques explicites, les mots croisés, les chiffres, de nouveaux logiciels libres. Comme l'année dernière, la plume invitée sera laissée à des personnes amies nous parlant d'elles ou de leurs projets. Toujours plus de trucs à savoir et à partager

    De nouvelles rubriques ont également été mises en place, nous avons scindé les citations en deux, la première sera nourrie uniquement de citations de notre site Libre à lire! qui regroupe toutes les transcriptions réalisées (conférences, vidéos, podcasts, car le texte rend plus accessible les médias). Pour la deuxième, les citations seront des extraits des chroniques de notre émission radio Libre à vous! diffusée sur Cause commune et en podcast.

    Autre nouvelles rubriques :

    • Distribution libre, qui sera composée de petits textes présentant succinctement différentes distributions. Avec l'opération Adieu Windows, bonjour le libre!, beaucoup de personnes nous demandent quelle distribution choisir. Nous espérons, avec cette rubrique, leur donner quelques pistes de réflexion.
    • L’écho des assos, pour vous parler des associations qui accueillent, rencontrent et aident le grand public au jour le jour (merci à elles).
    • IneptIA, tout est dans le titre, on vous laisse découvrir (et commenter, forcément).
    • Qui fréquente votre lama?, où n'importe qui pourra participer en (demandant puis) envoyant des photos de leur lama.

    Grande nouveauté de cette année : Le Lama Photonique… Ce sera le feuilleton de la fin d'automne, chaque semaine, vous pourrez découvrir comment fabriquer votre propre Lama Photonique en dix étapes !

    Tout peut arriver d’une semaine à l’autre alors, pour ne rien rater, suivez avec vigilance les mots clics #LeLamaDéchainé et #CampagneApril2025 sur les réseaux sociaux ou abonnez-vous au flux RSS.

    Cette gazette vise à vous présenter l’étendue de nos actions, dans un format plus léger et humoristique que nos lettres d’informations (que nous vous encourageons malgré tout à lire pour vous convaincre de la pertinence de notre travail).

    Afin d’assurer la pérennité de nos activités, nous cherchons à récolter une somme de 30 000€ avant le 31 décembre. Si vous pensez que l’April doit continuer à exister dans ce contexte où l’hégémonie des géants du logiciel privateur se fait toujours plus forte, vous pouvez adhérer ou faire un don.

    Merci de votre lecture, de vos commentaires, de votre soutien!

    Télécharger ce contenu au format EPUB

    Commentaires : voir le flux Atom ouvrir dans le navigateur

    Kernel Recipes 2025 c'est fini : les vidéos sont en ligne !

    16 octobre, 2025 - 15:48

    La 12ᵉ édition de Kernel Recipes s’est tenue à Paris du 22 au 24 septembre 2025, et comme chaque année, l’événement a rassemblé un bel échantillon de la communauté du noyau Linux : développeurs, mainteneurs, testeurs, contributeurs, et passionnés venus échanger autour du projet du noyau.

    Trois jours intenses de présentations, de discussions informelles, de caféine et de partages d’expériences — bref, un cru encore une fois très riche. Les sujets ont couvert un large spectre : du développement des sous-systèmes du noyau à la maintenance, en passant par la sécurité ou la performance. Cette année encore quelques interventions concernant l'impact de BPF et la place grandissante de Rust dans le projet.

    Les slides et enregistrements vidéo de toutes les présentations sont désormais en ligne !

    Nous tenons à remercier l'ensemble des speakers qui encore une fois ont fait de cette 12e édition une réussite : Maira CANAL, Dorinda BASSEY , Matthew WILCOX, Melissa WEN, Andrea RIGHI, Greg KH, Thomas Schwinge, Thara Gopinath, SJ Park, Roman Gushchin, Leonardo Brás, Song Liu, Julia LAWALL, Boris Brezillon, Thomas Weissschuh, Indu Bhagat, Alice Ryhl, Vlastimil Babka, Lorenzo Stoakes.

    Un remerciement tout particulier à Paul McKenney notre parrain cette année qui a fournit un travail énorme pour nous aider à boucler cette édition.

    Un grand merci également au talent de Frank Tizzoni qui avec ses dessins est devenu incontournable à la conférence. Merci à Anisse Astier pour son live blog et sa capacité incroyable à retranscrire l'essentiel de cette conférence.

    Chapeau bas à Erwan Velu pour ses lancers de micro, ses photos et son aide à l'organisation, et à Jean-Christophe Huwette pour nous permettre de proposer tous les ans un live stream impeccable et des vidéos pour tout le monde.

    Enfin un grand merci à nos sponsors sans lesquels nous ne pourrions pas proposer depuis 12 ans cet événement à Paris, un événement qui reste abordable, convivial : Meta, AMD, Libre Computer, Collabora, Haproxy, Igalia, Jumptrading, Linux Foundation, Criteo R&D, Cyberzen, ANSSI, Linux Pratique.

    Rendez-vous l'an prochain !

    Télécharger ce contenu au format EPUB

    Commentaires : voir le flux Atom ouvrir dans le navigateur

    Au café libre — « Libre à vous ! » du 7 octobre 2025 — Podcasts et références

    15 octobre, 2025 - 06:37

    257e é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 « Les humeurs de Gee » sur « Adieu Windows »
    • chronique de Vincent Calame sur « La vie algorithmique » (2e partie)

    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.

    Télécharger ce contenu au format EPUB

    Commentaires : voir le flux Atom ouvrir dans le navigateur

    Parcours libriste avec Elena Rossini - « Libre à vous ! » du 30 septembre 2025 - Podcast, références

    14 octobre, 2025 - 10:56

    256ème émission Libre à vous ! de l’April. Podcast et programme :

    • sujet principal : parcours libriste avec Elena Rossini, cinéaste, photographe et militante italienne
    • chronique F/H/X de Florence Chabanois sur « La violence, ce n’est pas binaire »
    • chronique Que libérer d’autre que du logiciel d’Antanak. Rediffusion de la chronique diffusée dans l’émission Libre à vous ! du 10 juin 2025

    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.

    Vous pouvez laisser un message sur le répondeur de la radio, pour réagir à l’un des sujets de l’émission ou poser une question. Le numéro du répondeur : +33 9 72 51 55 46.

    Télécharger ce contenu au format EPUB

    Commentaires : voir le flux Atom ouvrir dans le navigateur

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

    14 octobre, 2025 - 09:22

    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.

    Interminable liste de terminaux

    14 octobre, 2025 - 07:44

    Ah, la ligne de pêche Maginot commande ! Que ce soit pour gérer ses fichiers, récupérer des commits, lancer une compilation, se connecter à un serveur, redémarrer un service, consulter les logs, voire contrôler la musique, afficher des images, cette interface reste en 2025 exceptionnellement boomer rapide et même parfois confortable.

    Sans compter que le terminal est l'endroit où lancer des applications dédiées, pour lire ses mails ou un million d'autres choses.

    Bref rappel avant se lancer dans de longues comparaisons

    • TTY vient de teletypewriter. Si vous tapez (Xorg comme Wayland) Control + Alt + F3 par exemple, vous vous retrouverez devant une invite de commande.
    • pts/pty : quand vous ouvrez un terminal

    L'invite de commande pourra bénéficier d'un shell personnalisé. Le bureau permettra l'usage d'un terminal.

      Sommaire Le jeu de les shells

      Le shell est un interpréteur de commande. On peut simplement lancer une commande pour consulter l'état du système (top, ps), déplacer un fichier (mv), … Ou combiner des commandes, écrire des scripts basés sur des conditions et des variables, … Donc comme l'explicite le manuel GNU, un shell unix est la fois un interpréteur de commande et un langage de programmation.

      La plupart des distributions utilisent par défaut "Bash", mais il est possible de changer de shell, par exemple interactivement en utilisant la commande chsh ("change shell"), ou en modifiant les paramètres d'un terminal en particulier, ou d'un multiplexeur, ou encore plus globalement en modifiant le shell par défaut d'un user (faites un peu attention dans ce cas — les shells ne sont pas tous compatibles, ne tombez pas !).

      Les scripts précisent aussi quel shell invoquer… Si je prends un tuto sur un shell au hasard, voici ce que je vais trouver

      #!/bin/bash # This script will take an animated GIF and delete every other frame # Accepts two parameters: input file and output file # Usage: ./<scriptfilename> input.gif output.gif

      Attention : ce script référence explicitement /bin . Pas 100% sûr que bash y soit installé. Une solution peut être d'utiliser env.

      #!/usr/bin/env bash

      Hormis interpréter les commandes tapées, le shell affiche également un prompt invitant à taper une commande. Quelque chose comme cela :

      [goat@arch:~]$

      Pour la partie prompt, certains shells vont autoriser un peu de paramétrage, ou l'on peut même installer des plugins pour enrichir les possibilités, comme avec powerline ou même le liquid prompt présenté ici même par son auteur Dolmden.

      On peut aussi trouver un prompt comme starship qui est utilisable avec les différents shells.

      De la préhistoire au Bash

      Pour l'histoire, le premier shell Unix date de 1971, puis le Bourne Shell (sh), du nom de son auteur, apparait en 1977. Beaucoup de fonctionnalités sont déjà présentes : il est scriptable (on peut définir un script avec des conditions dont la si laide esac, définir des boucles, …), les processus peuvent être contrôlés, il est possible de définir des alias, …

      Bourne Shell implémente la norme POSIX que d'autres shells respectent. La licence du Bourne Shell est débatue (avec une certaine vigueur sur Wikipédia!) , en tout cas son code est ici.

      KORN shell n'était, au départ, pas open source - le code n'est libéré que dans les années 2000. Korn Shell implémente les fonctionnalités du Bourne Shell mais ajoutera d'autres éléments, comme des raccourcis vi/emacs, ou comme les tableaux

      $ typeset -A age $ age[bob]=42 $ age[alice]=31 $ print ${age[bob]} 42

      GNU BASH : /bin/bash

      B.A.S.H. = Bourne Again Shell (superbe jeu de mots avec Born Again Shell). Bash implémente la norme POSIX… et un peu plus.

      GNU bash connait une première release en 1989. Il reprendra à son compte des fonctionnalités trouvées jusqu'ici dans de précédents shells, y compris Korn Shell. Bash reste le shell interactif par défaut sur de nombreuses distributions. Il fut le shell sous MacOS.

      Anecdote - quel est le plus gros programme bash que vous connaissiez ? nb, qui propose de gérer vos notes en mode texte (org, markdown, etc), est principalement composé d'un script .sh de … 26736 lignes. Je vous laisse partager vos trouvailles en commentaire !

      DASH : le Debian Almquist shell est renommé ainsi en 1997. Debian l'adopte par défaut pour les scripts, tandis que le shell interactif des utilisateurs reste bash. Ubuntu y passe par défaut sur la 6.10. Dash est léger et performant. Moins de dépendances égal plus de sécurité.

      ZSH

      ZSH sort en 1990. Toujours compatible avec la norme POSIX, Zsh va améliorer de bien pratiques fonctionnalités d'auto-complétion : appuyez sur <TAB> et Zsh complète pour vous.

      Mais bien plus largement, Zsh va atteindre le paroxysme en terme de fonctionnalités. Tout existe dans Zsh.

      Zsh est connu pour proposer de très nombreuses possibilités de configuration. Ses plugins se comptent par centaine — y compris plusieurs gestionnaires de plugins… Mais un outil très utilisé pour le configurer sort du lot : Oh my zsh, qui permet de gérer plus de 300 plugins ainsi que de nombreux thèmes.

      FISH

      Fish pour "Friendly Interactive Shell", date de 2005. C'est un shell non POSIX - certaines fonctionnalités ne seront pas compatibles. Un script bash ne marchera pas forcément.

      Ce shell se veut demander peu de configuration - il est prêt à l'emploi. Choix appréciable quand on peut déjà passer tant de temps à configurer d'autres choses (distro, bureaux, nano, terminaux..)  !

      Il suffit de l'installer pour avoir

      • une coloration syntaxique indiquant quelle commande est valide
      • suggestions : en tapant, on obtient des candidats que l'on peut auto-compléter

      Fish est également scriptable et se veut proposer un syntaxe plus saine. À vous de tester (mais vous ne codez qu'en Rust, n'est-ce pas ?)

      Le gros point de Fish à mon sens, c'est de proposer une configuration par défaut déjà utilisable, comme le fait de se baser sur les pages man ainsi que sur l'historique pour proposer l'auto-complétion. Oubliez les heures passées à configurer - je ne sais pas si Fish a le plus de chevaux dans le moteur, mais avec lui vous êtes déjà prêts à partir.

      Petite fonctionnalité sympa, taper fish_config ouvre une page ouaibe. On peut alors prévisualiser les thèmes, personnaliser le prompt, visualiser les fonctions et variables, consulter l'historique et les raccourcis claviers. Fish a un mode vi.

      Fish a été réécrit en Rust entre 2022 et 2024.

      Ravissant multiplex, 200 mètres carrés

      Ok donc nous avons un shell à choisir, y compris le prompt et il faudra le lancer dans un terminal, mais avant ça, si on avait un gestionnaire de fenêtre dans le gestionnaire de fenêtre ? C'est bien comme cela qu'est présenté GNU Screen, qui gère des fenêtres, typiquement de terminaux. C'est un multiplexeur, en français : la possibilité d'ouvrir plusieurs terminaux dans un seul terminal. GNU Screen sait lister les terminaux ouverts, passer de l'un à l'autre, en tuer… Comme souvent, le wiki arch détaille bien notre affaire concernant screen. Mais GNU Screen est un vieux de la vieille, qui date de 1987.

      Plus souvent cité de nos jours, Tmux (2007) propose des raccourcis à la Emacs ou à la Vim, un menu graphique, des splits verticaux ou horizontaux.

      Il existe d'autres multiplexeurs. On peut citer par ex. Zellij, orienté développeurs, qui affiche une barre de statut, peut afficher les raccourcis claviers…

      Envolez-vous vers un nouveau terminal

      Le choix d'un terminal pourra définir l'apparence de votre interface, comment vous gérez le multi-fenêtre et/ou multi-onglet, la capacité à rechercher, copier-coller, les raccourcis clavier, peut être même comment accéder aux emplacements, vous connecter en ssh.

      Certains terminaux proposent un mode inspiré de Guake (première release 2007), lui même inspiré du terminal dans Quake : le terminal est toujours ouvert et dispo, mais caché et l'appui d'un raccourci clavier le fera apparaître. Le temps de taper trois commandes et le même raccourci le fera disparaître. À voir ce qui se fait encore sous Wayland, je vois par ex. qu'il y a encore une extension GNOME.

      La console sur le bureau

      Première piste : tout simplement utiliser la terminal qui vient avec son bureau, si l'on en utilise un. Évidemment le premier avantage sera une bonne intégration, mais en pratique ?

      Nous verrons aussi plus bas certains terminaux qui sont le terminal par défaut de gestionnaires de fenêtre, mais il s'agit simplement d'un choix par défaut et pas d'une affiliation ni d'une intégration particulière, donc pas de raison de les mentionner ici.

      Console (GNOME)

      Le terminal par défaut a changé sous GNOME 42 (euh bah oui c'était y'a un moment), pour devenir GNOME Console (anciennement Kings Cross Station d'où kgx — j'ai cherché l’exécutable un moment…). Assez peu de fonctions particulières mais : devient rouge lorsqu'on est connecté en root ou violet en ssh, envoie une notif quand une longue commande se termine, sympa. Un bouton de recherche un peu étonnant peut s'avérer pratique. Clairement la logique est d'afficher peu de boutons, peu de choix, et d'investir sur des options par défaut qui fonctionnent. Je ne vais pas retenir Console pour mon usage mais je trouve qu'effectivement c'est un terminal élégant.

      Pour changer le shell de Console, il faudra passer par l'éditeur dconf et modifier l'option org.gnome.Console.shell.

      Certaines distributions ont préféré maintenir gnome-terminal, plus complet, mais gnome-terminal est resté Gtk3 (alors que kgx est bien Gtk4).

      Petite note sur kgx et gnome-terminal : ces terminaux sont basés sur la libvte dont dépendent d'autres terminaux GTK. Voici quelques exemple cités par une page du wiki gnome :

      On pourrait y ajouter Lxterminal (merci à Impromptux).

      Konsole

      Le choix logique pour le bureau KDE. En termes de fonctionnalités, c'est l'artillerie lourde. Multi-profils, signets, multiplexeur, prévisualisation d'images. Konsole est intégrée dans plusieurs applications KDE.

      Pour changer le shell de Konsole, vous pouvez passer par le menu Settings > Configure Konsole > Profiles .

      C'est le moment de mentionner Qtermwidget : ce widget fut originellement basé sur Konsole et servit à développer Qterminal.

      xfce-terminal

      Terminal par défaut du bureau Xfce. Il dépend et hérite de libvte. Il est en Gtk3.

      • Permet plusieurs onglets
      • Intégration avec un gestionnaire de fichiers (ouverture dans le répertoire courant du terminal)
      • Prévention de collage dangereux : quand ça contient un retour chariot, ouvre une popup qui permet d’inspecter et modifier le contenu dangereux.
      • Permet d’envoyer un signal au processus en cours
      • Permet d’avoir une console rapide à la Guake
      • Permet de colorer les onglets manuellement.

      Il est possible de changer le shell dans les préférences.

      Terminology

      Ce terminal sort en 2013, il fait partie du bureau Enlightenment Je pense que c'est le premier terminal à pouvoir afficher des images. Il est possible d'avoir des informations en survolant une URL. Une barre de progression s'affiche durant l’exécution de commandes. Les performances sont au rendez-vous. (Subjectif - serait-ce tout simplement la meilleure appli e17?)

      Emacs et (Neo)Vim

      Mais plutôt que d'utiliser le terminal intégré à son environnement de bureau, pourquoi ne pas utiliser directement celui intégré à son éditeur de texte? Un bon éditeur de texte en effet a forcément son bon terminal. Même Vim? Et oui. C'est donc une solution de lancer le terminal depuis l'éditeur de texte, par exemple pour reproduire les fonctionnalité d'une IME vivre sa vie entière en mode texte.

      Emacs

      Démarrons tout de même par Emacs, où la prise en charge du terminal est plus ancienne.

      Emacs a… 4 terminaux, pourquoi faire simple. 4 terminaux ? Non pas vraiment : 2 shell et 2 terminaux. Il peut y en avoir plus.
      En fait, puisqu'on peut, malgré la rumeur, bel et bien éditer du texte dans emacs, pourquoi ne pas gérer ses commandes au même endroit ? On peut même s'amuser à gérer ses fichiers dans dired, ses processus, finalement un peu tout l'aspect système.

      Mastering Emacs le développe mieux que moi mais vous aurez donc plusieurs possibilités sous Emacs :

      2 SHELLS

      • eshell, le plus emacsien des 2 : un shell 100% implémenté en elisp (!!!). On peut faire beaucoup de emacs dedans , mais tout ne fonctionnera pas. Ne lancez pas journalctl dedans ^^
      • shell. Même chose, ne lancez pas journalctl…

      2 TERMINAUX

      • term / ansi-term. Cette fois c'est vraiment un terminal, mais… lent.
      • vterm. Ok cette fois c'est vraiment un terminal, et ça utilise une bibliothèque en C derrière, donc ouf un vrai terminal Emacs existe bel et bien. Attention vterm a besoin d'une bibliothèque.

      Oui je pense qu'il y a vraiment des utilisateurs du terminal sous Emacs. Et il est possible de trouver de petits benchmarks sur les réseaux comme par exemple reddit.

      Vim

      Qui a dit que vim n'était pas bloated et ne pouvait pas gérer cela? (À sa défense vim ne gère pas encore l'email.. ) Vim prend en charge le terminal depuis la version 8.1. Pour changer le shell dans vim, ajouter cette commande dans le fichier de config

      :set shell=/usr/bin/zsh Les indies

      Pourquoi utiliser le terminal de son bureau, ou de son éditeur de texte, alors que l'on peut utiliser un million d'autres ? Bienvenue dans la jungle. Ne m'en voulez pas si votre petit favori n'est pas listé ici, mais rajoutez sa description en commentaire - il a existé de bien trop nombreux concurrents, et même en se limitant aux projets actifs la liste est bien trop longue. La liste ici pourrait compléter cette dépêche.

      Je rappelle que sont listés ici les terminaux qui sont proposés par défaut sous certains gestionnaires de fenêtre, le parti pris étant que dans ce cas il n'y ait pas d'intégration particulière, contrairement par exemple au terminal KDE.

      Enfin la liste se veut à moitié lister les terminaux populaires actuels, à moitié lister quelques terminaux plus pour un intérêt historique, mais cette dépêche n'étant pas une thèse cette volonté sera assez peu rigoureuse.

      Blackbox

      Blackbox terminal n'est pas affilié à GNOME ni un terminal officiel mais est développé avec cet environnement en tête. Il utilise Gtk4.

      Ptyxis

      Là c'est un cas à part : pour reprendre sans recul le readme.md :

      A modern terminal emulator built for the container era.
      Seamlessly navigate between your host system and local containers like Podman,
      Toolbox, and Distrobox with intelligent detection and a beautiful, responsive
      GNOME interface.

      L'intérêt est donc d'intégrer les conteneurs de toutes sortes pour y accéder rapidement (et les définir rapidement).

      Il semblerait qu'il puisse devenir le terminal par défaut sous Ubuntu (25.10?).

      St

      La philosophie de st, dont la première release, 0.1, est de 2017, c'est de rester simple et léger - le point que son site discute, c'est le nombre de lignes de codes limité que devrait avoir un terminal. Son auteur serait fainéant ? Ce terminal sous licence MIT/X Consortium s'apparente à mon sens à un reliquat du passé : il tourne sur X et uniquement sur X (oui, oui je sais pour Xwayland). Néanmoins il m'a paru logique de le citer ici.

      Kitty

      Kitty a une place importante car il a légué quelque chose aux successeurs… Il implémente en effet des extensions venant étendre le protocole historique.

      Ce terminal tourne sous Python et requiert OpenGL. Malgré son âge (première release 2017), c'est le choix par défaut pour Hyprland.

      Kitty offre une tonne de raccourcis claviers, gère les onglets/fenêtres, peut afficher des images, sait afficher des notifications et bien d'autres choses. En terme de philosophie, il se veut orienté power-user.

      Alacritty

      Alacritty se veut un terminal simple et est écrit en Rust. Il est sortit en 2017. Alacritty respecte XDG en cherchant en priorité un fichier de config $XDG_CONFIG_HOME/alacritty/alacritty.toml.

      C'est le terminal par défaut pour au moins deux gestionnaires de fenêtre Wayland très différents l'un de l'autre : Wayfire et Niri.

      • vi mode : appuyez sur control + shift + space et vous passez dans le mode "normal" de vi (par opposition au mode insertion). Les touches au lieu de permettre de taper du texte, permettront alors de se déplacer, sélectionner du texte, le copier…
      • ctrl shift o pour afficher des "hint" sur les URL, ce qui permet de les activer en 1 touche
      • recherche normal (ctrl shift f ) , recherche vi
      • multi fenêtre (spawn new instance)
      • theme https://github.com/alacritty/alacritty-theme

      Pas d'onglet, pas de split — utiliser un multiplexeur au besoin.

      Foot

      Ce serait un peu le successeur de St, au sens où il est codé en C et les premières fonctionnalités mises en avant sont la légèreté et la performance, mais en natif Wayland. Pour autant Foot n'est pas avare sur certaines fonctionnalité. Sa première release est de 2019. C'est le terminal par défaut pour Sway, Dwl.

      Il faudra le configurer à l'aide d'un fichier texte, et foot respectant XDG, ce sera ici $XDG_CONFIG_HOME/foot/foot.ini. Foot propose pas mal de raccourcis claviers, dont le même Hint mode que Alacritty : taper Ctrl Shift O .

      Au cas où il ne serait pas assez léger, Foot propose un mode serveur.

      Wezterm

      De nouveau un terminal en Rust. Wezterm se veut complet, et cross-platform. Il affiche des images, gère les hyperliens, la connexion en SSH avec un client intégré, fait office de multiplexeur.

      Il se configure en Lua.

      Ghostty

      Ghostty est sous licence MIT. LWN l'a présenté. Il s'agit d'une application récente, début en 2022, v1.0 fin 2024.

      Une barre gtk4 permet d'afficher les onglets, d'en créer un nouveau. Sympatique fonction, ghostty +list-keybinds --default montre toutes les options (et un raccourci permet d'éditer le fichier de config). On peut aussi lister les thèmes avec ghostty +list-themes.

      Peut afficher des gifs, comme Kitty.

      Ghostty se veut un compromis entre la vitesse, les fonctionnalités, l'interface, et cross-platform. Il se veut agréable sans avoir besoin de modifier le paramétrage par défaut. Et il est petit, le paquet Debian par exemple fait 113 Ko.

      Vous pouvez changer le shell sous Ghostty :

      ~/.config/ghostty/config: command = /usr/local/bin/fish --login --interactive

      De plus Ghostty intègre des fonctionnalités "Shell-integration".

      Rio

      (2022)
      https://github.com/raphamorim/rio
      vi mode, hyperlinks, images,

      Le shell peut être modifié dans la config, plusieurs exemples sont fournis

      [shell] program = "pwsh" args = ["-l"] Warp

      Alors là on bascule du côté obscur de l'IA !… et du proprio. Warp est d'abord une entreprise, qui a souhaité réimaginer un outil des développeurs - le terminal. Ce terminal, écrit en Rust, ne sera pas open source : https://github.com/warpdotdev/Warp/discussions/400

      À la première ouverture, Warp suggère d'ouvrir un compte « pour bénéficier de toutes les fonctionnalités ». Ensuite, on ne se trouve pas directement dans une console mais Warp propose plutôt d'ouvrir / cloner un projet. Un raccourci permet cependant de lancer une session normale…
      … Si ce n'est qu'outre des commandes, on peut taper des phrases ! En passant par Claude pour les interpréter… L'IA peut également suggérer des commandes en se basant sur votre historique. Tout ceci peut être désactivé dans les paramètres. Les fonctionnalités IA requièrent une connexion Internet.

      J'ai par exemple testé "Install Wave term from the internet". Warp a commencé par vérifier s'il y avait une commande de disponible "yay", mais cette commande n'était pas dispo sur mon système. Il a alors intelligemment testé d'autres gestionnaires de AUR et a trouvé que paru était installé. De là, il a découvert waveterm dans les dépôts AUR et m'a suggéré d'utiliser paru -S waveterm-bin (control+entrée pour valider, et gogogo). Une fois ces folies passées, on revient à une expérience normale où la commande se déroule (pensez à lire les AUR avant d'installer aveuglément !)

      Quand vous parcourez un projet, Warp peut indexer ces projets pour améliorer les suggestions.

      Au lieu d'utiliser votre clavier pour taper, Warp peut reconnaître votre voix. Outre des commandes ou des phrases, il est possible de commencer par un "/" pour taper une "slash command".

      Il y a également des fonctionnalités d'équipe, notamment une fonctionnalité de collaboration en temps réel. Certaines fonctionnalités sont payantes.

      Warp propose un certain nombre de fonctionnalités classiques : personnalisation du prompt, apparence, raccourcis claviers, …

      L'entreprise fournit un benchmark où Warp s'en sortirait aussi bien que Kitty ou Alacritty sur vtebench

      WaveTerm

      Waveterm est un peu la réponse open source à Warp (Apache 2.0).

      Quand on l'ouvre la première fois, c'est la foire ! à gauche, le panneau invite de commande qui occupe un tiers de l'écran.
      Tiers du milieu : en haut la consommation du CPU (hein?). Au milieu, un bout de page internet (hein?). En bas, un explorateur de projet. Tiers à droite : en haut, des raccourcis clavier qui s'affichent. Au milieu, un bout de doc sur Wave. En bas, une invite pour Wave IA. Bien sûr il s'agit d'une démo et il sera possible de personnaliser ce qui est visible au démarrage. Il est également possible lorsqu'on utilise un des "blocs" de le passer en mode "pleine fenêtre" puis le réduire par la suite.

      Bon, testons l'invite IA en demandant d'installer… Warp! Il commence par m'expliquer les différentes méthodes d'install en fonction de l'OS (ah ! il n'a pas détecté…). J'explique que j'utilise Arch et il me dit d'utiliser un AUR helper ou de cloner le dépôt du AUR. Mais il ne détecte pas si j'ai paru ou yay ou autre.

      On peut utiliser d'autres modules IA. Wave inclut également un explorateur de fichiers.
      Les paramètres se gèrent bloc par bloc - on paramètre d'un côté les blocs que l'on souhaite au démarrage, de l'autre pour un bloc donnée, par exemple les préférences.

      3. Liens

      Norme POSIX sur le shell

      https://linuxfr.org/news/gameshell-apprendre-les-rudiments-du-shell-en-s-amusant

      Bref cours sur le shell

      Cours plus complet sur le Bourne Shell

      Revue de fish :

      Autre revue de Fish

      Télécharger ce contenu au format EPUB

      Commentaires : voir le flux Atom ouvrir dans le navigateur

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

      12 octobre, 2025 - 19:18

      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 71 événements (France: 62, internet: 4, Suisse: 2, Belgique: 1, autre: 1, Québec: 1) est en seconde partie de dépêche.

      Sommaire

      Stéphane, non-voyant et surd[év]oué de l’informatique

      9 octobre, 2025 - 16:28
      Un parcours de résilience et de passion pour l’informatique

      Stéphane, 46 ans, est un informaticien bénévole aveugle de naissance, dont le parcours est une leçon de résilience et de générosité. Né prématurément en 1978, il a surmonté les barrières de sa cécité grâce à une scolarité spécialisée à l’Institut Provincial d’Enseignement Spécial de Mons, suivie d’études en Administration Publique à Saint-Ghislain et d’une formation en informatique au Collège Franciscain de Tournai.

      Malgré les défis techniques initiaux il s’est spécialisé dans les technologies adaptées aux déficients visuels, offrant son expertise gratuite en informatique, internet, téléphonie mobile et multimédia audio. « J’aime procurer mon aide à d’autres personnes aveugles qui en ont le besoin […] de manière totalement bénévole afin qu’un maximum de personnes en difficultés puissent accéder à un éventail d’outils le plus large possibles », confie-t-il avec enthousiasme.

      Un engagement pour une accessibilité autonome avec Emmabuntüs

      Dans cette interview exclusive pour Emmabuntüs, Stéphane partage son engagement récent avec la distribution Linux Emmabuntüs, un système d’exploitation libre dédiée au réemploi d’ordinateurs. Mis en contact avec Patrick, membre du collectif, via un forum, il teste activement le système pour en optimiser l’accessibilité. Ce qui l’a séduit en premier ? La possibilité d’installer Emmabuntüs de manière autonome grâce à la vocalisation intégrée : « Ce que j’ai tout de suite apprécié avec votre distribution, c’est que je n’ai besoin de personne pour installer le système grâce à la vocalisation de l’étape d’installation. Car il n’y a rien de plus frustrant pour une personne aveugle de ne pas pouvoir faire une installation elle-même. » Il évalue actuellement les raccourcis clavier, l’intégration des barrettes Braille via Orca (le lecteur d’écran), et identifie des pistes d’amélioration pour rendre les applications encore plus inclusives, sans assistance visuelle requise.

      Un impact solidaire pour les communautés vulnérables

      Au-delà de son usage personnel – notamment pour redonner vie à ses anciens PC portables obsolètes sous Windows –, Stéphane voit en Emmabuntüs un outil puissant pour des projets solidaires. Cela résonne particulièrement avec les initiatives d’Emmabuntüs, qui réemploient des ordinateurs pour équiper des institutions pour personnes handicapées, comme au Togo. En adaptant ces machines aux besoins des déficients visuels, Stéphane contribue à démocratiser l’accès au numérique dans ces contextes vulnérables, prolongeant ainsi la vie utile du matériel tout en favorisant l’autonomie. Son dévouement « surdévoué » à l’informatique n’est pas qu’une passion : c’est un engagement concret pour un monde plus accessible, où la technologie efface les frontières du handicap.

      Télécharger ce contenu au format EPUB

      Commentaires : voir le flux Atom ouvrir dans le navigateur

      Nouveautés d'octobre 2025 de la communauté Scenari

      8 octobre, 2025 - 08:13

      Scenari est un ensemble de logiciels open source dédiés à la production collaborative, publication et diffusion de documents multi-support. Vous rédigez une seule fois votre contenu et vous pouvez les générer sous plusieurs formes : site web, PDF, OpenDocument, diaporama, paquet SCORM (Sharable Content Object Reference Model)… Vous ne vous concentrez que sur le contenu et l’outil se charge de créer un rendu professionnel accessible et responsive (qui s’adapte à la taille de l’écran).

      À chaque métier/contexte son modèle Scenari :

      • Opale pour la formation ;
      • Dokiel pour la documentation ;
      • Optim pour les présentations génériques ;
      • Topaze pour les études de cas ;
      • et bien d’autres…
      Sommaire