Post

Here it is! The blog post about @quint-lang.org that I've been trying to get out since Friday. 😄 It gives an overview of the kinds of formal methods I know of, as well as my recent experiences using Quint to design the arbiter service we've been working on.

zicklag.leaflet.pubModeling Software With QuintI believe having good abstractions is key to writing good code. But as a coder, I often write code in an effort to find those abstractions…

Sam Hart

@hxrts.bsky.social

23 Apr

Nice post! I’ve also been playing with both Quint and Lean a bunch recently. Feels like the biggest gap is going from correct model -> correct production code. I’ve spent more time closing this gap than on verification. Curious if you’re in a similar boat.

Zicklag

@zicklag.dev

I haven't gotten to that step yet, other than giving model-based testing a try real quick. I'll most-likely have a follow-up post once I get further into things.

23/4/26, 1:36 pm0 reposts2 likes

Sam Hart

@hxrts.bsky.social

23 Apr

Get ready for the fun part haha. Here’s a doc on how I’m using it. Maybe useful. hxrts.com/aura/806_ver...

Zicklag

@zicklag.dev

23 Apr

Ooh, cool, thanks for sharing!