Zig deixa o GitHub por causa da obsessão da Microsoft com IA

 (theregister.com)
6 pontos por GN⁺ 2025-12-04 | 1 comentários | Compartilhar no WhatsApp
  • A Fundação da linguagem de programação Zig decidiu sair do GitHub por causa da queda de qualidade do GitHub e da gestão com foco em IA da Microsoft para migrar para o Codeberg
  • O bug ‘safe_sleep.sh’ do GitHub Actions, deixado sem solução por anos, provocou um caso em que o sistema de CI ficou paralisado
  • O lado do Zig critica o GitHub por alegar que ele está sacrificando a qualidade de engenharia em favor de uma estratégia centrada em IA
  • O cofundador do Fast.AI, Jeremy Howard, também apontou a má gestão de bugs do GitHub e a queda da qualidade do código
  • Com a expansão do movimento de projetos de código aberto saindo do GitHub, cresce a reação contra a operação de plataformas com foco na exploração comercial da IA

Contexto da saída da Zig Software Foundation do GitHub

  • A Zig Software Foundation, que gerencia a linguagem de programação Zig, decidiu sair do GitHub e migrar para o serviço de hospedagem de código sem fins lucrativos Codeberg
    • O motivo foi o julgamento de que o GitHub não está mais comprometido com a excelência em engenharia
  • Andrew Kelly citou como exemplo o caso do bug de loop infinito do ‘safe_sleep.sh’ no GitHub Actions
    • O script ficou com 100% de uso de CPU e com execução infinita
    • Isso causou a interrupção dos runners de CI do Zig por várias semanas

Problemas técnicos do GitHub Actions

  • A causa do problema veio de uma alteração de código de fevereiro de 2022, quando o comando sleep do POSIX foi substituído por um script chamado ‘safe_sleep’
    • Se o script perder certos intervalos de tempo em segundos, ele entra numa estrutura de loop infinito
  • Esse bug só foi corrigido em 20 de agosto de 2025, e a issue relacionada ficou sem resolução até 1º de dezembro
  • Outro bug de uso excessivo de CPU ainda segue sem resolução

Reação da comunidade e de especialistas

  • O Jeremy Howard (cofundador do Fast.AI) avaliou que o estado do GitHub Actions está “claramente ruim”
    • Ele apontou que um código que ocupa 100% da CPU ficou sem revisão por um ano
    • Comentou que “uma organização que funciona corretamente não pode repetir essa sequência de erros”
  • Kelly depois se desculpou dizendo que sua fala foi agressiva demais, mas ainda assim destacou o problema de queda de qualidade do GitHub

Movimento de saída de outros projetos

  • O fundador do projeto Dillo Browser, Rodrigo Arias Mallo, também anunciou planos de sair do GitHub
    • Ele criticou a dependência de JavaScript, o risco de negação de serviço e a operação centrada em LLM e IA generativa
    • Disse que “a IA generativa está destruindo a web aberta”
  • A Codeberg dobrou o número de membros de apoio após janeiro de 2025, de 600 para mais de 1.200

Estrutura de receita centrada em IA do GitHub

  • O CEO da Microsoft, Satya Nadella, anunciou no relatório de resultados do 2º trimestre de 2024 que
    • Havia mais de 1,3 milhão de assinantes pagos do GitHub Copilot, com aumento de 30% em relação ao trimestre anterior
  • Em 2024, aproximadamente 40% da receita anual de US$ 2 bilhões do GitHub veio de assinaturas do Copilot
  • No 3º trimestre de 2025, foram reportados mais de 15 milhões de usuários do Copilot, com aumento de quatro vezes em relação ao ano anterior
  • O GitHub atualmente não divulga o número de usuários pagos, destacando apenas a estrutura de receita centrada no Copilot

Significado resumido

  • Os casos de Zig e Dillo mostram que uma operação de plataformas centrada na comercialização da IA enfraquece a confiança dos desenvolvedores
  • A estratégia de foco em IA e a ausência de controle de qualidade do GitHub está desencadeando a saída da comunidade de código aberto
  • A tendência é de aceleração no crescimento de plataformas alternativas sem fins lucrativos, como o Codeberg

