Skip to Content
Try the Quint LLM Kit for extra help getting started!

Posts Tagged with "beginner"

Reliable Software in the LLM Era

How executable specs can be our hope for the future of software

Holiday protocols: Secret Santa with Quint 🎅

A fun exploration of drawing strategies for Secret Santa and their properties.