Webtagr - Résumé de news de technologie

Python-BPF : Une nouvelle façon d'écrire des programmes eBPF en Python

2025-09-15

Python-BPF est une bibliothèque open source révolutionnaire permettant d'écrire des programmes eBPF entièrement en Python, et de les compiler directement en fichiers objets. Cela élimine la méthode fastidieuse précédente consistant à intégrer du code C dans Python. En utilisant l'AST de Python et LLVM IR pour la compilation, Python-BPF prend en charge le contrôle de flux, les tables de hachage, les fonctions auxiliaires et plus encore, simplifiant considérablement le développement eBPF et offrant une nouvelle option prête pour la production.

(xeon.me)

Développement

Titania : Un langage de programmation pour l'enseignement du développement de compilateurs

2025-09-15

Titania, basé sur le langage Oberon-07 de Niklaus Wirth, est conçu comme un outil pédagogique pour apprendre le développement de compilateurs. Sa syntaxe claire couvre des concepts essentiels tels que les modules, les procédures et les types de données, et inclut des fonctions intégrées pour les opérations numériques, la manipulation de bits et la gestion de la mémoire. Apprendre Titania permet une compréhension approfondie des principes des compilateurs et de la conception de langages.

(github.com)

Développement développement de compilateurs

Objets de page : rendre vos tests d’interface utilisateur moins fragiles

2025-09-15

Tester des pages web nécessite d’interagir avec des éléments, mais manipuler directement le HTML rend les tests fragiles. Les objets de page résolvent ce problème en encapsulant une page ou un fragment en tant qu’API spécifique à l’application. Cela permet d’interagir avec les éléments sans accéder directement au HTML. L’objectif est d’imiter les actions de l’utilisateur, en fournissant une interface propre qui masque les widgets sous-jacents. Les champs de texte utilisent des accesseurs de chaîne, les cases à cocher des booléens et les boutons des méthodes orientées action. De bons objets de page modélisent la perspective de l’utilisateur, et non la structure interne de l’interface utilisateur, en renvoyant des types de données de base ou d’autres objets de page. Il existe un débat sur l’inclusion d’assertions dans les objets de page. L’auteur préfère conserver les assertions dans les scripts de test, en évitant les objets de page gonflés et en utilisant des bibliothèques d’assertion pour réduire la redondance. Ce modèle fonctionne avec diverses technologies d’interface utilisateur, utile non seulement pour les tests, mais aussi comme interface de script pour les applications.

(martinfowler.com)

Développement tests d’interface utilisateur objets de page

Mort aux classes de types : exploration du système de modules Backpack dans Haskell

2025-09-15

Cet article explore le remplacement des classes de types par le système de modules Backpack dans Haskell. L'auteur démontre, à travers un exemple appelé « Death », comment définir des signatures pour des types comme Functor et implémenter différentes instances (par exemple, Maybe et IO). La configuration de Cabal permet une sélection flexible des implémentations, comme l'utilisation d'une monade d'état pour simuler les E/S pendant les tests. Cette approche, bien qu'exigeant plus de configuration de Cabal, offre des messages d'erreur plus clairs, un contrôle plus flexible et des avantages de performance potentiels. L'article se conclut par une philosophie de programmation minimaliste, en arguant que la simplification conduit à une meilleure lisibilité et maintenabilité.

(jappie.me)

Développement Système de modules

Installation simplifiée d'Omarchy sur CachyOS

2025-09-15

Ce projet fournit un script pour installer la configuration de bureau Omarchy de DHH sur CachyOS, une distribution Arch Linux optimisée pour les performances. Omarchy, une configuration basée sur Hyprland, privilégie la simplicité et la productivité. Le script simplifie l'installation, mais nécessite une certaine familiarité avec Arch Linux. Il n'installe pas CachyOS ni ne gère le partitionnement, le formatage ou le chiffrement ; les utilisateurs doivent le faire au préalable. Le script opte pour Yay (assistant AUR) et Fish (shell), en conservant Tealdeer de CachyOS et Mise d'Omarchy. Important : il n'installe pas de gestionnaire d'affichage ni ne démarre automatiquement Hyprland, sauf s'il est déjà installé par CachyOS. Aucune garantie n'est fournie ; utilisez-le à vos risques et périls.

(github.com)

