Have we finally developed the Z notation (https://t.co/JGRNx8F2eQ) by prompt manipulation to #LLM-based tools? #UML (but does not suck as bad)? I would argue “no” – because the problem has *never* been the *coding* The problem is *verifying* that the code does what it is https://t.co/XwHgTs153a — Mɐɹɹǝu Wʎǝɹs (@warrenmyers) Jan 31, 2026 from Twitter …
Continue reading Have we finally developed the Z notation (https://t.co/JGRNx8F2eQ) by prompt manipulation to #LLM-based tools?
#UML (but does not suck as bad)?
I would argue “no” – because the problem has *never* been the *coding*
The problem is *verifying* that the code does what it is https://t.co/XwHgTs153a