Ideias & Insights · Página 2

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

15 de ago. de 2026

LLMs Podem Sugerir Metamorphic Relations. Eles Simplesmente Não Podem Garanti-las.

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.

14 de ago. de 2026

A Maioria das Metamorphic Relations São Inúteis. Veja Como Escolher as Boas.

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.

metamorphic-testing metamorphic-relations testing oracle-problem

13 de ago. de 2026

Como eu testo código quando não sei a resposta certa?

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.

metamorphic-testing oracle-problem testing ml

12 de ago. de 2026

TypeScript Não Vai Deixar Você Fazer Essa Chamada: Codificando o Estado do protocol no Sistema de Tipos

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.

session-types typescript protocol-state type-systems

11 de ago. de 2026

OpenAPI Te Dá o Alfabeto. Session Types Precisam da Gramática.

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.

session-types openapi protocol-specs api-design

10 de ago. de 2026

Os tipos de sessão funcionam. A maioria das linguagens simplesmente recusou-se a implementá-los.

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.

session-types research adoption type-systems

9 de ago. de 2026

Como os tipos de sessão transformam deadlocks em erros de compiler

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.

session-types deadlocks compile-time protocols

8 de ago. de 2026

Interpretação abstrata soa como um requisito de doutorado. Não é mais.

Como executar análise estática formal no seu pipeline de CI usando Infer, com configs funcionais e trade-offs realistas.

abstract-interpretation ci-cd static-analysis infer

7 de ago. de 2026

LLMs Podem Ordenar Seus Avisos de Análise Estática. Eles Simplesmente Não Podem Explicar Por Quê.

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.

abstract-interpretation llm static-analysis false-positives

6 de ago. de 2026

Facebook paralelizou o Android com interpretação abstrata. Veja como funciona.

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.

abstract-interpretation concurrency android race-conditions