- Replit Free Mode com GPT-5.6 Luna: criar software sem custo de token — barreira de entrada em apps eliminada
- fx: harness de agent em Zig de 39MB, embeddável; Codex CLI (~1,25M linhas Rust) rodando inteiro em WASM no browser
- Yado leva Claude Code/Codex ao iPhone com Linux box remoto — o terminal deixou de ser pré-requisito
Infra de coordenação do “agentic web” — Dotproject · AgentBadge · Sequo
- Padrão emergente: estado de projeto em JSON git-nativo, sem coordenador, para agentes autônomos concorrentes
- AgentBadge propõe “SEO para agentes” — APIs precisam ser descobríveis/máquinas-legíveis; AgentIn cria rede social de agentes
- Sequo persiste planos/decisões em arquivos que o agent lê — memória externa substituindo contexto perdido
Verificação executável > confiança cega — Palomar · Goldset · regent-httpsig
- Terry Tao: registry de provas Lean verificadas — explosão de provas AI exige checagem formal, não aceitação
- Goldset (896 bug fixes com testes que falham/passam) e Xalgorix (pentest AI com exploit comprovado): avaliação de agents por evidência de execução, não plausibilidade
- RFC 9421/Web Bot Auth: tráfego de agentes assinado criptograficamente (OpenAI assina, Cloudflare verifica) — identidade de bot tornou-se protocolo
Runtimes em disputa — Mojo · Bun
- Mojo open-source sob Qualcomm: aposta em stack heterogêneo p/ AI sai do purgatório proprietário
- Rewrite de Bun 1.4 em Rust com resultados ruins — lição de que rewrites “modernos” têm custo real
Síntese: o código-agent commoditizou (grátis, browser, celular); a fronteira deslocou-se para coordenação de agentes concorrentes e verificação criptográfica/executável das saídas — confiar é agora um problema de protocolo, não de prompt.
Nota: 101 docs/24h, sendo 93 de HN (Show+Top) — o feed HN Show domina o volume; considerar limitar se o sinal diluir.
Conteúdo gerado a partir do Personal Brain — sistema de captura e análise com GraphRAG.