antonio leandro

primariatechen

Werner Vogels

CTO da Amazon e autor do All Things Distributed, onde escreve (e cada vez mais hospeda engenheiros da AWS) sobre sistemas distribuídos, cultura de times e formação de líderes técnicos. Está no acervo por mostrar de dentro decisões de infraestrutura que o resto da indústria só vê prontas.

10 textos no acervo · publica a cada ~22 dias · último em

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

o que esta fonte defende

Os dez textos deste arquivo não formam uma tese única, e fingir que formam seria o pior jeito de apresentá-los. São quatro linhas que correm em paralelo: mergulhos técnicos em infraestrutura da AWS, um discurso sobre cultura de engenharia e times pequenos, um programa de formação de líderes técnicos (o Now Go Build) e prognósticos sobre IA. Elas raramente se citam. O que as une é menos um argumento do que uma posição: a de alguém que decide essas coisas dentro de uma das maiores empresas de infraestrutura do mundo e escolhe explicar publicamente por quê.

Na linha técnica há, sim, algo recorrente, e é a parte mais valiosa da página. Vogels insiste que o trabalho que importa é o invisível: o control plane, que só registra o que deveria existir e reconcilia com o que existe de fato, e que ninguém sonha em construir; a rede do Lambda, cuja reinvenção derrubou a preparação de um cold start de segundos para 200 microssegundos; a prova matemática de que um motor de autorização está correto. A posição repetida é que ordens de grandeza vêm de reescrever camadas que o usuário nunca vai ver, não de features. Vale notar uma mudança de formato: nos textos mais recentes ele cede o microfone — Andy Warfield sobre dados, Zak van der Merwe sobre control planes, Byron Cook sobre raciocínio automatizado. O blog virou tanto curadoria quanto autoria.

Na linha cultural, a tese é que o melhor trabalho sai de grupos pequenos que confiam uns nos outros, são donos do problema de ponta a ponta e agem por convicção própria. O título “um retorno à cultura das duas pizzas” carrega uma admissão que ele não sublinha: se é retorno, a Amazon havia se afastado. É o ponto do arquivo mais próximo de uma correção de rota. Ao lado disso vem um argumento mais pessoal — o medo como sinal de que se está empurrando o limite, e o desconforto como condição do crescimento —, que é a peça menos técnica e menos verificável do conjunto.

Duas ressalvas para quem vai ler. A primeira: sobre IA, ele inverte deliberadamente a fórmula da moda e fala em “IA no loop humano”, não no humano no loop, apostando em autonomia com supervisão e verificação formal em vez de confiança por benchmark. A segunda, e mais importante: este é também um canal corporativo. O ensaio sobre atrito de dados desemboca no lançamento do S3 Files; o ensaio sobre DuckDB desemboca no anúncio de que o time por trás dele foi comprado pela AWS. A engenharia descrita é real e detalhada, mas a escolha do tema quase nunca é neutra.

por tema

o atrito dos dados e a compra do DuckDB (2 textos)

Dois textos assinados por Andy Warfield, engenheiro do S3, tratam do mesmo incômodo: mover dados de um lugar para outro custa mais tempo e paciência do que analisá-los. O primeiro parte dessa fricção cotidiana — copiar, converter, esperar — para explicar as decisões por trás do S3 Files, e o segundo argumenta que bancos como o DuckDB, que rodam localmente e leem dados onde eles já estão, mudam a economia da análise: some a etapa de carregar tudo num data warehouse antes de fazer a primeira pergunta.

O segundo texto termina anunciando que a DuckLabs, empresa por trás do DuckDB, passa a integrar a AWS, e posiciona a peça ao lado de S3 Tables e S3 Vectors. Vale ler pela explicação técnica de por que o modelo mudou, com a ressalva de que o texto é, ao mesmo tempo, o comunicado de uma aquisição.

a engenharia que ninguém vê (2 textos)

