Post

The more we can enjoy making software correct, the more correct software will exist. But if important things keep depending on us reading markdown, I'm afraid of where we are will end up. So I'll fight for fun!

Quint@quint-lang.org

Remember when programming was fun?

3/9/26, 3:50 pm0 reposts4 likes

Zicklag

@zicklag.dev

3 Sept

I love how a focus on fun is resulting in an investment in formal methods, which is not usually what you'd guess would happen. 😄 Formal methods can be fun! Quint proved out the the hunch I had for years that formal methods could be made useful to "normal" developers.