Comment by whattheheckheck
15 hours ago
A spec should use orthodox tools and formats for higher level system descriptions. Like a BPMN file, a TLA+ state machine model, a P/ModP or Event B system.
Llms compile that into a binary and you deploy it and present it and users use it and they're happy or not.
There's just so many different projections of how to describe a system. What's the moat bang for the buck.
formal methods like TLA+/BPMN describe system behavior, while the specs document individual changes. these complement each other rather than competing from my point of view.
but yes, it would be great to able to have such kind of formal description. code is not standardized enough for that (by now)