Webtagr - Résumé de news de technologie

IPv4 en panne ? Linux, WireGuard et Hetzner ont sauvé mon internet !

2025-06-29

Une coupure de courant a interrompu ma connectivité internet IPv4, ne laissant que l'IPv6, mais de nombreux sites web étaient inaccessibles. J'ai utilisé un serveur VPS Hetzner, WireGuard et des espaces de noms réseau Linux pour résoudre ce problème intelligemment. En configurant un serveur WireGuard sur le VPS, j'ai créé un tunnel pour ma connexion IPv6, restaurant la fonctionnalité IPv4. Les espaces de noms réseau m'ont permis d'exécuter mon VPN professionnel et Docker sans interférer avec WireGuard. J'ai également résolu des problèmes de MTU de WireGuard. L'ensemble du processus a mis en évidence la flexibilité et la puissance de résolution de problèmes de Linux.

(jamesmcm.github.io)

Développement

Deux Programmes Enigmatiques en Mathematica

2025-06-29

Ce code présente deux programmes Mathematica qui génèrent des suites numériques. Le premier utilise des boucles `Do` et `While` pour construire itérativement une suite dont le modèle de croissance dépend de la position des éléments précédents. Le second programme étend la suite en ajoutant cumulativement les différences précédentes, jusqu'à ce que la longueur dépasse 50. Les deux programmes mettent en évidence la capacité de Mathematica à générer des suites complexes, avec des algorithmes qui méritent une étude plus approfondie.

(oeis.org)

Développement Génération de suites

XLibre : Une fourche rebelle de X11 défie la domination de Wayland

2025-06-29

Frustré par la lenteur du progrès et les lacunes de Wayland, le développeur Enrico Weigelt a lancé XLibre, une amélioration profonde de X11. XLibre n'est pas qu'une simple branche ; c'est une refonte complète visant à corriger les défauts de Wayland et à offrir des performances et une sécurité supérieures. Weigelt affirme avoir été évincé du projet Xorg par Red Hat, ce qui a déclenché un débat dans l'industrie sur le contrôle de Red Hat sur le développement de Linux. Étonnamment, Fedora, une distribution dérivée de Red Hat, envisage de remplacer X11 par XLibre. L'avenir de XLibre reste incertain, mais il a indéniablement injecté de nouvelles variables dans le monde du bureau Linux.

(www.webpronews.com)

Développement

Drame dans le noyau Linux : Bcachefs supprimé

2025-06-29

Le prochain noyau Linux 6.17 supprimera la prise en charge du système de fichiers Bcachefs en raison de tensions croissantes entre son mainteneur, Kent Overstreet, et Linus Torvalds. Le conflit découle de désaccords sur les pratiques et le calendrier de soumission du code, violant les règles établies de la communauté. Un point central de discorde était une nouvelle fonctionnalité « journal-rewind » soumise pendant la phase de candidat à la publication, soulevant des inquiétudes chez d'autres développeurs. Malgré les arguments d'Overstreet concernant l'intégrité des données des utilisateurs, Torvalds a finalement décidé de supprimer complètement Bcachefs, marquant un événement notable dans l'histoire du développement du noyau Linux.

(news.itsfoss.com)

Développement Conflit de développeurs

Fonction Awk efficace pour l'analyse JSON

2025-06-29

Ce code implémente une fonction Awk robuste conçue pour analyser des données JSON et extraire la valeur associée à une clé spécifiée. Il gère les objets et les tableaux imbriqués, prend en charge les chemins de clés séparés par des points et gère élégamment différents types de données JSON. Tirant parti des capacités de manipulation de chaînes d'Awk, la fonction parcourt efficacement la structure JSON, localisant la clé cible et retournant sa valeur correspondante, démontrant la puissance d'Awk dans le traitement des données.

(akr.am)

Développement

AGL : Un langage de script concis compilant vers Go

2025-06-29