Leituras relacionadas

1 comentários

 
GN⁺ 2025-12-04
Comentários no Hacker News

  • O histórico de edições do comunicado da equipe do Zig é bem interessante
    No começo, eles criticaram a equipe do GitHub como um “framework JS cheio de bugs feito por remanescentes incompetentes”, mas depois suavizaram a linguagem
    Na versão final, ficou algo como dizer que a “excelência de engenharia” do GitHub desapareceu
    versão inicial (27/11 02:10) → edição intermediária (27/11 14:04) → versão final (28/11 09:21)

    • No tópico anterior no HN houve muito feedback para “tirar a carga política/emocional”, e parece que a equipe do Zig levou isso em conta
      Foi marcante ver essa revisão com humildade em prol da comunidade
    • A obsessão e a raiva que Kelly demonstrou com a “excelência de engenharia” parecem, na verdade, indicar um futuro promissor para o Zig
      Acho um bom sinal quando um líder técnico se revolta com a mediocridade
    • Acusar, como na formulação inicial, que “software ruim é intencional” é exagerado
      Na prática, isso é só o resultado produzido sob limitações de ambiente e de capacidade
    • A raiva atrapalha o julgamento
      Acredito que software feito com amor, ou seja, com apreço pela tecnologia e pelas pessoas, produz resultados melhores
    • Concordo com a expressão “bloated, buggy JS framework”
      Grandes empresas despejam dinheiro para manter frameworks assim, e milhões de pessoas os usam sem nem conseguir desativá-los
      Quando uso o GitHub, não executo JS nenhum e baixo só arquivos raw com regras 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 }
      Desse jeito funciona bem

  • O ponto forte do GitHub é o ecossistema
    Sistema de PR, gerenciamento de issues, ações de CI, patrocínio — está tudo reunido em um só lugar
    Essa obsessão com IA preocupa, mas ainda acho que é a ferramenta mais conveniente para desenvolvedores

    • Não concordo. A verdadeira força do GitHub é o efeito de rede social
      Métricas como stars, forks e número de seguidores funcionam como sinais de qualidade
      No fim, os desenvolvedores confiam no “olhar da comunidade”
    • Já usei Gerrit no passado, e não senti que os PRs do GitHub fossem tão superiores assim
      Actions é um inferno de YAML, complexo e com falhas frequentes
      Mesmo assim, o principal motivo é que “todo mundo usa”
    • Não concordo com a ideia de que o sistema de CI seja bem feito
      Actions é conveniente, mas é um produto horrível
    • Eu preferiria resolver o Advent of Code em brainfuck
      Fazer debug no GitHub Actions é puro sofrimento
    • Me incomoda que o GitHub nunca tenha negado que usou repositórios privados para treinar IA
      O GitLab negou isso explicitamente, e essa diferença corrói a confiança

  • Fiquei curioso sobre a infraestrutura do Codeberg e fui pesquisar
    Segundo um post no blog oficial,
    ele opera com 3 servidores (1 Gigabyte, 2 Dell R730/R740) e enfatiza o reaproveitamento de hardware usado
    Houve até tentativa de reaproveitar um MacBook quebrado como runner de CI
    Dizem que às vezes há queda de desempenho, mas que reiniciar resolve
    Passa uma vibe faça-você-mesmo de hackerspace

    • Pela página de status, a disponibilidade é baixa
      Nas últimas 24 horas foram 89% de uptime; a média de 14 dias é 98%, mas o site principal fica lento com frequência
    • O Codeberg é uma plataforma voltada a FLOSS, não a empresas
      O objetivo não é oferecer um serviço comercial
    • Eu mesmo rodava um cluster maior aos 20 anos
      Só a conta de luz passava de 600 dólares por mês; nesse nível acho que eu também conseguiria abrir um serviço gratuito
      Se alguém tiver uma ideia, pode me mandar e-mail

  • Pela forma como o Zig lidou com as issues do GitHub, isso parece uma decisão um pouco emocional
    Bugs existem em todo lugar, e considerando a escala do GitHub isso é natural
    A migração para o Codeberg parece ter sido pouco debatida
    O Zig é tecnicamente excelente, mas parece que ainda não consolidou uma estrutura de liderança madura

    • O problema não são os bugs, mas a indiferença das grandes corporações
      Empresas como a Microsoft não ligam, por mais que clientes reclamem
      Por isso, ao migrar para uma plataforma menor, espera-se um suporte mais motivado com o sucesso do cliente
      Scripts de CI deveriam ser mantidos o máximo possível em forma de script puro, para terem mais portabilidade
    • “Eu não conhecia o Codeberg” é um problema pessoal
      Isso não prova que não tenha havido discussão interna

  • Concordo com os problemas do GitHub, mas o Codeberg cai com frequência
    Pela página de status, o uptime nas últimas duas semanas está na faixa de 95%

    • O GitHub Actions também vive dando problema, então na prática não parece haver tanta diferença
    • Se nível de serviço for importante, é melhor hospedar o Forgejo você mesmo
      Assim você deixa de depender de um ponto único de falha como o GitHub
    • No Reddit também houve reclamações de que o processo de verificação anti-bot do Codeberg é incômodo
      Mesmo assim, o Forgejo com auto-hospedagem continua atraente
    • O Codeberg sofre ataques DDoS com frequência
      Pela conta no Mastodon, eles compartilham a situação com transparência
      O fato de sofrer ataques talvez seja prova de que se tornou algo relevante
    • O Codeberg é uma plataforma só para open source
      Não é adequado para projetos comerciais nem para backup pessoal

  • Hoje em dia a palavra IA virou termo de marketing
    Daqui a uns dois anos, a maioria dos apps ainda terá recursos de IA, mas o slogan “AI-first” deve desaparecer

    • Tem sido assim nos últimos 15 anos
      Mesmo assim concordo com a previsão — agora fazer propaganda com IA ficou cafona
    • Só trocaram os chavões, como “big data” e “machine learning”
      A publicidade personalizada continua firme, embora o conceito em si seja desagradável

  • A reformulação do feed do dashboard do GitHub foi um desastre
    Há muitas reclamações também nesta discussão relacionada

    • Com uma atualização recente, ele passou a focar na lista de PRs e issues recentes, e isso até me parece uma melhora
      Na prática tenho usado bastante
    • Sinceramente, nem uso o dashboard
      Na maioria das vezes trabalho direto na página do projeto
    • Eu também uso a página de notificações como página inicial
      Com o autocompletar do navegador, basta digitar “not” para ir direto

  • O motivo da migração do Zig não é apenas desconfiança da Microsoft
    O Zig já é, por natureza, uma comunidade de opiniões fortes
    O GitLab também não agrada, e não há tantas alternativas
    A raiz do problema é a estrutura monopolista das big techs, e a IA só piora isso

    • Fico curioso para saber como anda o Bitbucket hoje em dia
      Parece que praticamente desapareceu do mapa

  • A vantagem do Codeberg é a velocidade de carregamento das páginas
    O GitHub às vezes parece lento e pesado

    • Especialmente em 4G instável, o GitHub é terrível
      Comparado a serviços como o Linear, a diferença é grande
    • Já nos meus testes o Codeberg foi mais lento 
      $ time curl -L 'https://codeberg.org/'  → 3.06s  
$ time curl -L 'https://github.com/'    → 1.35s
      Acho que depende do ambiente

  • Gostaria de recomendar o Fossil SCM
    É uma ferramenta feita pelo criador do SQLite, com um único executável de 6 MB que já traz embutidos recursos no nível do GitHub
    Dá para conferir em fossil-scm.org

    • Mas ele não tem sistema de code review
      Porque o criador quase não aceita contribuições externas
      É excelente para projetos de uma pessoa só, mas inadequado para colaboração
    • Ainda assim, é ótimo para projetos pessoais
      Recomendo muito experimentar no próximo side project