Ideias & Insights · Página 8

Explorando desenvolvimento AI-first, guardrails de código e a arquitetura da descartabilidade.

16 de jun. de 2026

TypeScript me deixou passar um user ID onde um order ID pertencia

Type aliases não criam tipos distintos em TypeScript. Branded types criam, e podem te salvar de misturar identifiers em tempo de compilação.

15 de jun. de 2026

Differential Testing Funciona Sem uma Prova Formal, mas Common-Mode Failures São o Problema

Differential testing permite encontrar bugs sem saber a resposta correta. O problema é que erros correlacionados parecem concordância. Veja como identificar os pontos cegos.

n-version-programming differential-testing formal-methods trust

14 de jun. de 2026

Testes Não Provarão Que Duas Funções São Equivalentes. Veja o Que Vai.

A programação N-version assume que suas implementações concordam. Veja por que os testes não são suficientes, como os solvers SMT podem de fato provar equivalência, e onde traçar a linha entre bom o suficiente e formalmente verificado.

n-version-programming equivalence-testing formal-methods verification

13 de jun. de 2026

E Se Minhas Variantes de LLM Discordarem? Qual Está Certa?

Executar múltiplos LLMs em paralelo captura erros que qualquer modelo individual enviaria com confiança. Aqui está como construir um sistema de resolução de divergências que realmente funciona.

n-version-programming llm differential-testing disagreement-resolution

12 de jun. de 2026

Cinco Implementações e Nenhuma Maioria: Como Escolher a Melhor na Prática

N-version programming parece simples: execute várias implementações e escolha a melhor resposta. Na prática, 'melhor' é muito mais difícil de definir do que 'mais comum'.

n-version-programming implementation-selection differential-testing ai-engineering

11 de jun. de 2026

O Mesmo LLM Pode Escrever Cinco Versões da Sua Função. Veja Como Fazê-las Realmente Diferentes.

Programação N-version com LLMs não requer múltiplos modelos. Você pode extrair implementações diversas e corretas de um único modelo variando prompts, personas e restrições de raciocínio.

n-version-programming llm diverse-implementations ai-engineering

10 de jun. de 2026

A NASA Executou 27 Cópias do Mesmo Programa. Os Bugs Votaram em Bloco.

A programação N-version prometia que equipes independentes cometeriam erros independentes. O experimento de Knight e Leveson em 1986 provou o oposto, e a NASA abandonou a ideia em silêncio.

n-version-programming nasa fault-tolerance software-history

9 de jun. de 2026

Metade dos Seus Cucumber Scenarios Está Skipped. Veja Por Que Esse Status Está Te Enganando.

O status 'skipped' do Cucumber esconde três problemas completamente diferentes. Veja como diagnosticar qual deles está devorando sua test suite, e como detê-lo.

deep-dives cucumber bdd test-maintenance

8 de jun. de 2026

Suas especificações Gherkin estão mentindo para você

Especificações Gherkin saem de sincronia no momento em que você confia em humanos para atualizá-las manualmente. Veja como automatizar as verificações que mantêm os arquivos de feature honestos.

deep-dives gherkin bdd living-documentation

7 de jun. de 2026

Seu compiler Verifica Sintaxe. Seus Testes Deveriam Verificar Arquitetura.

A maioria das equipes documenta regras de arquitetura em wikis. Veja como escrevê-las como testes executáveis que quebram o CI quando seu grafo de dependências se desvia.

deep-dives architecture-testing clean-architecture ci-cd