Skip to Content

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.