3 posts
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.
Toda vez que sua API recebe uma requisição, você a valida. Toda vez que uma função recebe um argumento de um sistema externo, você o verifica. Faça isso…
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.
O aspecto mais perigoso do código gerado por AI não é ele estar sempre errado. O mais perigoso é que muitas vezes ele parece correto o suficiente para ser…
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.
Software engineering está cheio de ideias que parecem obviamente corretas assim que você as lê. Claro que contracts deveriam definir o que uma função pode…