Não É Mais Meu Problema

Andrew Kelley publicou seus pensamentos sobre a reescrita do Bun anteontem. A foto dele segurando uma caneca diz tudo: “It Tastes Like It’s Not My Problem Anymore.” Eu concordo com quase tudo que ele escreveu.

Kelley está certo: o código Zig do Bun era “hacks on top of hacks.” Jarred Sumner já produzia slop antes dos LLMs existirem, empurrando features sem tempo para refletir, transformando o codebase numa bola de neve que ninguém conseguia auditar. Kelley está certo quando diz que a ZSF respirou aliviada quando a Anthropic comprou o Bun. E está certo quando diz que bugs se eliminam dedicando recursos de engenharia, não escolhendo uma linguagem.

Mas há um buraco no argumento dele.

Kelley trata a reescrita como se a escolha fosse entre “código Zig bem escrito” e “código Rust mal escrito.” Essa não era a escolha real. A escolha real era entre deixar o Bun morrer lentamente — um runtime promissor, sangrando crash reports, inmaintainable — ou usar IA mais Rust mais testes para extrair o que ainda podia ser salvo. O código Zig não ia magicamente melhorar. A ZSF não ia reescrever o Bun. O Jarred, com ou sem IA, não ia parar de produzir slop. Ele só ia continuar produzindo slop em Zig.

É aqui que a escolha da linguagem importa, sim. E é aqui que minha tese sobre alinhamento de modelo encontra sua confirmação mais direta.

Alguém precisa fazer a pergunta que ninguém está fazendo: se o Jarred tivesse dado ao Claude o mesmo tratamento — 64 instâncias paralelas, 165 mil dólares em tokens, o harness completo de agentes implementadores, revisores e integradores — e pedido “arruma esse código Zig,” teria funcionado?

Eu acho que não. E acho que o Jarred também sabe que não, porque ele escolheu Rust.

Zig é uma linguagem que confia em você. O compilador assume que você é o especialista, que vai lembrar de chamar defer na hora certa, que sabe onde a memória termina. Para um humano experiente, essa liberdade é libertadora. Para um modelo de linguagem, é um convite ao desastre. O Claude não tem intuição sobre gerenciamento manual de memória. Ele tem probabilidades. Sem restrições fortes, ele vai alucinar use-after-frees, leaks, double-frees — exatamente os bugs que atormentavam o Bun em Zig.

O borrow checker do Rust não é só um guardrail para humanos. É uma âncora lógica para a IA. Cada erro de compilação é um sinal determinístico: isso aqui não passa. O modelo itera sobre uma mensagem de erro objetiva, não sobre uma interpretação difusa de “será que isso vai vazar memória?” A rigidez do Rust é o que permite a IA trabalhar em escala. Quanto mais estrita a linguagem, melhor o modelo se comporta. Isso não é um argumento sobre produtividade humana. É um argumento sobre alinhamento de modelo.

O resultado é que a reescrita deu certo. Mais do que certo. 535 mil linhas de Zig viraram mais de 1 milhão de linhas de Rust em 11 dias. 99.8% dos testes passaram. 128 bugs corrigidos. Uso de memória caiu de 6.7GB para 609MB. O binário encolheu 20%. O Jarred conseguiu o que parecia impossível: transformar um codebase podre em algo aparentemente saudável sem parar o desenvolvimento por um ano.

Esse sucesso é o problema. Quanto mais a reescrita prova seu valor técnico, mais ela valida o modo de produção que a tornou possível. E esse modo de produção não está disponível para todo mundo. A Anthropic gastou 165 mil dólares em tokens para salvar o Bun. 165 mil dólares é o salário de três engenheiros seniores por um ano no Brasil. É o orçamento anual de TI de uma média empresa. Para uma AI lab, é troco de pão.

Mas o dinheiro é só o primeiro nível do fosso. O modelo que Jarred usou para a reescrita — Claude Fable 5 — estava em pré-lançamento desde abril, acessível apenas para organizações selecionadas. Em junho, o governo dos Estados Unidos suspendeu o acesso ao modelo por razões de segurança nacional, e por semanas ninguém soube se ele voltaria. O post do Jarred saiu em julho, mas o Fable 5 só foi liberado para o público geral uma semana antes — e ainda assim com restrições. Jarred passou dois meses esperando para poder contar que usou uma ferramenta que o resto do mundo mal tinha começado a tocar. O acesso privilegiado opera em dois níveis: acesso ao capital para pagar os tokens e acesso ao modelo em si.

Não foi só com o Fable 5. A OpenAI passou pelo mesmo roteiro com o GPT-5.6 um mês depois — lançamento limitado a um grupo seleto de parceiros a pedido do governo americano. A diferença é que a liberação foi mais rápida, mas o padrão é o mesmo: os modelos mais potentes passam por um filtro que ninguém pediu antes de chegar ao mercado.

Isso me leva a um desconforto que talvez seja teoria da conspiração, mas vou dizer assim mesmo. O governo dos Estados Unidos já mostrou que consegue suspender um modelo inteiro (Fable 5), já pediu que a OpenAI limitasse o lançamento do GPT-5.6. O acesso aos modelos de fronteira está sendo decidido em Washington, não no mercado. Ainda não é estatização, mas o caminho preocupa. Se a IA mais capaz vira um recurso controlado pelo estado americano, o fosso entre quem pode e quem não pode usar IA de ponta deixa de ser econômico e vira político.

Kelley está celebrando porque o problema não é mais dele. Ele está certo em não se importar. Mas o problema não desapareceu. Ele só foi transferido. Agora pertence a quem não tem acesso a 64 instâncias paralelas de um modelo que ninguém mais pode usar. Pertence a quem vai competir num mercado onde a diferença entre um projeto que sobrevive e um que morre é o acesso a tokens que custam o PIB de um país pequeno.

A reescrita do Bun é um marco técnico. É também a demonstração mais clara até agora de que a programação como a conhecíamos está sendo substituída por uma operação industrial. O Artesão morreu. O Arquiteto nasceu. E o Arquiteto, ao contrário do Artesão, não trabalha de graça.