Tecnologia
Dos Claims a um Graph of Accepted Facts
Antes que uma máquina possa julgar o mundo real de forma determinística, ela precisa fechar explicitamente esse mundo: avaliar Claims abertos, projetar Accepted Facts em um grafo rastreável, congelar a fronteira e preservar um caminho de recurso.
Instalando e usando o MarkItDown — por que PDFs só com imagens falham, e como acoplar OCR
O motivo para usar o MarkItDown se resume à condição de agent-operable — a própria Microsoft convertendo seus próprios formatos com confiabilidade estrutural. Instalação, uso e como acoplar OCR exatamente no ponto em que essa confiança se rompe: PDFs que contêm apenas imagens.
O que é um 'turn' no reins?
Uma anatomia do turn, a menor unidade de execução do reins. O que não foi registrado não é um turn — desta única definição decorrem a independência de driver, a resiliência a reinícios e a auditabilidade. Comparado ao discurso de Loop Engineering de junho de 2026, vemos como o turn converte aquelas recomendações em estrutura.
TANGEUL — Regras Escritas em Markdown, Auditadas por Humanos
TANGL permite escrever grafos de regras toulmin como frases em markdown em vez de código Go, de modo que um não programador possa auditá-los. TANGEUL é a fonte binária da verdade que essas superfícies markdown agora codificam.
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.