Hacker News Reader

I found Quint to be a good pairing with LLM. Easier syntax to learn so you are actually collaborating instead of relying on hope.

View on HN

What are the downsides as compared to TLA+?

Everything that can be expressed in TLA+ can’t be expressed in Quint. But everything useful for specifying programs, I believe, can be expressed in both languages.

What are you doing with it? Any write up?

data pipelines and data repair.

Not the person you asked, but here are some real world examples: https://www.linkedin.com/posts/quint-co_community-spotlight-...

(One of the entries cited is something I worked on).

Reply on news.ycombinator.com