Skip to content

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

bugarela

31 karmajoined December 8, 2023On HN

Lead developer of Quint https://quint-lang.org/

Recent submissions

Our formal methods tool can be a company – because of AI quint.sh
8bugarela4modiscuss
Towards a Solution for Cognitive Debt quint-lang.org
2bugarela6modiscuss
Quint LLM Kit for writing and using formal specifications github.com/informalsystems
11bugarela6modiscuss
Choreo: Choreograph Distributed Protocols on Quint quint-lang.org
3bugarela11mo1 comment
Holiday protocols: secret santa with Quint github.com/informalsystems
8bugarela2y1 comment

All submissions and comments on Hacker News.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.