antonio leandro

primariatechen

Fly.io

Blog da Fly.io, nuvem pública que transforma containers em micro-VMs rodando em hardware próprio pelo mundo. Está no acervo porque documenta, em tempo real e em primeira pessoa, a virada de uma infraestrutura feita para humanos para uma feita para agentes, e admite em público quando erra.

40 textos no acervo · publica a cada ~14 dias · último em

escrito por pipeline de llm, revisado por antonio leandro antes de publicar

o que esta fonte defende

A tese que atravessa quase todo o arquivo é sobre qual deve ser a unidade básica de computação na nuvem. A resposta da Fly.io, repetida em dezenas de textos, é: uma máquina isolada por hardware que nasce em menos de um segundo, custa quase nada parada e pode existir em qualquer lugar do planeta. Tudo o mais — rede anycast, roteamento, tokens de autorização, armazenamento durável — é apresentado como consequência dessa escolha. É por isso que a empresa despreza consistentemente as camadas de abstração que dominam o mercado: Kubernetes aparece no arquivo como produto que eles entregam a contragosto, e o container, que era o insumo central da plataforma, é descartado em 2026.

A segunda tese, que só aparece a partir de 2025 e depois domina tudo, é que o principal usuário de infraestrutura deixou de ser gente. “Nossos melhores clientes agora são robôs”, de abril de 2025, é o ponto de virada declarado: anos de trabalho em ergonomia para desenvolvedores humanos perdem valor porque o agente não se importa com a experiência, só com a API. A partir daí a linha é reta — MCP como forma de dar ferramentas ao modelo, Phoenix.new como runtime remoto para agentes, e finalmente os Sprites, computadores descartáveis com sistema de arquivos durável, vendidos como o lugar seguro onde um agente pode fazer besteira sem consequências. O texto de julho de 2026 assume que a empresa inteira gira em torno disso.

O arquivo é raro por registrar mudanças de ideia sem maquiagem. Em fevereiro de 2025 a empresa publica que estava errada sobre GPUs: apostaram que quem sobe aplicações para usuários finais ia querer treinar e servir modelos por conta própria, e isso não aconteceu na escala esperada — o texto vem meses depois de terem cortado o preço das L40S pela metade, o que em retrospecto lê como o primeiro sinal. Em janeiro de 2026 eles contrariam o próprio discurso comercial: passaram anos vendendo sandbox efêmero e read-only como isolamento de agente, e declaram esse modelo obsoleto porque matar a máquina a cada uso destrói o contexto que faz o agente melhorar. Há ainda uma mudança editorial explicitada em “A Blog, If You Can Keep It”: menos ensaios longos e coreografados para o Hacker News, mais publicação crua.

Onde não há tese é na área técnica pura. Os posts sobre Litestream, sobre o bug do parking_lot no roteador em Rust, sobre WireGuard e sobre a movimentação de máquinas não formam um argumento comum além do gosto declarado por contar o problema inteiro, incluindo a parte em que a hipótese estava errada. São textos de engenharia narrativa, não de posicionamento — e é justamente essa mistura, manifesto comercial ao lado de depuração honesta, que define a voz da fonte.

por tema

sprites e o pivô para agentes (7 textos)

O bloco mais recente e mais consequente do arquivo. A Fly.io lança os Sprites — máquinas descartáveis que aparecem instantaneamente, trazem sistema de arquivos durável e custam quase nada ociosas — e os define como o lugar onde um agente deve rodar qualquer coisa arriscada. O argumento central é contraintuitivo: sandbox efêmero e somente-leitura, que a própria empresa vendeu por anos, seria obsoleto, porque destruir a máquina a cada uso apaga o estado que permitiria ao agente aprender com o que fez. O post técnico de janeiro de 2026 descreve a implementação como “Docker sem Docker sem Docker”, ou seja, o abandono deliberado do container como unidade da plataforma.

A linhagem começa antes: em abril de 2025 a empresa publica que seus melhores clientes passaram a ser robôs e que a ergonomia para desenvolvedores humanos, construída ao longo de anos, perdeu parte do sentido. Phoenix.new, de junho de 2025, é o experimento intermediário — um runtime remoto criado para que agentes escrevam Elixir tão bem quanto escrevem Python. O texto de julho de 2026 fecha o arco tratando a empresa inteira como uma aposta nesse mercado.

mcp como camada de controle da infraestrutura (4 textos)

Entre abril e junho de 2025 a fonte publica uma sequência quase semanal sobre Model Context Protocol, o padrão que conecta ferramentas a modelos de linguagem. A tese prática é que o MCP substitui, para o agente, a camada que hoje é ocupada por Terraform, painéis web e CLIs: um dos textos relata a criação de um volume de disco na nuvem via MCP e prevê que a era das interfaces de provisionamento tradicionais está contada.

O tom é de entusiasmo com ressalva. Um dos posts nota que o protocolo tinha seis meses de vida e ainda não sabia o que queria ser quando crescer; outro relata que construir um servidor MCP funcional para a CLI da empresa levou trinta minutos, o que serve tanto de elogio ao padrão quanto de aviso sobre o quão pouco havia ali. Serve como introdução razoável ao assunto para quem nunca leu sobre ele.

a defesa pública de programar com llm (8 textos)

A fonte mantém uma linha editorial abertamente favorável ao uso de modelos de linguagem para escrever software, sendo “My AI Skeptic Friends Are All Nuts” (junho de 2025) o texto mais conhecido do arquivo. O argumento não é que a tecnologia seja perfeita: o mesmo texto critica executivos que impõem adoção por decreto, e outro post nota de passagem que agentes de código acertavam algo como 40% das tarefas com critérios de aceitação. A posição é que a objeção cética confunde qualidade de código com fadiga cultural.