AGL est un nouveau langage de programmation qui compile en Go. Il utilise la syntaxe de Go, mais introduit des améliorations telles que des valeurs de retour uniques, des types tuple et des types result/option pour une gestion simplifiée des erreurs, des fonctions anonymes concises et des méthodes de tableau intégrées. AGL prend en charge la surcharge d'opérateurs, les énumérations et les génériques, et offre une extension VSCode et une prise en charge shebang pour shell, améliorant l'expérience du développeur. Sa compilation flexible permet à la fois la compilation en code Go et l'exécution directe, facilitant l'itération et les tests rapides.

(github.com)

Développement

arXivLabs : Collaboration communautaire sur les nouvelles fonctionnalités d'arXiv

2025-06-29

arXivLabs est un cadre expérimental permettant aux collaborateurs de développer et de partager de nouvelles fonctionnalités d'arXiv directement sur le site Web d'arXiv. Les individus et les organisations impliqués partagent les valeurs d'arXiv en matière d'ouverture, de communauté, d'excellence et de confidentialité des données des utilisateurs. arXiv s'engage envers ces valeurs et ne travaille qu'avec des partenaires qui les respectent. Vous avez une idée de projet qui profitera à la communauté arXiv ? En savoir plus sur arXivLabs !

(arxiv.org)

Développement

MCP : L’écosystème de plugins universel accidentel

2025-06-29

Cet article explore les utilisations inattendues du MCP (Protocole de contexte du modèle). Initialement conçu pour améliorer les assistants IA, sa capacité à « fournir un moyen standardisé de connecter des modèles d'IA à différentes sources de données et outils » dépasse le domaine de l'IA. Comme un port USB-C capable de connecter un grille-pain à un moniteur, le MCP est devenu un écosystème de plugins universel. Les développeurs peuvent créer des plugins fonctionnels sans avoir besoin de comprendre le fonctionnement interne d'autres applications. Cela améliore considérablement la fonctionnalité de l'application, créant des applications inattendues. Une application de gestion des tâches, par exemple, peut utiliser des serveurs MCP pour la vérification orthographique, la commande automatique de café, et bien plus encore.

(worksonmymachine.substack.com)

Développement écosystème de plugins

Demande de passeport britannique : un jeu d’aventure bureaucratique résolu avec Haskell

2025-06-29

Le processus de demande de passeport britannique est comparé à un jeu en ligne complexe par un programmeur. Les demandeurs doivent rassembler divers documents, comme s’ils collectaient des artefacts, pour prouver leur citoyenneté britannique. Les règles sont complexes, pleines de logique bureaucratique, exigeant même des certificats de naissance d’ancêtres. À l’aide de Haskell, le programmeur a créé un programme simulant le processus, générant tous les ensembles possibles de documents nécessaires. Cela permet de comprendre la complexité et suscite une discussion sur l’automatisation des processus gouvernementaux et la collaboration entre humains et ordinateurs.

(jameshaydon.github.io)

Développement Passeport britannique Burocratie

Affaire de marque déposée JavaScript d'Oracle : un combat pour l'open source

2025-06-29

Le créateur de Node.js combat la revendication d'Oracle sur la marque déposée « JavaScript ». Bien qu'une accusation de fraude ait été rejetée, le litige central porte sur le caractère générique et l'abandon de la marque. Le demandeur soutient que « JavaScript » est un terme générique, et non une marque d'Oracle, et l'utilisation par Oracle d'une capture d'écran du site Web de Node.js comme preuve exacerbe la controverse. L'affaire va se poursuivre, Oracle devant répondre aux allégations de caractère générique et d'abandon. Le résultat déterminera si « JavaScript » sera libéré des restrictions liées aux marques déposées et rendu à la communauté.

(deno.com)

Développement

Une équipe d'étudiants fait tourner Xv6 sur un CPU maison

2025-06-28

