Skip to content

Top New Best Ask Show 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)

8bugarela24d ago0

2

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

(quint-lang.org)

2bugarela2mo ago0

3

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

(github.com)

11bugarela2mo ago0

4

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

(quint-lang.org)

3bugarela7mo ago1

5

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

(github.com)

8bugarela2y ago1