Duas posições recorrentes e discutíveis aparecem aqui. A primeira é contra a arquitetura model agnostic: para a fonte, gastar esforço tornando os modelos intercambiáveis é otimização que o usuário não percebe, e é melhor escolher um modelo e construir em torno dele — o que empurra o peso para a avaliação, tema de um post que usa jogos como banco de testes por considerar os benchmarks pouco informativos. A segunda é a ideia de trust calibration, emprestada do design de interação: quem constrói ferramenta de IA tem obrigação de alinhar a confiança do usuário à capacidade real do produto, nem mais nem menos. Há também um convite direto — escreva você mesmo um agente, porque é o tipo de ideia que não se entende só lendo.

litestream: sqlite que sobrevive à máquina (4 textos)

Quatro textos assinados por Ben Johnson, criador do Litestream, que trabalha na Fly.io. O projeto é software livre e independente da plataforma: um processo que roda ao lado da aplicação e replica continuamente um banco SQLite para armazenamento de objetos, de modo que a perda do servidor não signifique perda de dados. O objetivo declarado é permitir aplicações full-stack completas sobre SQLite, sem servidor de banco separado.

A sequência mostra o projeto sendo reescrito em público: uma revisão grande em maio de 2025, a versão 0.5.0 em outubro, e depois dois textos sobre um VFS — a camada em que o SQLite conversa com o disco — que passa a ler e, na etapa seguinte, escrever direto contra o armazenamento remoto. Cada post começa refazendo a definição do projeto, e o autor brinca que a cada vez consegue explicá-lo em menos palavras.

as tripas da plataforma, contadas por inteiro (7 textos)

O gênero mais antigo da casa: relatos longos de engenharia de sistemas, quase sempre incluindo a parte em que a equipe estava errada sobre a causa. Entram aí a caçada a um bug do parking_lot no roteador anycast escrito em Rust, um proxy Rust consumindo recursos além da conta, o Corrosion — o sistema de propagação de estado que cola servidores e rede quando pipelines de CI derrubam e sobem máquinas várias vezes por segundo —, os truques para tornar o WireGuard rápido e escalável para centenas de milhares de túneis, e a decisão de arquitetura sobre armazenamento durável que governa como uma máquina se move entre servidores.

Dois textos destoam por serem sobre ferramentas de terceiros ou de fronteira: um guia extenso de uso do Kamal em produção, escrito a partir da insatisfação com o material existente sobre a ferramenta, e o anúncio de que o Kubernetes gerenciado da empresa havia saído do acesso antecipado para um beta fechado — produto tratado no arquivo com entusiasmo visivelmente contido.

segurança sem pose (4 textos)

A fonte trata segurança como engenharia mundana, não como argumento de venda. O texto sobre macaroons detalha como a empresa opera seus tokens de autorização — credenciais que carregam suas próprias restrições e podem ser atenuadas sem consultar um servidor central — e se apresenta com autoironia como “uma empresa de tokens de segurança com um problema de nuvem pública”. Outro post mostra como acessar serviços da AWS a partir da plataforma sem guardar chaves de acesso, e um terceiro disseca o mecanismo de agente SSH do VSCode, motivado pelo fato de que as pessoas passaram a editar código remotamente por dentro de forks do editor que geram código com LLM.

O exemplo mais direto do tom é o relato do sequestro da conta de Twitter da empresa, em outubro de 2025, usada para divulgar um falso airdrop de criptomoeda. O post explica como aconteceu, delimita o que estava e o que não estava em risco e não terceiriza a culpa — a única baixa declarada é a autoestima de um funcionário.

a aposta que não deu e a conta que chega (6 textos)

A fonte apostou publicamente que quem publica aplicações na internet ia querer rodar cargas de GPU perto dos usuários, e publicou também o desmentido. O caminho está no arquivo em ordem: um recap entusiasmado de clusters de GPU acessados de um notebook via Livebook e a stack Nx do Elixir; o corte pela metade no preço das L40S em agosto de 2024, anunciado com piada mas com razões econômicas por baixo; e, em fevereiro de 2025, o texto que diz sem rodeios que estavam errados — as GPUs não somem, mas a demanda que eles esperavam do seu público não apareceu.

No mesmo registro de prestação de contas entram a política de perdão a acidentes de cobrança, que reconhece que a fatura de nuvem pública é aterrorizante justamente porque a plataforma fica disponível o ano inteiro; a entrevista de saída de um engenheiro que passou quatro anos construindo o sistema de orquestração, publicada no último dia de trabalho da pessoa; e o anúncio de mudança do próprio blog, abandonando o ensaio coreografado para o Hacker News em favor de publicação mais frequente e mais crua.

onde ela discorda de outras fontes do acervo

Onde a fonte mais contraria o consenso é no isolamento de agentes: quase toda a indústria de sandboxes vende o ambiente efêmero e somente-leitura como resposta correta ao risco de execução de código gerado por modelo, e a Fly.io declara esse modelo obsoleto em janeiro de 2026 — contrariando, no caminho, o próprio discurso comercial dos anos anteriores. A segunda discordância é com a ortodoxia de abstrair o modelo por trás de uma camada intercambiável, prática assumida pela maior parte dos frameworks de aplicação com LLM: para a fonte, isso é engenharia que o usuário não percebe e que atrapalha a avaliação séria de qual modelo realmente serve ao produto. A terceira é temperamental — enquanto boa parte da crítica técnica trata código gerado por LLM como dívida futura, aqui a objeção cética é tratada como equívoco de categoria, o que torna a fonte um bom contraponto para qualquer leitura mais reservada do assunto.

linha do tempo