Post

Quint@quint-lang.org

Don't you love when you're randomly listening to a podcast while working, and you hear yourself mentioned? Great conversation with Tessl on the @ainativedev.io podcast about their dark factory. Quint got a shoutout for helping provide effective guardrails along the way.