Skip to content

Top Best Ask Show New Jobs

bugarela | Better HN

bugarela

31 karmaJoined December 8, 202325 submissions

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

Recent submissions

1

Our formal methods tool can be a company – because of AI (opens in new tab)

(quint.sh)

8bugarela2mo ago0

2

Towards a Solution for Cognitive Debt (opens in new tab)

(quint-lang.org)

2bugarela3mo ago0

3

Quint LLM Kit for writing and using formal specifications (opens in new tab)

(github.com)GitHub

11bugarela4mo ago0

4

Choreo: Choreograph Distributed Protocols on Quint (opens in new tab)

(quint-lang.org)

3bugarela9mo ago1

5

Holiday protocols: secret santa with Quint (opens in new tab)

(github.com)GitHub

8bugarela2y ago1