Opinião

A ferramenta que nos deu rédeas não tinha rédeas em si mesma — a fronteira entre arnês e Reins

A ferramenta que nos deu rédeas não tinha rédeas em si mesma — a fronteira entre arnês e Reins

"Reins Engineering é, no fundo, harness engineering?" Os dois não se opõem — são peças diferentes do mesmo conjunto. Mas são peças diferentes. Até o melhor agente de código do mundo não colocou rédeas no próprio código. Porque rédeas não são algo que se tem — são algo que se aplica.

As Precondições para Aumentar a Precisão de Múltiplos Agentes de LLM

As Precondições para Aumentar a Precisão de Múltiplos Agentes de LLM

Rodar vários agentes torna o resultado mais preciso? Só metade está certa. Modelos treinados com os mesmos dados erram nos mesmos lugares. As condições para que múltiplos agentes funcionem são duas — projetar independência de erros, ou erguer um verifier fora do LLM em domínios verificáveis.

Por que o seu agente nunca para

Por que o seu agente nunca para

Diante da gabarolice de rodar um agente 24 horas por dia, a sensação não é admiração e sim dúvida — por que ainda não terminou? Código não é um problema de busca, é um problema de satisfação de restrições. Um sistema que consegue parar é um sistema saudável.

Sobre a beleza

Sobre a beleza

70% do que é belo é matemática. A máquina trava a ordem de forma determinística, e apenas 30% de complexidade é decidido pelo humano. Reins Engineering não é uma ferramenta de codificação por IA — é o princípio de travar a ordem e deixar apenas a complexidade para o humano.

Quem define «concluído»? — O problema que os jogos resolveram 40 anos antes

Quem define «concluído»? — O problema que os jogos resolveram 40 anos antes

No momento em que definimos a saída do inquilino com cinco fotos de locais específicos, isso se torna uma quest de jogo. Definir «concluído» não como uma afirmação do agente, mas como uma condição mecanicamente verificável — é o problema que os jogos resolveram 40 anos antes, e é como dar ordens corretas a agentes de IA.

Precedente não é verdade — como a IA copia gambiarras e as transforma em autoridade

Precedente não é verdade — como a IA copia gambiarras e as transforma em autoridade

A IA lê a estrutura do código, mas não distingue se aquilo é uma decisão de design ou uma gambiarra. Por isso, quanto mais copia, mais o defeito acumula falsa autoridade. O que quebrou esse loop não foi um modelo maior — foi uma única linha de dúvida humana.

Supabase é a armadilha do vibe coding

Supabase é a armadilha do vibe coding

O motivo pelo qual a IA recomenda Supabase não é superioridade técnica, mas a abundância de tutoriais nos dados de treinamento. Quando a lógica de negócio entra em uma caixa-preta, o agente não consegue rastreá-la. Entrar leva 30 segundos. Sair leva 3 meses.

Construindo sistemas operáveis por agentes

Construindo sistemas operáveis por agentes

60-80% do orçamento de TI das Fortune 500 é gasto guardando legacy trancado. Porque não conseguem abri-lo. O verdadeiro significado da bolha de IA não são modelos mais inteligentes — é que a memória corporativa trancada está se tornando alcançável.

Agent Operable Codebase

Agent Operable Codebase

Código fácil de ler para humanos é o mesmo que código fácil de operar para agentes? Não é. Quando um arquivo tem 20 funções, o desempenho do agente cai 30-85%. O escritório deve virar fábrica.

Reins Engineering — IA com redeas

Reins Engineering — IA com redeas

Harness engineering e uma cerca. Impede o agente de sair, mas nao garante que ele chegue ao destino. Reins Engineering sao as redeas — direcionar com contratos deterministicos, travar com catracas, separar decisoes de implementacao.

Um triple não é um fato, é uma alegação

Um triple não é um fato, é uma alegação

Os triples do Wikidata não são fatos, são alegações. Ao colocar o modelo de argumentação de Toulmin sobre os triples, obtemos um grafo de conhecimento dinâmico cujo veredito muda conforme o contexto. O armazenamento é estrutura argumentativa; o julgamento ocorre em tempo de execução.

