LLMs can drive down the costs of diagramming or modeling. Above, I wrote about the work to build models, and that really is changing. The change is unevenly distributed, and its impact is hard to see right now, but overarchingly, I think we’re going to move from diagrams to models as the cost of those models drops, enabling deeper, model-centered system analysis. But we won’t stop there. There’s already work in model-driven system construction, and it’s not limited to security. It offers a route to generally better code, because it offers us ways to specify and build systems with a larger number of more predictable properties. (7/9)