Programmation
Linux 7.2.6 mène une série stable de 9 000 correctifs
Greg Kroah-Hartman a publié sept noyaux stables d'un coup, avec plus de 9 000 correctifs au total et plus de 1 800 pour le seul Linux 7.2.6.
Programmation - Page 2 sur 2
Langages, systèmes de build et pratique de l'ingénierie : stabilisations de Rust, migrations Python, versions d'Emacs, incidents de chaîne d'approvisionnement et les débats de gouvernance derrière. Des explications claires de ce qu'un changement signifie dans le code, pour ceux qui le rencontreront lundi.
Programmation
Linux va supprimer 247 000 lignes d'ancien code ARM
Une branche du noyau supprimerait environ 247 000 lignes en retirant des plateformes ARM 32 bits obsolètes et les pilotes qu'elles seules utilisaient.
Programmation
ARCTIC ajoute une seconde licence à son pilote de ventilateurs Linux pour les BSD
Le pilote arctic_fan_controller passe de GPLv2+ à GPLv2+ et BSD-2-Clause dans Linux 7.4, pour que d'autres systèmes réutilisent le code de cet appareil à 8,99 dollars.
Programmation
Linux 7.4 retire BFS, le système de fichiers d'amorçage d'UnixWare
Un patch qui supprime 1 275 lignes de code BFS est en attente pour Linux 7.4, un cycle après le retrait d'EFS et de FreeVxFS pour la même raison.
Programmation
Le type never de Rust, expliqué
Le type never de Rust, écrit !, est le type du code qui ne produit jamais de valeur. Il est stable dans Rust 1.100 après dix ans, et il change le repli de type.
Programmation
React 19.3 arrive avec View Transitions et Fragment Refs
React 19.3 est sorti le 9 septembre 2026. View Transitions et Fragment Refs sont désormais stables, et la version ne comporte aucune rupture de compatibilité.
Programmation
HTTP QUERY a sa RFC, mais presque aucune implémentation
La RFC 10008 a donné à HTTP une méthode QUERY en juin 2026 : sûre et idempotente comme GET, avec un corps de requête comme POST. Presque rien ne l'implémente encore.
Programmation
Rust est désormais un langage de niveau 1 chez Microsoft
Microsoft a fait de Rust un langage de niveau 1 aux côtés de C++, C# et TypeScript. Plus de 100 de ses dépôts compilent déjà du code Rust.
Programmation
Python 3.15 déprécie en douceur re.match() au profit de re.prefixmatch
Python 3.15 déprécie en douceur re.match() au profit du nouveau re.prefixmatch(). Rien ne casse, rien n'avertit, et aucune suppression n'est programmée.
Programmation
AMD Zen 6 rend inutile la mitigation SafeRET de Linux
Un correctif du noyau retire la mitigation logicielle SafeRET sur AMD Zen 6, car la puce isole les prédictions de branchement en matériel. Les attaques entre utilisateurs exigent toujours IBPB.
Programmation
LLVM débat de compiler ClangIR par défaut
Une RFC LLVM propose de compiler ClangIR dans Clang par défaut. Personne ne l'utiliserait sans drapeau, mais des estimations doublent les temps de compilation.
Programmation
Debian Code Search supprime sa dernière dépendance cgo
Michael Stapelberg a remplacé une bibliothèque C vieille de 7 ans par du Go pur utilisant le paquet SIMD expérimental, et a égalé la vitesse de la version C.
Programmation
Un binaire strip trafiqué peut piéger tout NixOS
Des chercheurs ont construit l'attaque trusting-trust de Ken Thompson à partir de GNU strip, et non d'un compilateur, pour piéger presque tous les binaires d'un installateur NixOS.
Programmation
Go 1.27 ajoute les méthodes génériques et un encoding/json plus rapide
Go 1.27 est sorti le 19 août 2026 avec des méthodes génériques, un moteur v2 sous encoding/json, des profils de fuite de goroutines et des signatures post-quantiques.
Programmation
L'IA d'Anthropic formalise le dernier théorème de Fermat en Lean
Anthropic affirme qu'un modèle interne a écrit 13 millions de lignes de Lean en 11 jours, produisant une preuve complète et vérifiée par machine du dernier théorème de Fermat.
Programmation
GNOME rédige un processus RFC pour ses grandes décisions techniques
14 jours de commentaires, des parties prenantes nommées et une merge request : GNOME a rédigé une procédure formelle pour les décisions qui se prennent aujourd'hui dans un salon de discussion.
Programmation
Debian autorise les contributions assistées par IA, sous conditions
Les développeurs Debian ont choisi l'option d'usage responsable de l'IA générative lors d'un vote clos le 28 août 2026. L'aide de l'IA est permise, et la divulgation reste facultative.
Programmation
JetBrains : les agents écrivent désormais 47 % du code, selon les développeurs
Une enquête JetBrains auprès de 15 509 développeurs révèle que les agents écrivent entièrement 47 % du code en moyenne. 90 % utilisent un agent chaque semaine, et Claude Code mène l'adoption à 39 %.
Programmation
Rust finance six mainteneurs alors que l'arriéré de revue de Clippy atteint 300
Le Rust Foundation Maintainers Fund paie désormais six personnes pour maintenir Rust, avec le soutien de Google, AWS et OpenAI. L'arriéré de Clippy frôle les 300 pull requests.
Programmation
Rust stabilise le type never après dix ans et cinq tentatives
Le type never est stable et Infallible en devient un alias. Le hic est une rupture dans le repli de type, que crater a signalée sur 3 277 crates.
Programmation
EVE Online commence à migrer 2,4 millions de lignes de Python 2 vers Python 3
CCP Games indique que 95,9 % des 2,4 millions de lignes d'EVE s'analysent déjà sous les deux versions de Python. Les 3 300 lignes restantes bloquent la migration.
Programmation
Rust active son solveur de traits de nouvelle génération dans les builds nightly
Le nouveau solveur de traits de Rust est désormais activé par défaut en nightly - le plus grand changement du compilateur depuis la 1.0, quatre ans de travail, stabilisation prévue d'ici quelques mois.
Programmation
Une attaque sur la chaîne d'approvisionnement Rust glisse un malware de build dans arrayref
Des versions malveillantes d'arrayref, internment et append-only-vec ont exécuté une charge distante pendant cargo build, avant leur retrait de crates.io en moins de deux heures.
Programmation
Mojo passe en open source sous Apache 2.0, les contributions restent fermées
Modular a publié en open source le compilateur et l'outillage de Mojo sous Apache 2.0, une semaine après Mojo 1.0 - mais n'acceptera pas de contributions externes au compilateur avant fin 2026.
Le brief quotidien
Trois à cinq articles par jour, et ce que chacun signifie pour ceux qui construisent le logiciel. Gratuit, sans spam.