Skip to content

Top New Best Ask Show Jobs

bugarela

31 karmaJoined December 8, 202323 submissions

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

bugarela | Better HN

Recent submissions

1

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

(quint-lang.org)

2bugarela17d ago0

2

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

(github.com)

11bugarela1mo ago0

3

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

(quint-lang.org)

3bugarela6mo ago1

4

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

(github.com)

8bugarela2y ago1