Explorando desenvolvimento AI-first, guardrails de código e a arquitetura da descartabilidade.https://autotomy.dev/pthttps://autotomy.dev/pt/blog/git-bisect-binary-search-commit/https://autotomy.dev/pt/blog/git-bisect-binary-search-commit/Git bisect transforma uma caçada manual de commits em uma busca binária automatizada. Veja como encontrar o commit exato que introduziu um bug sem fazer checkout de cada um deles.Tue, 25 Aug 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/production-crash-capture-replay/https://autotomy.dev/pt/blog/production-crash-capture-replay/Stack traces te dizem onde um crash aconteceu, não o que o causou. Aqui está um padrão de captura e replay que transforma crashes de produção em casos de teste locais que você pode realmente debugar.Mon, 24 Aug 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/symbolic-execution-integer-overflow-coverage/https://autotomy.dev/pt/blog/symbolic-execution-integer-overflow-coverage/Seus unit tests verificam entradas específicas. A execução simbólica verifica todas as entradas possíveis. Veja como funciona, o que custa e por onde começar.Sun, 23 Aug 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/pii-tracking-code-pipeline/https://autotomy.dev/pt/blog/pii-tracking-code-pipeline/A maioria das equipes descobre vazamentos de PII depois de uma reclamação de cliente. Veja como rastrear dados sensíveis desde a ingestão até a saída, com exemplos de código que você pode usar hoje.Sat, 22 Aug 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/api-contract-testing-ci/https://autotomy.dev/pt/blog/api-contract-testing-ci/A maioria dos pipelines de CI captura erros de sintaxe e bugs de lógica. Eles deixam passar as quebras de contract da API que realmente derrubam a produção. Veja como corrigir isso.Fri, 21 Aug 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/crash-correlation-triangulation/https://autotomy.dev/pt/blog/crash-correlation-triangulation/O statistical debugging encontra predicados correlacionados com crashes, mas correlação não é um arquivo e número de linha. Veja como classificar, filtrar e triangular seu caminho de um escore de correlação para uma localização real de bug.Thu, 20 Aug 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/sentry-seer-trace-root-cause/https://autotomy.dev/pt/blog/sentry-seer-trace-root-cause/O Seer consome trace trees, erros conectados e dados de profiling para diagnosticar problemas distribuídos. Veja como ele realmente funciona, onde se destaca e onde ainda precisa de ajuda humana.Wed, 19 Aug 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/statistical-debugging-adoption-challenges/https://autotomy.dev/pt/blog/statistical-debugging-adoption-challenges/O statistical debugging prometia identificar bugs correlacionando comportamento do programa com falhas. Veja por que a ideia nunca cruzou de artigos de pesquisa para sistemas de produção.Tue, 18 Aug 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/statistical-debugging-production-data-anomalies/https://autotomy.dev/pt/blog/statistical-debugging-production-data-anomalies/O statistical debugging trata seus dados de produção como um sinal e bugs como anomalias nesse sinal. Veja como encontrar corrupção de dados, erros off-by-one e falhas silenciosas sem adicionar um único unit test.Mon, 17 Aug 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/metamorphic-testing-production-bugs-compiler/https://autotomy.dev/pt/blog/metamorphic-testing-production-bugs-compiler/O metamorphic testing descobriu bugs reais no GCC, no LLVM, em compilers de shaders Vulkan e em simuladores de ADAS. Este post explica a técnica com código funcional e mostra onde ela se encaixa na sua test suite.Sun, 16 Aug 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/llm-metamorphic-relations-brainstorming/https://autotomy.dev/pt/blog/llm-metamorphic-relations-brainstorming/Large language models são parceiros de brainstorming decentes para descobrir test oracles, mas eles alucinam propriedades e perdem restrições de domínio. Veja como usá-los sem entregar testes falsos.Sat, 15 Aug 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/metamorphic-relation-quality/https://autotomy.dev/pt/blog/metamorphic-relation-quality/Nem todas as metamorphic relations capturam bugs. Relations fracas dão falsa confiança enquanto as fortes encontram falhas reais. Veja como distinguir a diferença e construir um conjunto de relations que realmente funcione.Fri, 14 Aug 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/metamorphic-testing-oracle-problem/https://autotomy.dev/pt/blog/metamorphic-testing-oracle-problem/O metamorphic testing permite que você verifique a correção do código sem saber a saída esperada exata. Veja como funciona, quando falha e como começar a usá-lo.Thu, 13 Aug 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/typescript-phantom-types-protocol-state/https://autotomy.dev/pt/blog/typescript-phantom-types-protocol-state/Como usar phantom types e parâmetros `this` para transformar transições ilegais de protocol em erros de compilação em vez de bugs em runtime.Wed, 12 Aug 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/openapi-session-types-protocol-gap/https://autotomy.dev/pt/blog/openapi-session-types-protocol-gap/As especificações OpenAPI descrevem schemas de requisição e resposta, mas não especificam sequências válidas de mensagens. Veja como extrair o que é possível e onde você ainda precisa preencher as lacunas.Tue, 11 Aug 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/session-types-research-to-production/https://autotomy.dev/pt/blog/session-types-research-to-production/Tipos de sessão codificam protocols de comunicação no sistema de tipos, transformando erros de protocol em tempo de execução em falhas em tempo de compilação. Veja por que passaram trinta anos em artigos de pesquisa antes do código de produção poder usá-los.Mon, 10 Aug 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/session-types-deadlock-compiler-errors/https://autotomy.dev/pt/blog/session-types-deadlock-compiler-errors/Tipos de sessão codificam protocols de comunicação no seu sistema de tipos, transformando incompatibilidades de passagem de mensagens em erros de compiler antes que seu código execute.Sun, 09 Aug 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/infer-abstract-interpretation-ci/https://autotomy.dev/pt/blog/infer-abstract-interpretation-ci/Como executar análise estática formal no seu pipeline de CI usando Infer, com configs funcionais e trade-offs realistas.Sat, 08 Aug 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/llm-static-analysis-triage/https://autotomy.dev/pt/blog/llm-static-analysis-triage/Large language models podem ajudar a triar falsos positivos de análise estática, mas não entendem a semântica do programa como faz a interpretação abstrata. Veja como combinar ambos.Fri, 07 Aug 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/facebook-android-abstract-interpretation-races/https://autotomy.dev/pt/blog/facebook-android-abstract-interpretation-races/Como o Facebook usou interpretação abstrata e insoundness intencional para encontrar race conditions em escala em milhões de linhas de código Android.Thu, 06 Aug 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/meta-infer-100000-bugs-static-analysis/https://autotomy.dev/pt/blog/meta-infer-100000-bugs-static-analysis/O Infer da Meta usa interpretação abstrata e bi-abdução para encontrar desreferências nulas, vazamentos de memória e race conditions ao raciocinar sobre a estrutura do código, não sobre sua execução. Veja como funciona e como usá-lo em sua própria codebase.Wed, 05 Aug 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/static-analysis-aviation-abstract-interpretation/https://autotomy.dev/pt/blog/static-analysis-aviation-abstract-interpretation/A interpretação abstrata superaproxima todo estado possível do programa. Se uma divisão por zero é inalcançável na abstração, ela é inalcançável no código real. Veja como funciona e onde deixa de funcionar.Tue, 04 Aug 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/abstract-interpretation-runtime-error-proof/https://autotomy.dev/pt/blog/abstract-interpretation-runtime-error-proof/A interpretação abstrata permite provar que erros de execução são impossíveis antes da execução. Veja como ela funciona na prática, por que é difícil e onde se encaixa na sua cadeia de ferramentas.Mon, 03 Aug 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/cheri-c-porting-hybrid-abi/https://autotomy.dev/pt/blog/cheri-c-porting-hybrid-abi/O ABI híbrido do CHERI permite que você porte código em C para hardware com capabilities de forma incremental. Veja como compilar, o que quebra e como corrigir sem rewrite toda a sua codebase.Sun, 02 Aug 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/capability-hardware-cheri-history/https://autotomy.dev/pt/blog/capability-hardware-cheri-history/A segurança de memória no nível de hardware é possível desde os anos 1970. Aqui está o porquê de as arquiteturas de capabilities terem perdido repetidamente para os modelos de memória plana, e por que o CHERI está finalmente mudando a conta.Sat, 01 Aug 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/c-library-wasm-sandbox/https://autotomy.dev/pt/blog/c-library-wasm-sandbox/Containers são exagerados para isolar uma única biblioteca C. Compile-a para WebAssembly e execute-a dentro de um sandbox WASI para memory safety, acesso ao filesystem baseado em capabilities e contenção de crashes sem Docker.Fri, 31 Jul 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/mobile-memory-tagging-extension/https://autotomy.dev/pt/blog/mobile-memory-tagging-extension/ARM Memory Tagging Extension e GWP-ASan tornam possível a detecção de segurança de memória em produção em dispositivos móveis modernos. Veja como funcionam e quais são as compensações.Thu, 30 Jul 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/cheri-hardware-buffer-overflow-prevention/https://autotomy.dev/pt/blog/cheri-hardware-buffer-overflow-prevention/CHERI é uma extensão de hardware que transforma cada pointer em uma bounded capability. Veja como ela impede buffer overflows no nível da CPU, o que custa e como testá-la em hardware real.Wed, 29 Jul 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/llm-cleanroom-proof-obligation-automation/https://autotomy.dev/pt/blog/llm-cleanroom-proof-obligation-automation/A verificação Cleanroom exige gerar e descarregar obrigações de prova. Veja como os LLMs automatizam a anotação e a geração de VC para que você possa se concentrar nas provas realmente difíceis.Tue, 28 Jul 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/cleanroom-pragmatic-subset/https://autotomy.dev/pt/blog/cleanroom-pragmatic-subset/A engenharia de software Cleanroom reduz as taxas de defeitos em 100×, mas a adoção completa exige equipes de teste separadas e provas formais. Aqui está um subconjunto pragmático que captura a maior parte do benefício sem o overhead.Mon, 27 Jul 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/ibm-cleanroom-zero-defects-disappearance/https://autotomy.dev/pt/blog/ibm-cleanroom-zero-defects-disappearance/O Cleanroom engineering da IBM alcançou taxas de defeito 100 vezes melhores que a média da indústria, depois desapareceu na obscuridade. O desaparecimento não teve nada a ver com se funcionava.Sun, 26 Jul 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/ibm-cleanroom-10000-lines-zero-defects/https://autotomy.dev/pt/blog/ibm-cleanroom-10000-lines-zero-defects/Cleanroom software engineering prometeu incrementos zero-defect através de mathematical verification em vez de debugging. Analisamos os dados reais do projeto da IBM para ver se a afirmação se sustentou.Sat, 25 Jul 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/cleanroom-box-structure-three-layers/https://autotomy.dev/pt/blog/cleanroom-box-structure-three-layers/As Box Structures obrigam você a definir o que um module faz, o que ele lembra e como funciona como três camadas separadas e verificáveis. Veja como o Cleanroom as usa para eliminar o debugging.Fri, 24 Jul 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/ibm-cleanroom-01-defects-per-kloc/https://autotomy.dev/pt/blog/ibm-cleanroom-01-defects-per-kloc/O processo de engenharia Cleanroom da IBM alcancou taxas de defeito 100 vezes melhores que a media da industria ao prevenir bugs em vez de encontra-los. Veja como funcionava, porque quase ninguem o usa e o que voce pode aproveitar dele hoje.Thu, 23 Jul 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/ci-literate-programming-tangle/https://autotomy.dev/pt/blog/ci-literate-programming-tangle/A programação literária promete uma única fonte de verdade, mas os passos manuais de weave e tangle partem a pipeline CI/CD. Eis como automatizar a extração e geração de documentação para que os teus ficheiros Markdown permaneçam canónicos.Wed, 22 Jul 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/llm-rubber-ducking-bug-rate/https://autotomy.dev/pt/blog/llm-rubber-ducking-bug-rate/Passei 30 dias escrevendo explicações de design antes de pedir código a um LLM. Os resultados mudaram como penso sobre rubber-ducking.Tue, 21 Jul 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/literate-programming-markdown-python/https://autotomy.dev/pt/blog/literate-programming-markdown-python/A programação literária mantém a documentação, os testes e a implementação sincronizados ao tornar um ficheiro Markdown a única fonte de verdade. Eis como implementá-la em trinta linhas de Python.Mon, 20 Jul 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/claude-thread-to-documentation/https://autotomy.dev/pt/blog/claude-thread-to-documentation/Conversas com LLM contêm intenção, alternativas rejeitadas e código funcional. É exatamente isso que a documentação deveria ser. Veja como transformar um chat efêmero em documentos duráveis e pesquisáveis sem perder a narrativa.Sun, 19 Jul 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/structured-editing-ast-text-editors/https://autotomy.dev/pt/blog/structured-editing-ast-text-editors/Todo compiler vê seu código como uma árvore, mas seu editor te deixa editar texto bruto. É assim que a edição estruturada realmente se parece, por que não dominou e como aproveitar seus benefícios sem trocar de ferramentas.Sat, 18 Jul 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/knuth-literate-programming-history/https://autotomy.dev/pt/blog/knuth-literate-programming-history/A programação literária prometia que o código deveria ser escrito primeiro para humanos e depois para máquinas. Quatro décadas depois, quase ninguém escreve assim. Veja por que a ideia mais elegante da documentação de software não conseguiu mudar a forma como trabalhamos.Fri, 17 Jul 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/fagan-causal-analysis-defects/https://autotomy.dev/pt/blog/fagan-causal-analysis-defects/A maioria dos times corrige defeitos e segue em frente. Os mesmos defeitos voltam. Aqui está como executar análise causal dentro de uma inspeção Fagan para parar de escrever o mesmo bug duas vezes.Thu, 16 Jul 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/pr-reviews-catch-15-to-30-percent-defects/https://autotomy.dev/pt/blog/pr-reviews-catch-15-to-30-percent-defects/Múltiplos estudos na IBM, AT&T, HP e Microsoft confirmam que a revisão informal de código captura aproximadamente um quarto dos defeitos. Aqui está o que os dados realmente dizem, por que o número é tão baixo e como corrigi-lo.Wed, 15 Jul 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/fagan-structured-checklist-defect-detection/https://autotomy.dev/pt/blog/fagan-structured-checklist-defect-detection/A maioria dos checklists de revisão são listas copiadas e coladas de boas intenções. Um checklist estruturado no estilo Fagan inspection é construído a partir de dados reais de defeitos, direcionado a tipos específicos de artefatos e usado durante a preparação individual. Veja como construir um que funcione.Tue, 14 Jul 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/llm-fagan-inspection-preparation/https://autotomy.dev/pt/blog/llm-fagan-inspection-preparation/Inspeções Fagan precisam de quatro a seis pessoas e duas horas para revisar 250 linhas. Um LLM pode cortar esse custo ao cuidar da preparação e da aplicação de checklist, mas não pode substituir os papéis humanos que encontram os defeitos mais caros.Mon, 13 Jul 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/fagan-inspections-disappearance-ibm/https://autotomy.dev/pt/blog/fagan-inspections-disappearance-ibm/O processo de revisão estruturado de Michael Fagan na IBM capturava quase todos os defeitos antes que chegassem ao compiler. Também consumia 15-20% do esforço total do projeto. Veja por que o método de revisão mais eficaz da história do software desapareceu, e o que as equipes realmente perdem.Sun, 12 Jul 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/fagan-reviewer-defect-detection-variance/https://autotomy.dev/pt/blog/fagan-reviewer-defect-detection-variance/Mesmo engenheiros sênior detectam apenas uma fração dos defeitos em revisões não estruturadas. A pesquisa de Michael Fagan na IBM mostrou por quê, e construiu um processo de inspeção estruturado para corrigir isso.Sat, 11 Jul 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/fagan-inspections-90-percent-defects/https://autotomy.dev/pt/blog/fagan-inspections-90-percent-defects/A revisão de código informal encontra 15-30% dos defeitos. As Fagan inspections, um processo estruturado com 50 anos, relatam consistentemente taxas de remoção de 60-90%. Veja como funcionam, por que as equipes as evitam e como executar uma versão simplificada.Fri, 10 Jul 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/autoverus-llm-rust-verification/https://autotomy.dev/pt/blog/autoverus-llm-rust-verification/AutoVerus utiliza uma rede de agents LLM para gerar proofs de correção Verus para código Rust, automatizando mais de 90% das proof obligations por meio de um loop gerar-reparar-discharge impulsionado pelo feedback do solver SMT.Thu, 09 Jul 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/llm-rust-formal-proofs-hallucination/https://autotomy.dev/pt/blog/llm-rust-formal-proofs-hallucination/Grandes modelos de linguagem escrevem código Rust surpreendentemente bom, mas quando você pede uma prova formal, eles alucinam invariantes e inventam sintaxe que nenhum verificador aceita. Veja o que eles realmente acertam, onde falham e como usá-los mesmo assim.Wed, 08 Jul 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/model-checking-race-conditions/https://autotomy.dev/pt/blog/model-checking-race-conditions/Por que o model checking supera dias de execução em produção para encontrar bugs de concorrência, e como aplicá-lo ao seu próprio código.Tue, 07 Jul 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/is-there-a-model-checker-that-doesnt-require-learning-temporal-logic/https://autotomy.dev/pt/blog/is-there-a-model-checker-that-doesnt-require-learning-temporal-logic/Bounded model checkers como Kani e relational model finders como Alloy permitem verificar propriedades com assertions e constraints ordinários. Você abre mão de provas de liveness por uma curva de aprendizado medida em horas, não em semanas.Mon, 06 Jul 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/rust-model-checking-kani-state-space/https://autotomy.dev/pt/blog/rust-model-checking-kani-state-space/Ferramentas de model checking como Kani permitem verificar propriedades de Rust com assertions em vez de provas formais. O problema é o que acontece quando seus loops não têm limites pequenos.Sun, 05 Jul 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/distributed-protocol-model-checking-tla/https://autotomy.dev/pt/blog/distributed-protocol-model-checking-tla/Bugs distribuídos são caros de corrigir após o deploy. O model checking permite que você os encontre antes de escrever uma única linha de código de implementação. Veja como fazer isso com TLA+.Sat, 04 Jul 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/infrastructure-config-dsl-per-context/https://autotomy.dev/pt/blog/infrastructure-config-dsl-per-context/Como equipes de infraestrutura gerenciam configuração entre dev, staging e production usando DSLs por contexto que tornam as diferenças entre ambientes explícitas e com segurança de tipos.Fri, 03 Jul 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/grammar-constrained-decoding-llm/https://autotomy.dev/pt/blog/grammar-constrained-decoding-llm/LLMs alucinam sintaxe porque fazem sampling de tokens probabilisticamente. O grammar-constrained decoding filtra o vocabulário a cada passo para que apenas tokens que preservem a validade sintática sejam emitidos.Thu, 02 Jul 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/english-to-theme-deterministic-design-tokens/https://autotomy.dev/pt/blog/english-to-theme-deterministic-design-tokens/Você pode gerar design tokens a partir de descrições simples em inglês, mas apenas se tratar a descrição como uma DSL de contexto delimitado com contrato de schema e snapshot tests.Wed, 01 Jul 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/typescript-parser-combinators-dsl/https://autotomy.dev/pt/blog/typescript-parser-combinators-dsl/Os geradores de parsers são excessivos para a maioria das DSLs de contexto limitado. Os combinadores de parsers permitem-te construir um parser funcional na mesma linguagem da tua aplicação, sem código gerado e sem passos de build.Tue, 30 Jun 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/config-validation-build-time/https://autotomy.dev/pt/blog/config-validation-build-time/Como capturar erros de configuração antes que sua aplicação comece a servir tráfego, usando validação de schemas e verificações em tempo de build.Mon, 29 Jun 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/javascript-capability-security-lockdown/https://autotomy.dev/pt/blog/javascript-capability-security-lockdown/Autoridade ambiente significa que qualquer código no seu processo Node.js pode tocar o sistema de arquivos, a rede e o ambiente. Veja como removê-la com lockdown, compartments e passagem explícita de capabilities.Sun, 28 Jun 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/service-authentication-without-ambient-authority/https://autotomy.dev/pt/blog/service-authentication-without-ambient-authority/A maior parte da confiança entre serviços vem da localização na rede, não de prova criptográfica. Veja como capabilities, mTLS e SPIFFE permitem que serviços se autentiquem sem autoridade ambiente, e por que isso é mais difícil do que deveria.Sat, 27 Jun 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/rust-cap-std-capability-filesystem/https://autotomy.dev/pt/blog/rust-cap-std-capability-filesystem/A biblioteca padrão do Rust concede autoridade de sistema de arquivos ambiente a toda dependência. cap-std a substitui por APIs baseadas em capabilities que forçam o código a provar que tem direito de acessar um caminho antes de abri-lo.Fri, 26 Jun 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/whats-a-confused-deputy-attack-and-how-do-i-prevent-it/https://autotomy.dev/pt/blog/whats-a-confused-deputy-attack-and-how-do-i-prevent-it/Um ataque confused deputy engana um serviço privilegiado a usar sua própria autoridade contra si mesmo. Veja como atacantes exploram a confiança implícita, e por que a capability-based security é a solução.Thu, 25 Jun 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/typescript-capability-based-security/https://autotomy.dev/pt/blog/typescript-capability-based-security/Capability-based security substitui verificações de role dispersas por unforgeable tokens de autoridade. Veja como implementá-la em TypeScript sem tornar seu código ilegível.Wed, 24 Jun 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/capability-based-security-permissions/https://autotomy.dev/pt/blog/capability-based-security-permissions/A maioria do código roda com autoridade ambiente: cada função pode tocar em tudo. A segurança baseada em capabilities inverte esse modelo ao forçar funções a receber permissões explícitas e limitadas.Tue, 23 Jun 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/should-i-stop-throwing-errors-and-start-returning-them/https://autotomy.dev/pt/blog/should-i-stop-throwing-errors-and-start-returning-them/Exceções lançadas escondem caminhos de falha do seu sistema de tipos. Veja por que retornos de erro explícitos tornam seu código mais honesto, e como adotá-los sem odiar sua vida.Mon, 22 Jun 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/rust-newtypes-zero-cost-safety/https://autotomy.dev/pt/blog/rust-newtypes-zero-cost-safety/Uma struct wrapper de campo único captura bugs de mistura de unidades e confusão de tipos sem adicionar um único byte de overhead.Sun, 21 Jun 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/is-there-a-better-way-than-switch-statements-for-type-safe-matching/https://autotomy.dev/pt/blog/is-there-a-better-way-than-switch-statements-for-type-safe-matching/Switch statements do TypeScript deixam você esquecer casos silenciosamente. Veja como substituí-los por patterns com verificação de exhaustividade que quebram o build em vez do runtime.Sat, 20 Jun 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/typescript-exhaustiveness-state-machines/https://autotomy.dev/pt/blog/typescript-exhaustiveness-state-machines/Adicionar um novo estado à sua máquina é fácil. Lembrar-se de atualizar todos os switch statements não é. Veja como fazer o TypeScript recusar a compilação quando se esquece de um caso.Fri, 19 Jun 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/typescript-currency-types/https://autotomy.dev/pt/blog/typescript-currency-types/O TypeScript trata todos os números como idênticos. Veja como ensiná-lo a distinguir USD de EUR para que o compilador capture bugs de conversão de moeda antes que eles cheguem à produção.Thu, 18 Jun 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/typescript-unit-types-compile-time/https://autotomy.dev/pt/blog/typescript-unit-types-compile-time/Passar milliseconds onde seconds eram esperados é um bug que passa em todos os testes. Veja como codificar unidades diretamente no sistema de tipos do TypeScript para que confusões falhem em tempo de compilação com zero custo em runtime.Wed, 17 Jun 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/typescript-branded-types-newtypes/https://autotomy.dev/pt/blog/typescript-branded-types-newtypes/Type aliases não criam tipos distintos em TypeScript. Branded types criam, e podem te salvar de misturar identifiers em tempo de compilação.Tue, 16 Jun 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/differential-testing-common-mode-failures/https://autotomy.dev/pt/blog/differential-testing-common-mode-failures/Differential testing permite encontrar bugs sem saber a resposta correta. O problema é que erros correlacionados parecem concordância. Veja como identificar os pontos cegos.Mon, 15 Jun 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/function-equivalence-smt-solvers/https://autotomy.dev/pt/blog/function-equivalence-smt-solvers/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.Sun, 14 Jun 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/llm-variant-disagreement-resolution/https://autotomy.dev/pt/blog/llm-variant-disagreement-resolution/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.Sat, 13 Jun 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/n-version-implementation-selection/https://autotomy.dev/pt/blog/n-version-implementation-selection/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'.Fri, 12 Jun 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/llm-n-version-diverse-implementations/https://autotomy.dev/pt/blog/llm-n-version-diverse-implementations/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.Thu, 11 Jun 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/nasa-n-version-programming-knight-leveson/https://autotomy.dev/pt/blog/nasa-n-version-programming-knight-leveson/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.Wed, 10 Jun 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/cucumber-skipped-scenarios-diagnosis/https://autotomy.dev/pt/blog/cucumber-skipped-scenarios-diagnosis/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.Tue, 09 Jun 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/gherkin-specs-automated-sync/https://autotomy.dev/pt/blog/gherkin-specs-automated-sync/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.Mon, 08 Jun 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/architecture-tests-ci-enforcement/https://autotomy.dev/pt/blog/architecture-tests-ci-enforcement/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.Sun, 07 Jun 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/clean-architecture-domain-infrastructure-ci/https://autotomy.dev/pt/blog/clean-architecture-domain-infrastructure-ci/Diagramas de clean architecture ficam ótimos em um quadro branco. Veja como fazer seu pipeline de build impor a direção das dependências para que o código de domínio não possa alcançar a infraestrutura.Sat, 06 Jun 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/architecture-docs-code-generated-diagrams/https://autotomy.dev/pt/blog/architecture-docs-code-generated-diagrams/A documentação de arquitetura apodrece no momento em que a guardas. Eis como manter os docs honestos usando diagramas gerados a partir de código, ADRs e testes de arquitetura automatizados.Fri, 05 Jun 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/idempotency-keys-api-retries/https://autotomy.dev/pt/blog/idempotency-keys-api-retries/Um timeout ou crash não significa que sua requisição de API foi perdida. Veja como idempotency keys tornam retries seguros, e o padrão de armazenamento que realmente previne duplicatas.Thu, 04 Jun 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/distributed-leases-fencing-tokens/https://autotomy.dev/pt/blog/distributed-leases-fencing-tokens/Mutexes em memória desaparecem quando seu servidor reinicia. Veja como leases distribuídos com fencing tokens e TTLs previnem trabalho duplicado entre crashes, e onde eles ainda falham.Wed, 03 Jun 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/circuit-breaker-lazy-recovery-no-goroutines/https://autotomy.dev/pt/blog/circuit-breaker-lazy-recovery-no-goroutines/A maioria das bibliotecas de circuit breaker cria threads em background para fazer probe de recuperação. Você não precisa delas. Aqui está um design orientado a requests que elimina todo o overhead em background sem sacrificar a corretude.Tue, 02 Jun 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/crash-only-software-web-services/https://autotomy.dev/pt/blog/crash-only-software-web-services/Software crash-only trata toda falha como um crash e toda inicialização como uma recuperação. Para serviços web, isso significa deletar sua lógica de encerramento e projetar estado que sobreviva a um kill -9.Mon, 01 Jun 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/killing-surviving-mutants/https://autotomy.dev/pt/blog/killing-surviving-mutants/O mutation testing encontrou um sobrevivente e você não faz ideia do que a mutação faz. Aqui está um método passo a passo para escrever o teste certo sem primeiro entender o mutante.Sun, 31 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/mutation-score-per-module-risk/https://autotomy.dev/pt/blog/mutation-score-per-module-risk/Por que impor uma única pontuação de mutação em toda a sua base de código é um erro, e como definir limites por module que correspondam ao risco real.Sat, 30 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/my-tests-pass-but-my-mutation-score-is-40-whats-a-surviving-mutant/https://autotomy.dev/pt/blog/my-tests-pass-but-my-mutation-score-is-40-whats-a-surviving-mutant/O code coverage diz que você está seguro. O mutation testing diz que seus testes são, em sua maioria, decoração. Veja como mutantes sobreviventes expõem a lacuna e como fechá-la.Fri, 29 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/rust-mutation-testing-cargo-mutants/https://autotomy.dev/pt/blog/rust-mutation-testing-cargo-mutants/cargo-mutants encontra os testes que apenas fingem verificar seu código. Veja como mutation testing funciona para Rust, o que ele captura e se o custo de tempo de compilação vale a pena.Thu, 28 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/ai-coding-validation-spectrum-backend-web-mobile/https://autotomy.dev/pt/blog/ai-coding-validation-spectrum-backend-web-mobile/Codificação com IA segue gradiente de validação: backend em milissegundos, web em minutos, mobile em horas. O ciclo de feedback determina onde ela funciona.Wed, 27 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/monkey-machine-gun-aimbot/https://autotomy.dev/pt/blog/monkey-machine-gun-aimbot/Governança de código com AI não é tirar ferramentas de juniores e agentes. É instalar guardrails para cada disparo acertar o alvo sem dano colateral.Wed, 27 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/mutation-testing-takes-4-hours-how-do-teams-actually-use-it-in-ci/https://autotomy.dev/pt/blog/mutation-testing-takes-4-hours-how-do-teams-actually-use-it-in-ci/A maioria dos times não executa suites completas de mutation testing a cada commit. Veja como os times de engenharia integram mutation testing em CI sem quebrar o pipeline de build.Wed, 27 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/database-persistence-testing-mocks/https://autotomy.dev/pt/blog/database-persistence-testing-mocks/Testes mockados de banco de dados verificam sua sintaxe SQL, não se as rows sobrevivem a crashes, escritas concorrentes, ou incompatibilidades de schema. Veja como testar persistência de verdade.Tue, 26 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/fear-vs-steamroll-ai-coding-divide/https://autotomy.dev/pt/blog/fear-vs-steamroll-ai-coding-divide/AI coding funciona para equipes de elite que se recuperam de qualquer bagunça. Todo mundo fica com medo, CI falhando e experimentos abandonados. A lacuna não está no modelo.Tue, 26 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/redux-testing-real-state-transitions/https://autotomy.dev/pt/blog/redux-testing-real-state-transitions/Fazer mock de cada action do Redux transforma seus testes em um validador de changelog. Veja como testar sua store com transições de estado reais.Mon, 25 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/ai-coding-in-production-autotomy-framework/https://autotomy.dev/pt/blog/ai-coding-in-production-autotomy-framework/A maioria das equipes tenta a codificação com IA, entrega código que falha no QA e desiste. O problema não é o modelo — é a ausência de salvaguardas que tornam a saída da IA confiável.Sun, 24 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/property-based-testing-run-count/https://autotomy.dev/pt/blog/property-based-testing-run-count/Os 100 exemplos padrão em testes baseados em propriedades são um compromisso social, não uma estratégia estatística. Veja como escolher uma quantidade de execuções que corresponda às suas necessidades de confiança e ao orçamento de CI.Sun, 24 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/fuck-u-code-deterministic-quality-gate-ai-pipeline/https://autotomy.dev/pt/blog/fuck-u-code-deterministic-quality-gate-ai-pipeline/Você tem type checking, linting e regras de arquitetura. Mas sua pilha determinística é cega para complexidade, duplicação e desastres de nomenclatura. Eis a correção de $0.Sat, 23 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/rust-property-based-testing-quickcheck/https://autotomy.dev/pt/blog/rust-property-based-testing-quickcheck/Testes baseados em exemplos cobrem apenas as entradas que você imaginou. Testes baseados em propriedades geram dados aleatórios, verificam invariantes e reduzem falhas aos contraexemplos mínimos.Sat, 23 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/ai-coding-why-version-one-is-never-the-problem/https://autotomy.dev/pt/blog/ai-coding-why-version-one-is-never-the-problem/Ferramentas de AI coding são excelentes para gerar a primeira versão. O verdadeiro desafio de engenharia começa na versão quatro, quando o time precisa mudar algo sem quebrar todo o resto.Fri, 22 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/ai-generated-code-replaceability-principle/https://autotomy.dev/pt/blog/ai-generated-code-replaceability-principle/A verdadeira medida da qualidade do código gerado por AI não é se ele funciona no primeiro dia. É se você consegue substituí-lo no trigésimo dia sem reescrever todo o resto.Fri, 22 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/deterministic-guardrails-ai-codebases/https://autotomy.dev/pt/blog/deterministic-guardrails-ai-codebases/Revisão humana é inconsistente. Revisão com AI é pior. A única defesa escalável para codebases geradas por AI é enforcement determinístico: regras que falham o build, não sugestões que acabam ignoradas.Fri, 22 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/i-write-unit-tests-why-do-bugs-still-slip-through/https://autotomy.dev/pt/blog/i-write-unit-tests-why-do-bugs-still-slip-through/metrics de code coverage criam uma falsa sensação de segurança. Veja por que testes unitários deixam passar os bugs que realmente custam seu sono, e o que testar em vez disso.Fri, 22 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/rust-zero-cost-runtime-contracts/https://autotomy.dev/pt/blog/rust-zero-cost-runtime-contracts/Rust remove debug assertions automaticamente, mas design-by-contract de verdade precisa de mais do que debug_assert!. Veja como construir contratos de runtime com custo zero que desaparecem do seu binário de release.Thu, 21 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/production-assertion-decision-framework/https://autotomy.dev/pt/blog/production-assertion-decision-framework/Desenvolvedores ou espalham assertions como confete ou as evitam completamente. Aqui está o framework de decisão que separa invariants úteis de gatilhos de crash em produção.Wed, 20 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/declarative-runtime-contracts-validation/https://autotomy.dev/pt/blog/declarative-runtime-contracts-validation/A validação manual incha sua codebase e ainda deixa passar casos de borda. Veja como garantir runtime contracts com schemas declarativos que não atrapalham.Tue, 19 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/typescript-strictnullchecks-runtime-nulls/https://autotomy.dev/pt/blog/typescript-strictnullchecks-runtime-nulls/O modo strict captura os nulls que você escreve, não os nulls que chegam em runtime de APIs, queries no DOM e JSON.parse. É aqui que o sistema de tipos para e suas defesas começam.Mon, 18 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/code-review-becomes-specification-review/https://autotomy.dev/pt/blog/code-review-becomes-specification-review/Quando a IA consegue gerar implementação, testes e contracts a partir de uma especificação, o trabalho humano de maior alavancagem sobe no fluxo. O artefato que mais precisa de escrutínio passa a ser a própria especificação.Sun, 17 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/ai-safety-stack-types-contracts-property-tests-mutation/https://autotomy.dev/pt/blog/ai-safety-stack-types-contracts-property-tests-mutation/Se você quer que código gerado por AI sobreviva em produção, code review sozinho não basta. Você precisa de uma safety stack em camadas, de type constraints até mutation testing e runtime containment.Sat, 16 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/meteor-development-is-real/https://autotomy.dev/pt/blog/meteor-development-is-real/O meme funciona porque muitos times realmente desenvolvem com alvos móveis, prazos fixos e escopo pela metade. Autotomy não corrige o planejamento fantasioso, mas evita que o desenvolvimento pare toda vez que a rota muda.Sat, 16 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/stanford-cs146s-ai-architecture-gap/https://autotomy.dev/pt/blog/stanford-cs146s-ai-architecture-gap/Uma análise crítica de Stanford CS146S: a disciplina acerta ao levar AI coding a sério, mas ainda deixa em aberto a AI architecture necessária para sistemas substituíveis.Sat, 16 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/engineering-ideas-ai-economics/https://autotomy.dev/pt/blog/engineering-ideas-ai-economics/Design by contract, property-based testing, mutation testing e model checking não eram ideias ruins. Exigiam especialização demais para sustentar. A AI muda essa equação.Fri, 15 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/ai-react-native-guardrails-scaling/https://autotomy.dev/pt/blog/ai-react-native-guardrails-scaling/A IA pode colocar seu MVP em React Native no ar muito rápido, mas sem guardrails qualquer pequena mudança pode quebrar fluxos que não têm relação entre si. Veja como restrições declarativas impedem que velocidade vire fragilidade.Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/app-lifecycle-resume-status/https://autotomy.dev/pt/blog/app-lifecycle-resume-status/Seu app funciona no dev, mas os usuários veem uma tela em branco quando voltam depois do almoço. Este é o padrão de resume status que trata o ciclo de vida nativo corretamente.Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/dependency-tiers-hard-soft-optional/https://autotomy.dev/pt/blog/dependency-tiers-hard-soft-optional/Se SDKs opcionais inicializam como infraestrutura core, eles podem derrubar seu app na abertura. Este é o sistema de tiers de dependência que impede ferramentas não críticas de levarem a produção junto.Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/nativewind-vs-stylesheet-contract/https://autotomy.dev/pt/blog/nativewind-vs-stylesheet-contract/Você publicou um MVP em um fim de semana com Cursor, mas agora mudar uma cor quebra 47 arquivos. Este é o contrato de styling que estanca o sangramento.Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/o1-guards-vs-llm-reviews/https://autotomy.dev/pt/blog/o1-guards-vs-llm-reviews/Code review com LLM é não determinístico, lento e deixa passar violações arquiteturais. Esta é a stack de guards O(1) que realmente mantém sua codebase limpa.Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/refactor-by-replacement/https://autotomy.dev/pt/blog/refactor-by-replacement/Refatorar código gerado por IA significa fazer engenharia reversa de uma intenção que nunca foi sua. Este é o padrão de substituição orientado por interfaces que torna exclusões seguras.Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/service-boundaries-composition-root/https://autotomy.dev/pt/blog/service-boundaries-composition-root/Auth gerado por IA parece estável até uma feature nova meter a mão no service errado. Esta é a arquitetura orientada por interfaces que impede trocas de vendor e trabalho de produto de quebrarem o login.Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/url-validation-expo-router/https://autotomy.dev/pt/blog/url-validation-expo-router/Deep links, payloads de push e URLs compartilhadas são input não confiável. Veja como validá-los na fronteira do Expo Router antes que params ruins cheguem às suas telas.Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/pt/blog/useSyncExternalStore-pattern/https://autotomy.dev/pt/blog/useSyncExternalStore-pattern/Pare de escrever subscriptions em useEffect que vazam memória e perdem atualizações de estado. Este é o padrão do React 18 para estado externo realmente robusto.Thu, 14 May 2026 00:00:00 GMT