4 ms·
I found Quint to be a good pairing with LLM. Easier syntax to learn so you are actually collaborating instead of relying on hope.
by arpinum 5mo ago
I found Quint to be a good pairing with LLM. Easier syntax to learn so you are actually collaborating instead of relying on hope.
- esafak 5mo agoWhat are you doing with it? Any write up?
- arpinum 5mo agodata pipelines and data repair.
- mavelikara 5mo agoNot the person you asked, but here are some real world examples: https://www.linkedin.com/posts/quint-co_community-spotlight-may-ugcPost-7460656586546409472-Vqo9 https://www.linkedin.com/posts/quint-co_community-spotlight-... (One of the entries cited is something I worked on).
- oa335 5mo agoWhat are the downsides as compared to TLA+?
- mavelikara 5mo agoEverything 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.