Jan Stępień
@jstepien@mastodon.social
Bringing balance to parentheses. 🔉 /jan ˈstɛ̃.pʲjɛɲ/. 📸 @jan 🇪🇺 Berlin, DE 📨 jan at stepien dot cc
mastodon.social
Replying to
@weavejester@mastodon.social
@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.