Zig quitte GitHub à cause de l’obsession de Microsoft pour l’IA

 (theregister.com)
6 points par GN⁺ 2025-12-04 | 1 commentaires | Partager sur WhatsApp
  • La fondation du langage de programmation Zig a décidé de migrer vers Codeberg en raison de la baisse de qualité de GitHub et de la stratégie de Microsoft axée sur l’IA
  • Un cas de bug de ‘safe_sleep.sh’ dans GitHub Actions, laissé en déshérence pendant des années, a provoqué la paralysie du système CI
  • La partie Zig critique le fait que GitHub sacrifie la qualité d’ingénierie au profit d’une stratégie centrée sur l’IA
  • Jeremy Howard, cofondateur de Fast.AI, a également souligné une gestion insuffisante des bugs et une baisse de qualité du code sur GitHub
  • Alors que les projets open source quittent GitHub, la défiance envers une exploitation de plateforme centrée sur la commercialisation de l’IA s’amplifie

Contexte du retrait de la fondation Zig de GitHub

  • La Zig Software Foundation, qui maintient le langage de programmation Zig, a décidé de quitter GitHub pour migrer vers le service d’hébergement git à but non lucratif Codeberg
    • La raison est le constat que GitHub ne se consacre plus à l’excellence de l’ingénierie
  • Andrew Kelly cite le bug de boucle infinie de safe_sleep.sh de GitHub Actions comme cas emblématique
    • Ce script laissait le CPU à 100 % et s’exécutait de manière infinie
    • Les runners CI de Zig ont ainsi été interrompus pendant plusieurs semaines

Problèmes techniques de GitHub Actions

  • Le problème provient d’un changement de code de février 2022, ayant remplacé la commande POSIX sleep par le script safe_sleep
    • Le script entre en boucle infinie si la gestion du temps précis au niveau de la seconde échoue
  • Ce bug n’a été corrigé que le 20 août 2025, et l’incident est resté non résolu jusqu’au 1er décembre
  • Un autre bug de consommation excessive du CPU demeure également non résolu

Réactions de la communauté et des experts

  • Jeremy Howard (cofondateur de Fast.AI) juge l’état de GitHub Actions « clairement défaillant »
    • Il a relevé qu’un code utilisant 100 % du CPU était laissé sans revue pendant un an
    • « Une organisation qui fonctionne correctement ne peut pas se permettre de répéter une telle série d’erreurs », a-t-il déclaré
  • Kelly a ensuite présenté des excuses, estimant que ses propos avaient été trop virulents, mais a continué de mettre en avant les problèmes de qualité de GitHub

Mouvement de départ d’autres projets

  • Le fondateur du projet navigateur Dillo, Rodrigo Arias Mallo, a également annoncé son intention de quitter GitHub
    • Il a pointé du doigt la dépendance à JavaScript, la possibilité de refus de service ainsi que l’exploitation centrée sur les LLM et l’IA générative
    • Il a affirmé que « l’IA générative détruit le web ouvert »
  • Depuis janvier 2025, Codeberg a vu son nombre de membres soutiens passer de 600 à plus de 1 200, soit un doublement

Modèle de revenus de GitHub centré sur l’IA

  • Le PDG de Microsoft Satya Nadella a annoncé dans le rapport du deuxième trimestre 2024
    • plus de 1,3 million d’abonnés payants à GitHub Copilot, soit +30 % trimestre sur trimestre
  • En 2024, le chiffre d’affaires annuel de GitHub atteignait 2 milliards de dollars, dont environ 40 % provenaient des abonnements Copilot
  • Au troisième trimestre 2025, plus de 15 millions d’utilisateurs de Copilot, en hausse d’un facteur 4 par rapport à l’année précédente
  • GitHub ne divulgue pas actuellement le nombre d’utilisateurs payants, et met en avant une structure de revenus centrée sur Copilot

Signification globale

  • Les exemples de Zig et Dillo illustrent comment une exploitation de plateforme centrée sur la commercialisation de l’IA mine la confiance des développeurs
  • L’approche focalisée sur l’IA de GitHub et son manque de gestion de qualité a déclenché le départ de la communauté open source
  • La croissance d’alternatives à but non lucratif telles que Codeberg s’accélère

À lire aussi

