Duas frases do dia dizem a mesma coisa em domínios que não se falam.
Na primeira, um engenheiro conta que entrou há meio mês numa empresa grande onde a gerência repete que empurrar código não é gargalo — e, dito isso, cobra o time por estar lento. Na segunda, um veterano de guerra com drones descreve a tela cuspindo mil alvos e conclui: “the human becomes the bottleneck.” Uma fala sai de um time de software, a outra de uma cadeia de comando militar, e o raciocínio é idêntico nas duas: a máquina produz mais do que o humano consegue revisar, e a saída que se tira disso nunca é produzir menos.
Embaixo disso, a infraestrutura anda no mesmo sentido, só que com processo. O commit que sobe o AOTriton 0.14b no PyTorch traz correções de máscara causal e de strides em kernels de attention — e um Co-authored-by: Claude Opus 5 (1M context) no rodapé, com revisor nomeado e lista de bugs verificável. A TUI do Claude Code está sendo reescrita em Rust por um terceiro, arquivo por arquivo. O agente deixou de ser a coisa que se avalia e virou a coisa que está no caminho do código. Os outros dois itens de hoje — outbox transacional e um mirror de pesos em torrent — não puxam esse fio; entraram por mérito próprio. Dia sem paper.
laboratórios
[ROCm] Bump AOTriton to 0.14b — novo backend flyc, com kernels FlyDSL de SDPA fp16/bf16 para gfx950 e gfx1201, em paridade com os kernels Triton e substancialmente mais rápidos na maioria das head dimensions. É API breaking e ABI stable: VarlenBits substitui o enum VarlenType, e Q e K passam a escolher o endereçamento de sequência de forma independente, o que dispensa o cumsum por launch do lado do PyTorch. A lista de correções é o que interessa a quem roda attention em AMD: bwd_kernel_fuse usava as strides de Out para dO, o causal masking escrevia +inf de LSE fora dos limites, e o attention bias não era convertido para fp32 antes de escalar por ln(2). Triton vai para 3.8.0, as tuning databases foram re-tunadas para gfx950 e gfx1100, e ROCm 10 (HIP 7.16) entra na lista de pacotes.
brasil
Transactional Outbox Pattern: Resolvendo o Dual Write — lzocateli escreve a segunda parte de uma série sobre arquitetura de eventos, aqui em C# com Postgres e Azure Service Bus. O desenho é o de sempre e continua certo: dado de negócio e evento pretendido gravados na mesma transação local, e um BackgroundService separado lendo os pendentes e marcando como publicada só depois da confirmação do broker. O mérito do texto está em não esconder o preço: se o worker morre entre o SendMessageAsync e o SaveChangesAsync, a mensagem sai de novo — at-least-once é o contrato, e a deduplicação é problema do consumidor. Um detalhe para quem for copiar: o comentário no código cita SKIP LOCKED para múltiplas instâncias do worker, mas a query em EF Core mostrada não expressa isso; no caso real descrito no fim, o mecanismo é um lease em SQL.
mercado
Pirate Face — 424 pontos no Hacker News para um mirror peer-to-peer do Hugging Face. Cada modelo vira torrent com web-seed (BEP-19) apontando para o próprio arquivo no HF: enquanto está no ar, os bytes vêm de lá; no dia em que o modelo é removido, o web-seed morre, o swarm assume e o modelo é marcado como “rescued”. Todo arquivo carrega o SHA-256 oficial do HF, então o mirror é conferível byte a byte — que é a objeção óbvia a qualquer espelho de pesos, e eles trataram como feature de primeira classe. O resto ainda é promessa: o drop-in HF_ENDPOINT=https://pirateface.co está marcado como “soon”, só entram MIT e Apache-2.0 (mais uma exceção para Kimi-K3), e o modelo precisa já existir no Hugging Face para ser submetido, ou seja, a infraestrutura soberana depende hoje do host que pretende sobreviver. A página não informa quantos modelos foram efetivamente resgatados; os números que aparecem na home (“1,240 seeding”) são ilustração de interface, não contador.
mundo
Haleclipse/CometixCode — reimplementação não oficial da TUI do Claude Code em Rust, 354 estrelas, AGPL-3.0, derivada da leitura do CLI publicado. Claude Code é TypeScript em React + Ink; o port usa iocraft, o equivalente estrutural do Ink em Rust, e segue o original arquivo por arquivo, componente para componente, hook para hook, com os desvios anotados no ponto onde acontecem. O detalhe que vale por si, independente de Claude Code: o autor diz que cargo test não serve de gate porque o crate tem estado de processo (env vars, caches em OnceLock) que vaza entre testes rodando como threads no mesmo processo — o gate é just test em cima do cargo-nextest, um processo por teste. A busca de arquivos continua shellando para rg, com a mesma ordem de resolução do original.
Experts warn of AI warfare risk — chamada do Semafor: os EUA teriam se preparado para interceptar um navio chinês no Oriente Médio nesta primavera depois que um chatbot identificou errado o material a bordo, num episódio que uma fonte descreveu à CNN como ter “quase começado uma guerra”. A peça também cita war games recentes de Stanford sobre aceleração do ritmo de conflito por automação. Só a chamada está disponível.
quem escreveu
Quoting voxium — Simon Willison recorta o relato de quem está dentro: spec, código, teste, PRD, ticket, resolução do ticket e relatório, tudo saindo do Claude Code, do L1 ao L7 fazendo a mesma coisa. A linha que fica é “people are working 12 to 13 hours a day just to press enter.” Ele arquiva sob a tag ai-misuse, e é o contraponto exato do item do PyTorch: lá o modelo assina um patch que passou por review e vem com bugs nomeados; aqui ninguém lê nada.
AI nutrition facts — Hiroshi Sato no UX Collective, também só a chamada: “designing an interface between writers, readers, and AI”. O que ela anuncia é tratar a declaração de participação do modelo num texto como problema de projeto entre autor e leitor — rótulo, não política de plataforma.
fontes paradas
Anthropic Engineering, 119 dias. Karpathy, 143. Lil’Log, 79. Import AI, 14. Transformers releases, 11 — e essa é a que mais chama atenção, porque o repositório não costuma ficar tanto tempo sem tag.