I want tools to express software architecture & design. Mermaid isn't it.
Where's my verifiable UML-but-with-better-tooling?
Feels like we dropped formalism as software dev became easier & cheaper and now, when formalism is imoortant again, we lack the language, training, and tools for it.