É o fio mais forte do arquivo. Um texto acompanha Zak van der Merwe, que passou a carreira inteira na AWS construindo control planes — primeiro do EC2, depois do DSQL —, o componente que registra o estado desejado do sistema e o reconcilia com o estado real. A tese de ambos é que essa camada parece burocrática por fora e é, por dentro, um dos problemas distribuídos mais difíceis que existem, porque precisa estar certa mesmo quando tudo abaixo dela falha.

O outro texto disseca a rede do Lambda e mostra como uma sequência de invenções discretas reduziu a preparação de um ambiente novo de alguns segundos para 200 microssegundos. Juntos, os dois defendem a mesma ideia: ganhos dessa magnitude vêm de reconstruir infraestrutura que nenhum usuário jamais verá.

provar em vez de confiar (1 texto)

Uma conversa com Byron Cook, que lidera o grupo de raciocínio automatizado da AWS — métodos formais que provam matematicamente que um sistema se comporta como deveria, em vez de testá-lo caso a caso. Ao longo de uma década, essas técnicas foram aplicadas ao motor de autorização da empresa, às implementações criptográficas e à camada de virtualização.

O ponto novo é a direção seguinte: aplicar o mesmo ferramental a sistemas agênticos, isto é, a agentes de IA que tomam ações no mundo. É a resposta de Vogels à pergunta de como confiar em algo não determinístico — não por avaliação estatística, mas cercando o agente de garantias verificáveis. É também o texto que mais aponta para onde a casa quer levar a discussão sobre segurança em IA.

times de duas pizzas e o valor do desconforto (2 textos)

A parte cultural do arquivo. Um texto retoma a regra amazônica dos times pequenos o bastante para serem alimentados por duas pizzas, usando como exemplo a equipe que construiu o desktop do Quick: gente que confiava umas nas outras, era dona do problema de ponta a ponta e agia por convicção sem pedir permissão a cada passo. O título fala em retorno, o que admite indiretamente que a empresa havia se distanciado desse modelo.

O complemento é um texto curto e pessoal em que ele trata o medo como instrumento de navegação: sentir desconforto é sinal de que se está avançando sobre terreno desconhecido, e a recomendação é reconhecer o sinal e inclinar-se na direção dele. É a peça mais motivacional do conjunto e a que menos oferece evidência — quem procura argumento técnico pode pular.

now go build: fellows e documentário (2 textos)

Uma linha institucional que não conversa com as demais. Vogels apresenta a nova turma do programa de fellows para CTOs, formada por pessoas de engenharia, humanidades, negócios, saúde, empreendedorismo e direito que convergiram para o cruzamento entre tecnologia e educação — e a chamada do texto é justamente que educação não cabe num modelo único.

O outro texto lança a segunda temporada da série documental homônima: cinco episódios com líderes técnicos de vários países trabalhando em problemas de saúde e educação. São textos de divulgação de um programa, mais úteis como mapa de quem está fazendo o quê nesses setores do que como argumento.

ia no loop humano, não o contrário (1 texto)

As previsões para 2026 são o texto mais programático do arquivo e o que melhor resume a aposta pública de Vogels. A formulação central é uma inversão deliberada do jargão corrente: em vez de humano no loop supervisionando a máquina, ele fala em IA no loop humano — sistemas que operam com autonomia dentro de processos que continuam sendo dirigidos por pessoas com expertise específica.

O resto do texto aposta em cooperação interdisciplinar acelerando descoberta e em mais espaço para autonomia e expertise individual. Como todo texto de previsão, vale menos pelo acerto futuro do que por revelar a direção em que a empresa pretende empurrar o mercado.

onde ela discorda de outras fontes do acervo

Não há aqui um adversário nomeado, mas há um atrito claro com o discurso dominante sobre agentes de IA. Enquanto boa parte da indústria trata autonomia crescente como o objetivo e avalia a confiabilidade por benchmarks e testes empíricos, Vogels sustenta duas posições contrárias: que o humano deve permanecer no centro do processo, com a IA operando dentro do loop dele, e que a garantia de comportamento correto em sistemas agênticos deve vir de prova formal, não de avaliação estatística. É uma aposta minoritária e verificável no tempo — ou os métodos formais escalam para sistemas não determinísticos, ou não.

linha do tempo