bugarela

Karma: 31
Created: 2 years ago

About

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

Recent Submissions

1. ▲ Our formal methods tool can be a company – because of AI (quint.sh) 8 points · 18 days ago · 0 comments
2. ▲ Towards a Solution for Cognitive Debt (quint-lang.org) 2 points · 1 month ago · 0 comments
3. ▲ Quint LLM Kit for writing and using formal specifications (github.com) 11 points · 2 months ago · 0 comments
4. ▲ Choreo: Choreograph Distributed Protocols on Quint (quint-lang.org) 3 points · 7 months ago · 1 comment
5. ▲ Holiday protocols: secret santa with Quint (github.com) 8 points · 2 years ago · 1 comment

All submissions on HN · View profile on HN