En 2015, une équipe d'étudiants de l'université de Tokyo a relevé un défi ambitieux : concevoir, construire et faire fonctionner le système d'exploitation Xv6 sur un CPU maison avec un ISA RISC personnalisé. Pendant quatre mois, ils ont créé un compilateur C à partir de zéro, surmonté de nombreux défis liés à la compréhension et à la mise en œuvre des fonctionnalités CPU nécessaires à un système d'exploitation (interruptions, gestion de la mémoire), et ont réussi à porter Xv6, en y ajoutant même des jeux comme 2048 et le Démineur. Leur démonstration finale a exécuté le programme de lancer de rayons requis au-dessus de Xv6, démontrant une ingéniosité et des capacités de résolution de problèmes remarquables. Ce projet témoigne des récompenses de la réinvention de la roue et de la valeur pédagogique de l'apprentissage pratique.

(fuel.edby.coffee)

Développement Conception de CPU

Pourquoi les développeurs seniors sont plus importants que jamais à l'ère de la génération de code par IA

2025-06-28

À l'ère de la génération de code par IA, les développeurs seniors sont plus importants que jamais. L'article soutient qu'un programme n'est pas seulement du code, mais un modèle théorique construit sur une compréhension profonde du système. Le code généré par l'IA manque souvent de cette base théorique, conduisant à des bases de code incohérentes et à l'accumulation de dette technique. Les développeurs seniors construisent et maintiennent ce cadre théorique, en s'assurant que le code est aligné sur les besoins de l'entreprise et en encadrant les développeurs juniors pour transformer le code dispersé en programmes cohérents. Par conséquent, les organisations doivent prioriser le partage des connaissances et l'héritage théorique pour cultiver des développeurs ayant des bases théoriques solides, garantissant ainsi la qualité du logiciel et la maintenabilité à long terme.

(cekrem.github.io)

Développement développeurs seniors

Initiative open source du compilateur C Whitesmiths : une légende revient

2025-06-28

Le compilateur C Whitesmiths, initialement publié en 1978, prenait en charge des architectures telles que DEC PDP-11 et Intel 8080, est sur le point de devenir open source ! Son créateur, P.J. Plauger, a accordé l’autorisation pour un usage non commercial. Des binaires et une partie du code source pour des versions incluant CP/M-80 et un compilateur croisé IBM System/36 sont désormais disponibles en téléchargement. Ce compilateur historiquement significatif sera une ressource précieuse pour l’étude de l’histoire et du développement du langage C.

(github.com)

Développement

Nim Bare-Metal sur Raspberry Pi : Une aventure sans tête

2025-06-28

Ce projet détaille un environnement bare-metal pour Raspberry Pi 1/Zero utilisant le langage de programmation Nim. Il inclut un ordonnanceur coopératif, un modèle de programmation asynchrone et un accès direct au matériel sans API spécifiques au fournisseur. Le projet inclut la gestion de la mémoire, la gestion des exceptions et la surveillance de l'exécution, ainsi que des instructions de configuration complètes. Les projets futurs incluent l'extension à d'autres plates-formes cibles et l'ajout de plus de pilotes de périphériques.

(github.com)

Développement

IA générative : un changement de paradigme dans la programmation

2025-06-28

Les grands modèles de langage (LLM) révolutionnent le développement logiciel, un changement comparable à la transition de l’assembleur aux langages de programmation de haut niveau. L’auteur soutient que les LLM n’élèvent pas seulement le niveau d’abstraction, mais introduisent également le non-déterminisme, modifiant fondamentalement la nature de la programmation. L’évolution de Fortran à Ruby a amélioré l’efficacité, mais n’a pas changé l’essence de la programmation. Le non-déterminisme introduit par les LLM exige que les programmeurs s’adaptent, présentant à la fois des défis et des opportunités.

(martinfowler.com)

Développement

Programmation multi-étapes avec variables d'insertion : génération de code sûre et prévisible

2025-06-28

