{"id":123419,"date":"2026-01-31T16:13:15","date_gmt":"2026-01-31T16:13:15","guid":{"rendered":"https:\/\/merikebi.warrenmyers.com\/?p=123419"},"modified":"2026-01-31T16:13:15","modified_gmt":"2026-01-31T16:13:15","slug":"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-neve","status":"publish","type":"post","link":"https:\/\/merikebi.warrenmyers.com\/?p=123419","title":{"rendered":"Have we finally developed the Z notation (https:\/\/t.co\/JGRNx8F2eQ) by prompt manipulation to #LLM-based tools? \n\n#UML (but does not suck as bad)? \n\nI would argue &#8220;no&#8221; &#8211; because the problem has *never* been the *coding* \n\nThe problem is *verifying* that the code does what it is https:\/\/t.co\/XwHgTs153a"},"content":{"rendered":"<blockquote class=\"twitter-tweet\">\n<p lang=\"en\" dir=\"ltr\">Have we finally developed the Z notation (https:\/\/t.co\/JGRNx8F2eQ) by prompt manipulation to #LLM-based tools? <\/p>\n<p>#UML (but does not suck as bad)? <\/p>\n<p>I would argue &#8220;no&#8221; &#8211; because the problem has *never* been the *coding* <\/p>\n<p>The problem is *verifying* that the code does what it is https:\/\/t.co\/XwHgTs153a<\/p>\n<p>  &mdash; M\u0250\u0279\u0279\u01ddu W\u028e\u01dd\u0279s (@warrenmyers)<br \/>\n  <a href=\"https:\/\/twitter.com\/warrenmyers\/status\/2017631364481262053\">Jan 31, 2026<\/a>\n<\/p><\/blockquote>\n<p><script async src=\"https:\/\/platform.twitter.com\/widgets.js\" charset=\"utf-8\"><\/script><br \/>\n<br \/>\nfrom Twitter https:\/\/twitter.com\/warrenmyers<\/p>\n<p>January 31, 2026 at 11:09AM<br \/>\nvia <a href=\"https:\/\/ifttt.com\/?ref=da&#038;site=wordpress\">IFTTT<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>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 &#8220;no&#8221; &#8211; because the problem has *never* been the *coding* The problem is *verifying* that the code does what it is https:\/\/t.co\/XwHgTs153a &mdash; M\u0250\u0279\u0279\u01ddu W\u028e\u01dd\u0279s (@warrenmyers) Jan 31, 2026 from Twitter &hellip;<br \/><a href=\"https:\/\/merikebi.warrenmyers.com\/?p=123419\" class=\"more-link pen_button pen_element_default pen_icon_arrow_double\">Continue reading <span class=\"screen-reader-text\">Have we finally developed the Z notation (https:\/\/t.co\/JGRNx8F2eQ) by prompt manipulation to #LLM-based tools? <\/p>\n<p>#UML (but does not suck as bad)? <\/p>\n<p>I would argue &#8220;no&#8221; &#8211; because the problem has *never* been the *coding* <\/p>\n<p>The problem is *verifying* that the code does what it is https:\/\/t.co\/XwHgTs153a<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[4],"tags":[792],"keyring_services":[],"class_list":["post-123419","post","type-post","status-publish","format-standard","hentry","category-blih","tag-twitter"],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/merikebi.warrenmyers.com\/index.php?rest_route=\/wp\/v2\/posts\/123419","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/merikebi.warrenmyers.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/merikebi.warrenmyers.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/merikebi.warrenmyers.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/merikebi.warrenmyers.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=123419"}],"version-history":[{"count":1,"href":"https:\/\/merikebi.warrenmyers.com\/index.php?rest_route=\/wp\/v2\/posts\/123419\/revisions"}],"predecessor-version":[{"id":123420,"href":"https:\/\/merikebi.warrenmyers.com\/index.php?rest_route=\/wp\/v2\/posts\/123419\/revisions\/123420"}],"wp:attachment":[{"href":"https:\/\/merikebi.warrenmyers.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=123419"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/merikebi.warrenmyers.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=123419"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/merikebi.warrenmyers.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=123419"},{"taxonomy":"keyring_services","embeddable":true,"href":"https:\/\/merikebi.warrenmyers.com\/index.php?rest_route=%2Fwp%2Fv2%2Fkeyring_services&post=123419"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}