Développement

Analyse des numéros de version des paquets npm avec un script Bun

2025-09-15

Ce script Bun analyse les numéros de version des paquets npm. Il récupère tous les ID de paquets depuis l'API de réplication npm, puis récupère les informations de version de chaque paquet depuis l'API du registre npm. Le script calcule le nombre total de versions et le plus grand nombre dans les numéros de version pour chaque paquet, en filtrant les paquets problématiques connus. Il affiche ensuite des listes de paquets avec le plus de versions et les plus grands nombres dans leurs versions. Cela permet d'identifier les modèles et les problèmes potentiels dans la gestion des versions des paquets npm.

(adamhl.dev)

Développement numéros de version

arXivLabs : Développement de nouvelles fonctionnalités arXiv en collaboration avec la communauté

2025-09-15

arXivLabs est un cadre permettant aux développeurs de collaborer avec la communauté arXiv pour développer et partager de nouvelles fonctionnalités directement sur le site web d'arXiv. Les participants doivent adhérer aux valeurs d'arXiv : ouverture, communauté, excellence et confidentialité des données utilisateur. Vous avez une idée pour améliorer la communauté arXiv ? En savoir plus sur arXivLabs !

(arxiv.org)

Développement

GrapheneOS : Un système d'exploitation Android axé sur la sécurité

2025-09-14

GrapheneOS (GOS) est un système d'exploitation basé sur Android qui privilégie la sécurité et est compatible uniquement avec les appareils Google Pixel. Il utilise des profils utilisateurs multiples pour assurer une confidentialité robuste, chaque profil bénéficiant d'un chiffrement et de permissions indépendants, créant ainsi des systèmes isolés au sein de votre téléphone. Les utilisateurs peuvent contrôler finement les permissions de chaque profil, voire interrompre complètement son exécution en arrière-plan. L'installation est simple, les mises à jour sont fluides et la gestion des permissions des applications est puissante. Bien qu'un peu moins convivial que l'Android standard, GOS offre un contrôle sans précédent aux utilisateurs soucieux de la sécurité et de la confidentialité, ce qui en fait une alternative intéressante.

(dataswamp.org)

Développement

Kernel minimaliste de système d'exploitation temps partagé sur RISC-V en Zig

2025-09-14

Cet article détaille un prototype de kernel de système d'exploitation temps partagé minimaliste implémenté sur RISC-V à l'aide du langage de programmation Zig. Ce projet, une réécriture d'un exercice de cours de systèmes d'exploitation de niveau undergraduate, tire parti des outils modernes et de l'architecture RISC-V. Il intègre des threads définis statiquement, des appels système inter-threads et un ordonnancement round-robin via des interruptions du timer. Une virtualisation basique des threads est implémentée, chaque thread disposant de sa propre pile et de son propre contexte de registres. Le code est open-source, et l'auteur fournit une explication détaillée de l'implémentation et du code, ce qui en fait une ressource précieuse pour les étudiants en logiciels systèmes et en architecture informatique.

(popovicu.com)

Développement

Les caches inline de SpiderMonkey : au-delà du simple cache

2025-09-14

Cet article explore en profondeur l'implémentation des caches inline (IC) dans le moteur JavaScript SpiderMonkey. Contrairement au caching traditionnel, l'IC de SpiderMonkey est une technique de code auto-modifiable. Il insère une série de stubs aux sites d'appel, sélectionnant dynamiquement des chemins d'exécution efficaces en fonction des types d'entrée. Le premier appel exécute un chemin de secours et génère des stubs correspondants en fonction du résultat. Les appels suivants du même type atteignent le cache, améliorant ainsi considérablement l'efficacité. L'article utilise l'addition JavaScript comme exemple pour expliquer le fonctionnement de l'IC et mentionne la dernière architecture CacheIR de SpiderMonkey, qui abstrait les détails des IC pour permettre le partage entre différents compilateurs.

(www.mgaudet.ca)

Développement

SV2TTS en temps réel : apprentissage par transfert pour la synthèse vocale multilocuteur

2025-09-14

