design-by-contract

3 posts

La pila de seguridad para AI: types, contracts, property tests y mutation gates

Si quieres que el código generado con AI sobreviva en producción, code review no basta. Necesitas una pila por capas desde type constraints hasta mutation testing y runtime containment.

Lo peligroso del código generado con AI no es que siempre esté mal. Lo peligroso es que a menudo parece lo bastante correcto como para hacer merge. Ahí está el…

Por qué las grandes ideas de ingeniería siguieron siendo de nicho hasta que la AI las volvió viables

Design by contract, property-based testing, mutation testing y model checking no eran malas ideas. Exigían demasiada experiencia especializada para sostenerlas. La AI cambia esa ecuación.

La ingeniería de software está llena de ideas que parecen obviamente correctas en cuanto las lees. Claro que los contracts deberían definir qué puede aceptar y…