HN
Hacker News
Top
New
Best
Ask
Show
Jobs
bugarela
31 karma · joined December 8, 2023
Lead developer of Quint https://quint-lang.org/
submissions
comments
Avoiding the Dangers of AI Code with Formal Specifications and Tests
techradar.com
·
2 pts
·
bugarela
·
0
Our formal methods tool can be a company – because of AI
quint.sh
·
8 pts
·
bugarela
·
0
Towards a Solution for Cognitive Debt
quint-lang.org
·
2 pts
·
bugarela
·
0
Quint LLM Kit for writing and using formal specifications
github.com
·
11 pts
·
bugarela
·
0
Choreo: Choreograph Distributed Protocols on Quint
quint-lang.org
·
3 pts
·
bugarela
·
1
Holiday protocols: secret santa with Quint
github.com
·
8 pts
·
bugarela
·
1