Ce projet open source implémente la synthèse vocale multilocuteur en temps réel (SV2TTS) utilisant l’apprentissage par transfert à partir de la vérification du locuteur, basé sur la thèse de maîtrise de l’auteur. Il s’agit d’un framework d’apprentissage profond en trois étapes : création d’une représentation numérique de la voix à partir de courts extraits audio, puis utilisation de cette représentation pour générer de la parole à partir de texte arbitraire. Bien que le projet soit ancien et puisse avoir une qualité inférieure aux alternatives commerciales, il prend en charge Windows et Linux, avec une accélération GPU recommandée. Des instructions d’installation et d’utilisation détaillées sont fournies, ainsi qu’une prise en charge de divers jeux de données.

(github.com)

Développement apprentissage par transfert

Décryptage des fonctions et des closures en Rust : une plongée profonde

2025-09-14

Les fonctions et les closures en Rust sont une source de confusion pour de nombreux débutants. Cet article explore en profondeur les mécanismes sous-jacents du système de fonctions et de closures de Rust, en expliquant les relations entre les éléments de fonction, les pointeurs de fonction et les trois traits de closure : Fn, FnMut et FnOnce. Il révèle comment le compilateur transforme les closures en structs anonymes et les optimisations du compilateur derrière des appels de fonction apparemment simples. Comprendre ces mécanismes sous-jacents permet aux développeurs d'écrire du code Rust plus efficace et exempt d'erreurs, en comprenant comment les différents modes de capture de closure impactent le comportement.

(blog.cuongle.dev)

Développement

Backpropagation Efficace : Simplification des Dérivées de Transformations Linéaires avec Einsum

2025-09-14

Cet article présente une astuce astucieuse de rétropropagation qui simplifie la dérivation de n'importe quelle expression einsum grâce à un simple échange de lettres. Einsum est un moyen concis d'exprimer des transformations linéaires telles que la multiplication matricielle, les produits scalaires, les produits de Hadamard, etc. L'article utilise la multiplication matricielle comme exemple, montrant comment effectuer la propagation avant et arrière à l'aide d'einsum et en vérifiant les résultats avec JAX. Cette méthode évite les dérivations complexes, simplifiant considérablement les calculs de rétropropagation dans l'apprentissage profond.

(tripplyons.com)

Développement rétropropagation transformations linéaires

Constructeur de requêtes d'observabilité : quatre ans d'itération axés sur l'expérience utilisateur

2025-09-14

Une entreprise a itéré trois fois sur son constructeur de requêtes en quatre ans. Les versions initiales reposaient sur des hypothèses erronées, entraînant des problèmes d'utilisabilité, même pour les ingénieurs expérimentés. Les versions V3 et V4 étaient trop simplifiées, manquant d'expressions booléennes complexes et d'un support efficace des journaux. Grâce à un support utilisateur important et aux commentaires reçus, ils ont reconnu l'importance de l'expérience utilisateur et ont lancé la version V5. Le principe central du V5 : « Cesser de prendre des décisions pour les utilisateurs. » Il donne aux utilisateurs plus de contrôle et une interface plus intuitive, avec des fonctionnalités puissantes telles que l'imbrication arbitraire, les règles de priorité et les requêtes entre types de données. Le V5 a reçu des commentaires extrêmement positifs ; les utilisateurs ont même abandonné le SQL brut au profit du constructeur. Les plans futurs comprennent des mises à jour incrémentielles ajoutant des sous-requêtes et des jointures, améliorant ainsi continuellement l'expérience utilisateur.

(signoz.io)

Développement constructeur de requêtes

Le retour surprise de Perl dans le Top 10 de TIOBE : la résurgence d'un langage classique

2025-09-14

La récente entrée de Perl dans le top 10 de l'indice TIOBE, après une période de relative accalmie, a suscité des discussions importantes. Cette résurgence ne tient pas uniquement aux progrès techniques, mais à une conjonction de facteurs. L'énorme volume de livres sur Perl disponibles sur Amazon, surpassant ceux de langages comme PHP et Rust, offre une base importante de ressources d'apprentissage. De plus, le développement continu de Perl 5, couplé à la disparition de Perl 6 (Raku), a résolu l'incertitude de longue date de la communauté. Fondamentalement, Perl conserve ses points forts dans le traitement de texte, l'intégration transparente avec Linux/shell et la syntaxe expressive, maintenant sa pertinence dans la manipulation de données et l'administration système. Bien que critiqué pour sa syntaxe parfois obscure, la flexibilité et la puissance de Perl continuent de résonner dans des niches spécifiques.

