@uncanny_kate We have mountains of academic evidence that using the right tools like formal methods and validation produces software just as fast as the current "throw shit at the wall" model of software design. It doesn't need to be a slow software movement, more of a "we invented the ebike for software, why are you still running up hills" model.