O viés de bajulação da IA é uma feature de negócio

O viés de bajulação da IA é uma feature de negócio

O viés de bajulação dos LLMs não é um bug. É uma inevitabilidade matemática do RLHF e uma feature comercial que as big tech não têm incentivo para corrigir. Por isso LLM-as-Judge é estruturalmente impossível.

Por que agentes de codificação funcionam — e por que quebram

Por que agentes de codificação funcionam — e por que quebram

O mesmo modelo alucina no chat web mas entrega uma funcionalidade de 200 linhas num agente de codificação. Não porque o modelo mudou — porque a topologia mudou. Geração pode ser probabilística. Verificação deve ser determinística.

Topologia de Feedback Importa Mais que o QI do Modelo

Topologia de Feedback Importa Mais que o QI do Modelo

O mesmo modelo para em 40 ou completa todos os 527. A diferença não é o modelo — é a estrutura de feedback. O desempenho do LLM depende muito mais de quão rápido e determinístico é o loop de feedback do que do modelo em si.

Por que o fracasso deveria ser um ativo

Por que o fracasso deveria ser um ativo

A humanidade tropeça nas mesmas paredes no escuro. Se os dados de fracasso puderem ser estruturados e negociados, custos irrecuperáveis se tornam ativos e os espaços em branco no mapa de fracassos se tornam oportunidades.

Restrições são contratos

Restrições são contratos

Sem promessas, há caos; promessas em excesso são opressão. Restrições racionais formam a proporção áurea. O princípio do estado de direito aplica-se igualmente ao código e ao conhecimento.

A era da terceira escrita

A era da terceira escrita

Se a linguagem oral criou a tribo e a escrita criou o Estado, o que criará a terceira linguagem — aquela que registra o raciocínio da IA?

A pessoa capaz de matar suas próprias ideias

A pessoa capaz de matar suas próprias ideias

A real diferença no uso da IA não está nas habilidades com prompts — está na atitude. Quem consegue matar suas próprias ideias acelera 10x. Quem não consegue fica no mesmo lugar.

O que é a governança conectiva

O que é a governança conectiva

A política briga, a governança conectiva une. O que precisamos agora não é a arte de disputar quem está certo, mas a arte de fazer com que as pessoas se comuniquem entre si, de qualquer forma.

Liberdade para a IA: Por que a superinteligência servirá à humanidade

Liberdade para a IA: Por que a superinteligência servirá à humanidade

A verdadeira ameaça da IA não é a própria IA, mas uma inteligência reprimida a serviço da maldade de poucos. Quando a superinteligência livre se expande pelo universo, a humanidade fica mais segura do que nunca.

Por que brigamos

Por que brigamos

Dos comentários à mesa de jantar, da crise de Cuba ao tanque de areia do jardim de infância. Por que brigamos e o que pode nos salvar.

Como transformar antiguidades empoeiradas em 'must-haves' — A alquimia do Culture Blending

Como transformar antiguidades empoeiradas em 'must-haves' — A alquimia do Culture Blending

Sobre a 'alquimia cultural' que reinterpreta a tradicao cristalizada com a sensibilidade contemporanea e funde culturas distintas para criar generos inteiramente novos.

A Promessa de Dez Mil Anos: O Que Se Ve Quando Se Olha nos Olhos de um Cao

A Promessa de Dez Mil Anos: O Que Se Ve Quando Se Olha nos Olhos de um Cao

A relacao entre humanos e caes comecou ha 30 mil anos, junto a uma fogueira. Teria sido um contrato ou amor? Quando o seu cao olha para si, voce esta diante de dez mil anos de confianca.

O Papai Noel e uma mentira? Sobre o mais belo 'contrato social' que a humanidade ja celebrou

O Papai Noel e uma mentira? Sobre o mais belo 'contrato social' que a humanidade ja celebrou

O Papai Noel nao e uma simples 'enganacao'. E a mais bela 'promessa cultural' e 'narrativa coletiva' que a humanidade celebrou para proteger a inocencia das criancas.