Cet article présente une nouvelle technique appelée programmation multi-étapes (MSP) qui permet aux programmes de générer d'autres programmes. Pour garantir une génération de code sûre et prévisible, les auteurs introduisent le concept de « variables d'insertion ». Les variables d'insertion offrent un contrôle précis sur le processus de génération de code et s'adaptent parfaitement aux fonctionnalités avancées telles que la correspondance de motifs de code et la réécriture. Le système de types suit automatiquement les dépendances des variables, garantissant que le code généré est toujours bien formé, correctement mis en contexte et que les vérifications de type sont correctes. L'article démontre la puissance des variables d'insertion à l'aide d'exemples tels que la génération d'une fonction de puissance et présente des fonctionnalités telles que la correspondance de motifs de code et la réécriture.

(tsung-ju.org)

Développement Programmation multi-étapes Variables d'insertion

arXivLabs : Projets expérimentaux avec des collaborateurs de la communauté

2025-06-28

arXivLabs est un framework permettant aux collaborateurs de développer et de partager de nouvelles fonctionnalités d'arXiv directement sur notre site web. Les individus et les organisations qui travaillent avec arXivLabs ont adopté et accepté nos valeurs d'ouverture, de communauté, d'excellence et de confidentialité des données des utilisateurs. arXiv s'engage à respecter ces valeurs et ne travaille qu'avec des partenaires qui les partagent. Vous avez une idée de projet qui apportera une valeur ajoutée à la communauté arXiv ? En savoir plus sur arXivLabs.

(arxiv.org)

Développement

Un pilote de noyau concis en Rust : l’exemple du contrôleur Ethernet AX88796B

2025-06-28

Cet article détaille l’expérience de rédaction d’un pilote de noyau Linux pour le contrôleur Ethernet embarqué AX88796B à l’aide de Rust. L’auteur compare la version Rust à sa contrepartie en C, en soulignant les différences de syntaxe, de types et d’API. La version Rust est remarquablement concise, avec un peu plus de 100 lignes, tirant parti des macros pour simplifier l’inscription du pilote et utilisant les traits et la macro `#[vtable]` pour une intégration transparente avec le code C existant. L’article explique clairement les avantages de Rust dans le développement de pilotes de noyau, tels que les garanties de sécurité mémoire par le biais des références et la gestion simplifiée des erreurs à l’aide de `Result` et de l’opérateur `try`, fournissant des informations précieuses pour le développement de pilotes de noyau en Rust.

(lwn.net)

Développement Pilote de noyau

bootc-image-builder : Créez des images disque amorçables à partir de conteneurs

2025-06-28

bootc-image-builder est un outil puissant pour créer des images disque à partir de conteneurs Fedora/CentOS bootc ou dérivés. Il prend en charge différents types d'images (qcow2, AMI, ISO, etc.) et permet la personnalisation des utilisateurs, des systèmes de fichiers, des paramètres du noyau, et plus encore. À l'aide de Podman et QEMU, les utilisateurs peuvent facilement créer et exécuter des machines virtuelles. Ce guide détaille son utilisation, ses options et ses configurations avancées, telles que la création d'AMI sur AWS et la personnalisation de l'installateur Anaconda.

(github.com)

Développement image disque

Expressions étranges en Rust : pousser le système de types à ses limites

2025-06-28

Cet article explore des expressions extrêmes et apparemment paradoxales au sein du puissant système de types du langage de programmation Rust. En disséquant des exemples du fichier de test `weird-expr.rs`, tels que l'utilisation créative de `return true`, les boucles imbriquées et les instructions `break`, et une compréhension approfondie de l'inférence de types et de la coercition, l'article explique leur validité en Rust. Ce ne sont pas des bogues, mais plutôt des démonstrations de la flexibilité du système de types et du pouvoir expressif de Rust, montrant sa robustesse dans la gestion des cas extrêmes.

(www.wakunguma.com)

Développement

L'adolescent de 14 ans qui a façonné la calculatrice Mac

2025-06-28

