Por que grandes ideias de engenharia ficaram de nicho até a AI torná-las viáveis
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…