1 commentaires

 
GN⁺ 2025-12-04
Réactions sur Hacker News

  • L’historique des modifications du communiqué de l’équipe Zig est assez intéressant
    Au départ, ils accusaient l’équipe GitHub d’avoir produit un « framework JS buggé créé par des médiocres restés en place », mais la formulation a ensuite été adoucie
    Dans la version finale, cela a été reformulé en disant que l’« excellence d’ingénierie » de GitHub avait disparu
    Version initiale (27/11 02:10) → révision intermédiaire (27/11 14:04) → version finale (28/11 09:21)

    • Dans le précédent fil HN, beaucoup demandaient de « retirer les expressions émotionnelles et politiques », et l’équipe Zig semble en avoir tenu compte
      Le fait qu’ils aient mis leur ego de côté pour la communauté en révisant le texte est marquant
    • L’obsession et la colère de Kelly autour de l’« excellence d’ingénierie » montrent au contraire, selon moi, le bel avenir de Zig
      Quand un leader technique s’emporte face à la médiocrité, c’est plutôt un bon signe
    • En revanche, des accusations du type « un logiciel médiocre est forcément intentionnel » comme dans la première version vont trop loin
      En réalité, ce sont surtout des produits façonnés par des contraintes d’environnement et de moyens
    • La colère trouble le jugement
      Je crois qu’un logiciel construit avec amour, c’est-à-dire avec de l’attention pour la technique et pour les gens, donne de meilleurs résultats
    • Je partage l’expression « bloated, buggy JS framework »
      Les grandes entreprises dépensent des fortunes pour maintenir ce genre de framework, et des millions de personnes l’utilisent sans même pouvoir le désactiver
      Quand j’utilise GitHub, je n’exécute aucun JS et je ne télécharge que les fichiers raw via des règles de proxy 
      http-request set-path %[path,regsub(/blob/,/raw/,g)] if { hdr(host) github.com }