Chris Espinosa, un employé Apple de 14 ans, a joué un rôle crucial dans le développement du Macintosh. Chargé de documenter Quickdraw, il a créé un programme de calculatrice. Steve Jobs l'a initialement désapprouvé, mais la solution innovante d'Espinosa — un 'Steve Jobs Roll Your Own Calculator Construction Set' personnalisable — a impressionné Jobs et est devenue la calculatrice Mac emblématique pendant des années, jusqu'à OS 9.

(www.folklore.org)

Développement

SymbolicAI : Un framework neuro-symbolique pour les LLMs

2025-06-28

SymbolicAI est un framework neuro-symbolique combinant la programmation Python classique avec la programmabilité différentiable des LLMs. Sa conception modulaire permet une extension et une personnalisation faciles, permettant aux utilisateurs d'écrire leurs propres moteurs, de les héberger localement ou d'interagir avec des outils tels que la recherche web et la génération d'images. Les concepts clés sont les objets Symbole (syntaxique et sémantique) et les contrats (garantissant la correction du code via des décorateurs). SymbolicAI prend en charge de nombreuses opérations primitives et s'intègre à des moteurs neuro-symboliques tels qu'OpenAI et Anthropic via des API, ainsi qu'à des outils tels que Wolfram Alpha et les moteurs de recherche. Un système de configuration basé sur les priorités simplifie la gestion.

(github.com)

Développement neuro-symbolique

c4wa : un compilateur C vers WebAssembly minimaliste et efficace

2025-06-28

c4wa est un compilateur qui traduit un sous-ensemble du langage C en WebAssembly. Contrairement à d'autres compilateurs, il génère du code WebAssembly minimaliste et bien optimisé, sans aucun code supplémentaire, bibliothèques intégrées ou surcharge. Il est entièrement compatible avec n'importe quel runtime WASM sans configuration. c4wa prend en charge les boucles, les instructions conditionnelles, les structures, les tableaux, les pointeurs et d'autres fonctionnalités typiques du langage C, et peut générer du code au format WAT lisible. Il trouve un équilibre entre la commodité de haut niveau du langage C et l'efficacité de bas niveau de WebAssembly, offrant aux développeurs un nouveau moyen d'écrire du code WebAssembly performant.

(github.com)

Développement

ZubanLS : Un serveur de langage Python ultra-rapide développé en Rust

2025-06-27

En 2012, l'auteur a créé Jedi, une bibliothèque d'autocomplétion Python largement utilisée. Cependant, ses limitations de vitesse sont devenues évidentes. En 2020, l'auteur a reconstruit de zéro en utilisant Rust, résultant en ZubanLS, le premier serveur de langage Python véritablement rapide après cinq années de travail acharné. ZubanLS cible les professionnels ayant besoin de précision, de fiabilité et de vitesse, en résolvant les problèmes de longue date dans des outils comme Mypy et Pyright en priorisant les performances sans sacrifier les fonctionnalités. La prise en charge de Django, le « go-to-definition », les complétions et autres fonctionnalités LSP sont en cours. La version initiale de 2025 pourrait ne pas être parfaite ; les commentaires sont les bienvenus pour façonner le développement futur.

(zubanls.com)

Développement

Une aventure Lisp dans les eaux mortes du C

2025-06-27

Cet article explore la puissance des abstractions de Lisp et les limitations du C, en utilisant un langage de type C. L'auteur analyse les stratégies d'évaluation des paramètres de fonction, soulignant comment le mécanisme de passage par valeur du C restreint le contrôle sur les paramètres de la fonction, empêchant la mise en œuvre d'instructions conditionnelles et de boucles flexibles comme if, while et cond en Lisp. L'article approfondit des fonctionnalités avancées telles que les closures et la création de fonctions à l'exécution, indisponibles en C, concluant sur les lacunes du C en termes d'extensibilité.

(mihaiolteanu.me)

Développement

Communauté Linux : forteresse de la liberté ou cage de l’exclusion ?

2025-06-27

