Tecnologia
Por que modelos inteligentes nao conseguem explicar
Modelos inteligentes falam de forma complicada, e modelos que explicam bem tem raciocinio fraco. Basta separa-los. Metodo concreto para operar um modelo de comunicacao (principal) e um modelo de raciocinio (subagent) separadamente no Claude Code, e por que essa estrutura funciona.
abloq — o blog que o agente opera, e a máquina tranca a verificação
Quando você confia um blog ao agente, o texto sai. O problema é que não dá para confiar nele — ele forja fontes, eleva o lastmod de um texto que nem corrigiu e mexe em arquivos que ninguém mandou tocar. Se a pessoa for revisar tudo, não fazia sentido delegar. A resposta de abloq é a divisão do trabalho: a geração é probabilística, a verificação é determinística. O que a pessoa escreve é uma única especificação de insight (insight.yaml), e a escrita, a tradução, a atualização e o reforço de evidências são delegados ao agente como quests, enquanto a qualidade é garantida por um gate determinístico derivado de um único blog.yaml. O PASS travado é irreversível — o agente pode ser descartável, mas o progresso se acumula.
reins — deixe ao quest CLI apenas o domínio, o ratchet vira framework
how-make-quest ensinou a construir um quest CLI com as próprias mãos. Mas, ao construir o segundo CLI, você reescreve o mesmo ratchet, o mesmo scan/next/submit, a mesma agregação. reins extrai esse invariante para um framework — ratchet, esqueleto de comandos, agregação e export são fornecidos por reins, e você só implementa o gate do seu domínio (os 4 métodos de gate.Definition). O gate é um catálogo de regras de defesa contra o cheese, e o defeat graph de toulmin devolve ao agente o guia de estratégia de 'por que perdeu e o que mudar para vencer'.
Como criar um Quest CLI — construir você mesmo a ferramenta que deixa a máquina julgar a conclusão
A IA diz 'concluí'. Na prática, não terminou. Este texto é sobre construir você mesmo a ferramenta que resolve esse problema — o Quest CLI. Do princípio (por quê) ao esqueleto de comandos em cobra (como), este único texto permite que um agente crie um Quest CLI em Go. huma é o exemplo trabalhado.
filefunc × Hono — o código que um agente lê de uma vez: de 60 para 18 linhas
Refatoramos o Hono, framework real com 23k estrelas, usando filefunc. Todos os 4419 testes passaram. E ao medir — o número de linhas que um agente lê ao abrir um conceito caiu da mediana de 60 para 18, uma redução de 71%. O que importa não é a quantidade de arquivos, mas o 'comprimento do que se lê'.
GEO: Como fazer a IA citar o seu conteúdo
Se o seu conteúdo não é citado nas respostas geradas por IA, é como se não existisse. Segundo o paper de GEO, citação de fontes melhora a visibilidade em +30%, estatísticas +32% e citações textuais +41%. Infraestrutura, sitemaps, Wayback Machine, citações acadêmicas e atividade social — cinco eixos para garantir visibilidade perante a IA.
huma -- Uma catraca que nao pula nenhum endpoint
Quando voce pede a um agente AI para testar 42 endpoints ele declara pronto por volta do 15. huma transforma a lista de endpoints em uma sessao de catraca para que o agente nao pule nenhum. scan next write verify.
codistill -- Extrai SSOT do codigo existente
Para usar yongol precisa comecar com SSOT do zero? Nao. codistill extrai automaticamente OpenAPI, DDL e consultas sqlc de codigo existente em 16 frameworks web de 8 linguagens.
Hurl impede a deriva do vibe coding
Vibe coding colapsa sob deriva logica em 3 meses. Casos da CMU, METR, DORA e Amazon comprovam. Declare contratos de API em texto simples com Hurl e trave-os com catraca -- suprime a deriva estruturalmente sem limitar a liberdade da IA.
Codigo catraca que explora o IFEval
O vies de bajulacao dos LLMs nao e um defeito, e um ativo. Ao combinar a capacidade de seguir instrucoes medida pelo IFEval com feedback deterministico, ate um modelo local de 4.5B produz um loop de convergencia que gera codigo correto.
yongol — A quilha do SaaS programado com IA
O vibe coding colapsa em 200 endpoints porque a IA não consegue distinguir decisões de detalhes de implementação. yongol transfere o alvo de trabalho da IA do código para 10 especificações declarativas e impõe consistência entre camadas antes da compilação. Harness with reins.
Ratchet Pattern — Como fazer o agente ir até o fim
Pedi a um agente AI que escrevesse testes para 527 funções. Ele declarou 'terminei' após apenas 40. O Ratchet Pattern força o veredicto de conclusão por um verifier mecânico, fazendo o agente ir até o fim.
tsma -- Linha de defesa contra regressoes em codigo legado
Uma ferramenta CLI que indexa todas as funcoes, detecta a existencia de testes, mede a cobertura e fornece feedback preciso a agentes LLM. Um unico comando constroi uma linha de defesa contra regressoes em codigo legado.
toulmin — um motor de regras que calcula contratos
Motores de regras tratam o objeto de verificacao como fato (fact) ha 60 anos. toulmin o trata como afirmacao (claim). O modelo de argumentacao de Toulmin foi implementado como um motor de regras em Go.
filefunc — um arquivo, um conceito
A unidade de navegação de um agente de código com IA é o arquivo. filefunc é uma convenção de estrutura de código Go e ferramenta CLI que força um conceito por arquivo.
Feature Chain — Rastreando o stack inteiro com um único operationId
Que arquivos precisam ser tocados para modificar uma única funcionalidade? Feature Chain recebe um operationId e extrai automaticamente todo o escopo — especificação API, schema de BD, política de autorização, diagrama de estados, implementações de funções, cenários de teste e frontend.
whyso — o que o git blame não mostra
git blame mostra quem, quando e o que foi alterado. whyso mostra por quê. Uma ferramenta que extrai automaticamente o histórico de alterações por arquivo a partir dos dados de sessão do Claude Code.
A solução para a mudança climática está no espaço? Sim, de verdade.
Instalar uma cortina solar entre o Sol e a Terra para reverter o clima. Sai da mesma fábrica dos espelhos de Dyson, só sem o revestimento. Vai sozinha, sem propulsor. Removeu, voltou ao normal. Os números batem.
SSaC — Service Sequences as Code
Conceito independente de linguagem que decompõe o fluxo de negócios dentro de funções de serviço em blocos declarativos (sequences). Basta declarar o what com 10 tipos fixos e o codegen preenche o how.
Pensamento com IA por Primeiros Princípios: Um Método em 5 Etapas com Estudos de Caso
Não peça respostas à IA. Use-a como caixa de ressonância para validar, desconstruir e reconstruir suas premissas. Um método em 5 etapas com dois estudos de caso reais.
Cozinhar com calor desperdiçado? A possibilidade e realidade dos equipamentos de cozinha com bomba de calor de recuperação de calor residual
A tecnologia de bomba de calor de alta temperatura com recuperação de calor residual que reduz inovadoramente o desperdício de energia dos equipamentos de cozinha convencionais — até onde chegou e como pode ser aprimorada?
Construir barragens com areia do deserto — e transformá-las em florestas 30 anos depois
Uma proposta da tecnologia Oasis Pellet: aglomerar areia inútil do deserto com bioadesivo para criar reservatórios que, ao fim da vida útil, se decompõem em solo fértil.
Como uma bateria à prova de incêndio transforma eletricidade desperdiçada em fertilizante e aquecimento
A eletricidade desperdiçada pelo corte de produção solar é armazenada em baterias Edison à prova de incêndio, e a partir do hidrogênio se autoproduzem fertilizantes e solução de ureia: um modelo de convergência energia-agricultura.