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

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 https://twitter.com/warrenmyers

January 31, 2026 at 11:09AM
via IFTTT