Un article de blog a déclenché un débat animé sur l’inclusion au sein de la communauté Linux. L’auteur a partagé un commentaire condescendant et excluant critiquant son utilisation de « Linux » au lieu de « GNU/Linux » et l’accusant de vouloir « simplifier » le système. L’auteur réplique que la véritable « liberté » ne doit pas se faire au détriment des groupes marginalisés, soulignant de graves lacunes d’accessibilité dans l’écosystème Linux. Cela a déclenché un débat sur la culture de la communauté, l’importance de l’inclusion et de l’accessibilité, et le respect dû à ceux qui contribuent à l’amélioration du système.

(fireborn.mataroa.blog)

Développement inclusion

zenta : La pleine conscience pour les programmeurs en terminal

2025-06-27

zenta est un outil natif du terminal conçu pour aider les programmeurs à rester concentrés pendant le codage. Il guide les utilisateurs vers le moment présent grâce à de simples exercices de respiration, sans suivi ni métriques. Une seule commande, `breath` ou `breathe`, lance des sessions de respiration courtes ou plus longues, aidées par des animations visuelles pures et des citations apaisantes. La commande `reflect` facilite une revue quotidienne douce. zenta préconise la pleine conscience authentique, et non sa gamification, en mettant l'accent sur la présence plutôt que sur les astuces de productivité. Il est compatible avec plusieurs systèmes d'exploitation et est open source sous licence MIT.

(github.com)

Développement

Optimisation des performances de la multiplication matricielle BQN : blocage du cache et diviser pour régner

2025-06-27

Cet article explore l’optimisation des performances de la multiplication de matrices de grande taille à l’aide du langage BQN. L’auteur utilise d’abord une méthode simple de partitionnement carré pour utiliser efficacement le cache, obtenant une accélération d’environ six fois. Ensuite, un algorithme de Strassen basé sur une stratégie de diviser pour régner est introduit et montre expérimentalement qu’il permet d’obtenir une accélération jusqu’à 9 fois sur les matrices de grande taille. L’article compare également l’impact sur les performances de différentes tailles de blocs et de stratégies de pavage imbriqué, concluant que la limite de performances d’une implémentation BQN pure et monofilaire a été essentiellement atteinte.

(panadestein.github.io)

Développement

Calcul de Fibonacci extrêmement rapide sur GPU avec Thrust

2025-06-27

Cet article de blog montre comment effectuer des calculs de suite de Fibonacci incroyablement rapides en utilisant la programmation GPU et la bibliothèque NVIDIA Thrust. Il commence par expliquer l'algorithme de balayage, puis montre comment utiliser les opérations de balayage dans Thrust pour l'addition et la multiplication simples, en étendant cela aux opérations matricielles. Enfin, il illustre le calcul de nombres de Fibonacci de manière efficace grâce aux opérations matricielles et à l'opération de balayage, en utilisant l'arithmétique modulaire pour éviter le dépassement d'entier. L'auteur calcule F99999999 (mod 9837) en seulement 17 millisecondes sur une GPU NVIDIA GeForce RTX 3060 Mobile.

(veitner.bearblog.dev)

Développement Suite de Fibonacci Bibliothèque Thrust

Localité de cache et performances de la somme de tableaux : une expérience surprenante

2025-06-27

Cet article explore l'impact de l'ordre des éléments d'un tableau sur les performances de la somme à travers des expériences. L'auteur compare les méthodes d'accès séquentiel et aléatoire, découvrant que les performances de l'accès aléatoire se dégradent drastiquement lorsque la taille du tableau dépasse la capacité du cache, tandis que l'accès séquentiel reste relativement stable. Les expériences étudient également les fichiers mappés en mémoire et les différences entre les plateformes, révélant que la gestion des fichiers mappés en mémoire par le système d'exploitation affecte considérablement les performances. Conclusion : l'accès séquentiel est optimal pour la somme de grands tableaux, tandis que les données plus volumineuses que la mémoire nécessitent des algorithmes et des stratégies de lecture de données plus efficaces.

(samestep.com)

Développement localité de cache

Category: Développement