http-request set-path %[path,regsub(/releases/tag/,/releases/expanded_assets/,g)] if { hdr(host) github.com }
      Et ça fonctionne bien comme ça

  • La vraie force de GitHub, c’est son écosystème
    Système de PR, gestion des issues, actions CI, sponsoring, tout est rassemblé au même endroit
    Cette obsession pour l’IA m’inquiète, mais je pense toujours que c’est l’outil le plus pratique pour les développeurs

    • Je ne suis pas d’accord. La véritable force de GitHub, c’est l’effet de réseau social
      Des métriques comme les stars, les forks ou le nombre d’abonnés servent de signaux de qualité
      Au final, les développeurs font confiance au « regard de la communauté »
    • J’ai déjà utilisé Gerrit, et je n’ai jamais eu l’impression que les PR GitHub étaient spécialement meilleures
      Actions, c’est un enfer YAML tellement c’est complexe, et il y a souvent des pannes
      Malgré tout, la raison principale reste que « tout le monde est là »
    • Je ne peux pas être d’accord avec l’idée que le système CI soit bien conçu
      Actions est pratique, mais c’est un produit horrible
    • Je préférerais encore résoudre Advent of Code en brainfuck
      Déboguer GitHub Actions, c’est la souffrance absolue
    • Ce qui me dérange, c’est que GitHub n’a jamais nié avoir utilisé des dépôts privés pour entraîner son IA
      GitLab l’a nié clairement, et cette différence nuit à la confiance

  • Je me suis renseigné sur l’infrastructure de Codeberg par curiosité
    D’après un billet officiel du blog,
    le service tourne sur 3 serveurs (1 Gigabyte, 2 Dell R730/R740), avec une forte insistance sur le réemploi de matériel d’occasion
    Ils ont même tenté de réutiliser des MacBook en panne comme runners CI
    Il peut y avoir parfois des baisses de performances, mais elles se résolvent par un redémarrage
    On sent une ambiance DIY de hackerspace

    • Si on regarde la page d’état, la disponibilité est faible
      Sur les dernières 24 heures, on est à 89 % d’uptime, et la moyenne sur 14 jours est de 98 %, mais le site principal est souvent lent
    • Codeberg est une plateforme réservée au FLOSS, pas à l’entreprise
      Son objectif n’est pas de fournir un service commercial
    • Moi aussi, à 20 ans, je faisais tourner un cluster plus gros
      Rien qu’en électricité, ça me coûtait plus de 600 dollars par mois, donc à ce niveau-là j’ai l’impression que je pourrais aussi lancer un service gratuit
      Si quelqu’un a une idée, qu’il m’écrive

  • Vu la manière dont Zig a réagi aux problèmes sur GitHub, ça ressemble un peu à une décision émotionnelle
    Des bugs, il y en a partout, et vu l’échelle de GitHub c’est normal
    La migration vers Codeberg semble avoir été peu débattue
    Zig est techniquement excellent, mais il semble lui manquer une structure de leadership mature

    • Le problème, plus que les bugs, c’est l’indifférence des grandes entreprises
      Une société comme Microsoft ne se soucie pas des plaintes de ses clients, même nombreuses
      En passant sur une plus petite plateforme, on peut espérer un support davantage motivé par la réussite de ses utilisateurs
      Les scripts CI devraient être écrits autant que possible sous forme de scripts purs pour rester portables
    • Dire « je ne connaissais pas Codeberg » est un problème personnel
      Et rien ne prouve qu’il n’y a pas eu de discussion en interne

  • Je partage les critiques contre GitHub, mais Codeberg tombe souvent en panne
    D’après sa page d’état, l’uptime sur les deux dernières semaines est autour de 95 %

    • GitHub Actions tombe lui aussi souvent en panne, donc au fond la différence ne me paraît pas énorme
    • Si le niveau de service est important, le mieux est d’héberger Forgejo soi-même
      On évite ainsi de dépendre d’un point de défaillance unique comme GitHub
    • Sur Reddit aussi, certains se plaignaient de la procédure de vérification anti-bot de Codeberg
      Cela dit, Forgejo auto-hébergeable reste très séduisant
    • Codeberg est fréquemment visé par des attaques DDoS
      Sur son compte Mastodon, ils communiquent la situation avec transparence
      Le fait d’être attaqué peut aussi être la preuve qu’ils comptent vraiment
    • Codeberg est une plateforme réservée à l’open source
      Ce n’est pas adapté à des projets commerciaux ni à des sauvegardes personnelles

  • J’ai l’impression qu’aujourd’hui le mot IA est devenu un terme marketing
    Dans deux ans, la plupart des applis auront probablement encore des fonctions d’IA, mais les slogans du type « AI-first » auront disparu

    • C’est comme ça depuis 15 ans
      Mais je suis d’accord avec la prédiction — désormais, faire de la pub sur l’IA fait ringard
    • Ce ne sont que des buzzwords qui changent, comme « big data » ou « machine learning »
      La publicité personnalisée est toujours bien là, même si le concept lui-même reste désagréable

  • La refonte du flux du tableau de bord de GitHub a été un désastre
    Il y a aussi beaucoup de plaintes dans la discussion liée

    • Avec la mise à jour récente, l’affichage se concentre désormais sur les PR et issues récentes, et ça me semble plutôt être une amélioration
      Je l’utilise souvent en pratique
    • Honnêtement, je n’utilise même pas le tableau de bord
      Je travaille directement depuis les pages de projet la plupart du temps
    • Moi aussi, j’utilise la page des notifications comme page d’accueil par défaut
      Avec l’autocomplétion du navigateur, il me suffit de taper « not » pour y aller directement

  • La raison du départ de Zig ne se résume pas à une simple méfiance envers Microsoft
    Zig est depuis longtemps une communauté aux opinions tranchées
    GitLab non plus n’est pas pleinement satisfaisant, et les alternatives ne sont pas nombreuses
    Le fond du problème, c’est la structure monopolistique des grandes entreprises, et l’IA ne fait qu’aggraver cela

    • Je me demande ce que vaut Bitbucket aujourd’hui
      On dirait qu’il n’a presque plus aucune présence

  • L’avantage de Codeberg, c’est la vitesse de chargement des pages
    GitHub paraît parfois lent et lourd

    • Surtout dans un environnement 4G instable, GitHub est affreux
      La différence est flagrante comparé à des services comme Linear
    • À l’inverse, dans mes tests, Codeberg était plus lent 
      $ time curl -L 'https://codeberg.org/'  → 3.06s  
$ time curl -L 'https://github.com/'    → 1.35s
      J’imagine que cela dépend de l’environnement

  • J’aimerais recommander Fossil SCM
    C’est un outil créé par l’auteur de SQLite, avec des fonctionnalités de niveau GitHub intégrées dans un binaire unique de 6 MB
    On peut le voir sur fossil-scm.org

    • En revanche, il n’a pas de système de revue de code
      Parce que son créateur n’accepte presque pas de contributions externes
      C’est excellent pour un projet solo, mais peu adapté à la collaboration
    • Cela dit, c’est formidable pour les projets personnels
      Je recommande vraiment de l’essayer pour votre prochain side project