Formal Methods and the Future of Programming: What's Worth Trying and Where the Ceiling Is

Formal methods keeps surfacing on the technical radar as the solution the industry ignored. My read: the problem it points to is real, but the recipe floating around omits costs that change the equation entirely.