(www.i-programmer.info)

Développement

UltraPlot : Un wrapper concis pour Matplotlib pour des graphiques époustouflants

2025-09-14

UltraPlot est un wrapper concis pour Matplotlib conçu pour créer des graphiques magnifiques et de qualité publication. S'appuyant sur ProPlot et mis à jour pour Matplotlib moderne (3.9.0+), il simplifie la création de mises en page complexes à plusieurs panneaux, de graphiques cartésiens, de projections et de cartes, de barres de couleurs et de légendes, d'inserts et de panneaux, et de cartes de couleurs visuellement attrayantes. Facilement installable via pip ou conda, avec une documentation complète disponible.

(github.com)

Développement

L'avenir de la programmation visuelle : au-delà des nœuds et des fils

2025-09-14

Cet article explore les limites de la programmation visuelle, en arguant qu'elle est restée longtemps bloquée dans le paradigme des nœuds et des fils, négligeant le principe de « la forme suit la fonction ». Prenant CellPond comme exemple, l'auteur souligne que son succès réside dans la définition préalable de la fonction sous-jacente (seulement quatre opérations), la forme apparaissant ensuite naturellement. L'auteur développe ensuite la triple signification de « fonction » : nature intrinsèque, rationalité et algèbre, et soutient que la programmation visuelle devrait se concentrer sur l'exploitation des capacités de reconnaissance de formes du cortex visuel humain pour modéliser les problèmes, au lieu de simplement imiter la programmation textuelle. L'article propose de modéliser les problèmes sous forme d'entités et de relations, et d'utiliser des éléments visuels (couleur, groupement, mouvement) pour représenter les changements d'état, brisant ainsi les limites de la programmation visuelle existante et créant des outils de programmation plus puissants.

(interjectedfuture.com)

Développement

Proposition Safe C++ abandonnée : le comité C++ privilégie les profils

2025-09-14

Il y a un an, la proposition Safe C++ visait à ajouter un sous-ensemble sécurisé à C++, offrant des garanties robustes similaires à celles de Rust, sans pour autant casser le code C++ existant. Cependant, la proposition a finalement été rejetée par le comité C++ au profit de l'approche des profils. Les profils définissent des modes contraints de C++ pour garantir certaines propriétés de sécurité. C'est une solution plus pragmatique et plus facile à adopter que Safe C++, même si les garanties de sécurité offertes pourraient être moins complètes. En fin de compte, elle est considérée comme une voie plus réaliste pour l'avenir.

(sibellavia.lol)

Développement Profils

Lexy : Une bibliothèque d’analyseur C++ rivalisant avec les analyseurs PEG

2025-09-14

Lexy est une bibliothèque d’analyseur C++ hautes performances qui trouve un équilibre entre performances et contrôle. Comparé à d’autres analyseurs PEG tels que Boost.Spirit et PEGTL, Lexy évite le retour arrière implicite en contrôlant les conditions de branchement, améliorant ainsi les performances et simplifiant la gestion des erreurs. Lexy prend en charge des fonctionnalités avancées telles que la récupération d’erreurs, l’analyse de précédence des opérateurs et permet une analyse sans copie directement dans vos propres structures de données. Bien que la grammaire de Lexy soit plus verbeuse que celle de Boost.Spirit, elle est mieux adaptée aux grammaires plus importantes. Les temps de compilation sont raisonnables, et la conception modulaire contribue à optimiser la vitesse de compilation.

(github.com)

Développement

pass : Un gestionnaire de mots de passe en ligne de commande simple, sécurisé et extensible

2025-09-14

pass est un gestionnaire de mots de passe en ligne de commande qui utilise le chiffrement GPG et suit la philosophie Unix. Chaque mot de passe est stocké dans un fichier chiffré GPG portant le nom du site Web ou de la ressource. Ces fichiers peuvent être organisés en dossiers, facilement copiés entre les ordinateurs et gérés à l'aide d'outils standard de ligne de commande. pass fournit des commandes simples pour ajouter, modifier, générer et récupérer des mots de passe, avec la prise en charge de la copie dans le presse-papiers et du suivi des modifications basé sur Git. Les utilisateurs gèrent le magasin de mots de passe à l'aide de commandes standard du shell Unix avec pass, sans nécessiter de nouveaux formats de fichiers ou de paradigmes. Il prend en charge les extensions et possède une communauté active avec de nombreux clients et interfaces graphiques.

