Métodos formales y el futuro de la programación: qué vale la pena probar y dónde está el techo

Formal methods aparece cada tanto en el radar técnico como la solución que la industria ignoró. Mi lectura: el problema que señala es real, pero la receta que circula omite costos que cambian la ecuación.

Raccontata dadev.to