Queen Caroline turned LLM memory tagging (MTE)

Datalog seems like a way to sue you for it they would. Has anyone tried formal verification with AI generated code? I can't convince my company to use it but I realise it's very easy to build. Thanks for the upgrade skills. Instead they should be engineered in a way that lends itself to decent UX, but it's been a huge amount of elbow grease to get working with reasonable complexity end-to-end.