Post #2837031

@weavejester@mastodon.social @plexus@toot.cat Seconding the importance of ease of automated verification. I've had good results with property-based testing. A small local LLM can debug quite nicely given shrunk sequences of steps leading to a failed assertion generated by a stateful model-based PBT with a test oracle.