(www.passwordstore.org)

Développement chiffrement gpg

Conséquences catastrophiques de pthread_cancel dans cURL 8.16.0 et sa suppression

2025-09-13

cURL 8.16.0 a introduit l'utilisation de pthread_cancel pour interrompre getaddrinfo(), dans le but d'améliorer les performances. Cependant, ce changement a provoqué de graves fuites de mémoire. Cela est dû au fait que getaddrinfo() peut être annulé lors de la lecture du fichier /etc/gai.conf, ce qui entraîne une non-libération de la mémoire allouée. En raison de la difficulté à résoudre ce problème et du potentiel de graves problèmes de stabilité, l'équipe cURL a décidé de supprimer cette fonctionnalité dans #18540, en recommandant aux utilisateurs d'utiliser la bibliothèque c-ares comme alternative, malgré quelques limitations fonctionnelles.

(eissing.org)

Développement fuite de mémoire

Sous le capot des compilateurs JIT de Ruby

2025-09-13

Cet article explore le fonctionnement interne des compilateurs JIT de Ruby, tels que YJIT et ZJIT. Il explique comment le code compilé JIT coexiste avec le bytecode et comment Ruby bascule entre les modes d'exécution. L'article clarifie également comment Ruby décide quels méthodes compiler (en fonction du nombre d'appels) et quand le code compilé JIT revient à l'interpréteur (par exemple, activation de TracePoint ou méthodes principales redéfinies). En résumé, le compilateur JIT de Ruby trouve un équilibre entre performance et exactitude grâce à un mécanisme ingénieux.

(railsatscale.com)

Développement

Exécuter une VM 486 sur le Sipeed Tang : L'exploit d'un amateur

2025-09-13

L'auteur a réussi à porter le cœur PC ao486 de MiSTer sur le FPGA Sipeed Tang 138K, créant un projet appelé 486Tang. C'est la première fois qu'ao486 est porté avec succès sur un FPGA autre qu'Altera. Le portage a présenté de nombreux défis, notamment la gestion de la mémoire (utilisation de SDRAM pour la mémoire principale, DDR3 pour le framebuffer), le stockage sur disque (accès direct à la carte SD) et un processus de débogage complexe. Pour surmonter les difficultés du débogage matériel, l'auteur a intelligemment utilisé Verilator pour la simulation de sous-systèmes et du système complet, utilisant les messages de débogage du BIOS Bochs et des balises de traçage personnalisées pour identifier les problèmes. Finalement, grâce à une série d'optimisations de performances telles que la réduction de l'arbre de réinitialisation et du fan-out, l'optimisation de la récupération des instructions et l'optimisation du TLB, 486Tang a atteint à peu près les niveaux de performance d'un 486SX-20. Ce projet met en évidence les impressionnantes compétences de développement FPGA et la capacité de résolution de problèmes de l'auteur.

(nand2mario.github.io)

Développement

Vicinae : Un lanceur de bureau hautes performances qui défie Raycast

2025-09-13

Vicinae est un lanceur de bureau natif hautes performances, développé avec C++ et Qt, inspiré par Raycast. Il possède une API d'extension largement compatible utilisant React/TypeScript côté serveur, éliminant ainsi le besoin d'un navigateur ou d'Electron. Ses fonctionnalités incluent l'indexation de fichiers avec recherche plein texte, un sélecteur d'émojis intelligent, une calculatrice, un suivi de l'historique du presse-papiers chiffré, des raccourcis, une intégration avec le gestionnaire de fenêtres et un système de thèmes personnalisable. Bien que certaines fonctionnalités puissent être limitées sur certaines plateformes, Vicinae vise à fournir aux développeurs et aux utilisateurs expérimentés un accès rapide et clavier-centré aux actions système courantes.

(github.com)

Développement lanceur de bureau

Mago : Analyseur statique, formateur et linter PHP extrêmement rapide, écrit en Rust

2025-09-13

Mago est un outil extrêmement rapide pour le linting, le formatage et l'analyse statique de PHP, écrit en Rust. Inspiré par l'écosystème Rust, il apporte vitesse, fiabilité et une expérience développeur exceptionnelle aux projets PHP de toutes tailles. Il inclut des fonctionnalités de linting, d'analyse statique, de corrections automatiques, de formatage, de vérifications sémantiques et de visualisation AST. Mago vise à être une alternative unifiée et plus rapide aux outils existants tels que PHP-CS-Fixer, Psalm, PHPStan et PHP_CodeSniffer.

(github.com)

Développement

Premières impressions sur Gleam : analyse des anciens journaux AIM

2025-09-13

L'auteur utilise le langage de programmation fonctionnel relativement nouveau, Gleam, pour analyser ses anciens journaux AOL Instant Messenger datant de deux décennies. L'article détaille son processus d'apprentissage, couvrant la gestion des arguments de ligne de commande, la compilation, les tests et les techniques de programmation fonctionnelle telles que la correspondance de motifs et les opérateurs de pipeline. L'auteur partage ses expériences positives avec la syntaxe élégante des pipelines de Gleam, mais souligne également les lacunes telles que sa bibliothèque standard limitée et la gestion des erreurs un peu maladroite.

(mtlynch.io)

Développement

OpenJDK 25 intègre un profileur CPU expérimental

2025-09-13

Après plus de trois ans de développement, un profileur de temps CPU expérimental a été intégré à OpenJDK 25. S'appuyant sur JFR, ce nouveau profileur offre des mesures plus précises de la consommation de cycles CPU, corrigeant les lacunes du profileur de temps d'exécution existant, notamment son échantillonnage inadéquat sur les systèmes multi-cœurs et sa gestion moins qu'idéale des applications liées aux E/S. Bien qu'actuellement limité à Linux, il fournit aux développeurs un outil puissant pour l'analyse de performance, permettant l'optimisation de l'utilisation du CPU et l'amélioration du débit de l'application.

(mostlynerdless.de)

Développement Profilage des performances Profilage CPU

Codage IA : effet de mode ou outil ?

2025-09-13

L'auteur soutient que les outils actuels de codage par IA sont essentiellement des compilateurs avancés, dont l'efficacité est surestimée. Ils reposent sur des bases de code et des modèles existants, et non sur un véritable « codage par IA ». Si l'IA peut améliorer la productivité, les gains réels sont limités et de nombreuses contraintes existent, telles que l'imprécision de la saisie en langage naturel et les flux de travail non déterministes. L'auteur critique les investissements excessifs dans le codage par IA et préconise de se concentrer sur l'amélioration des infrastructures fondamentales telles que les langages de programmation, les compilateurs et les bibliothèques, plutôt que de suivre l'engouement.

(geohot.github.io)

Développement outils de programmation

Mise à jour du crate `image` de Rust : prise en charge de l’orientation EXIF ajoutée pour le redimensionnement des images

2025-09-13

Le crate de traitement d’images `image` de Rust a publié la version v0.25.8, ajoutant la prise en charge des données d’orientation EXIF. Cela corrige un problème courant où le redimensionnement des images ignorait l’orientation, ce qui entraînait des miniatures pivotées ou inversées. La nouvelle fonction `apply_orientation` corrige l’orientation de l’image avant le redimensionnement, garantissant que la miniature correspond à l’original. Ceci est particulièrement utile lorsque vous travaillez avec des images provenant d’appareils photo et de téléphones, éliminant ainsi le problème des images mal alignées.

(alexwlchan.net)

Développement

compile_flagz : Amélioration du support IDE pour C/C++ dans les systèmes de build Zig

2025-09-13

Le système de build de Zig offre de puissantes capacités de compilation croisée pour les projets C/C++, mais le support de l'éditeur est souvent à la traîne en raison du manque de chemins d'inclusion. compile_flagz résout ce problème en générant un fichier `compile_flags.txt`, un format standard utilisé par les serveurs de langage comme clangd. Ce fichier fournit les paramètres de compilation nécessaires, permettant des fonctionnalités telles que la complétion de code et la mise en évidence des erreurs. L'auteur détaille son utilisation et son implémentation, en montrant son efficacité dans un projet de décompilation de jeu (ROLLER). Un guide de démarrage rapide est également fourni.

(simonhartcher.com)

Développement

Category: Développement