bugarela | Dark Hacker News

user:	bugarela
created:	December 8, 2023
karma:	31
about:	Lead developer of Quint https://quint-lang.org/

1.	Our formal methods tool can be a company – because of AI(quint.sh) 8 points by bugarela 32 days ago \| 0 comments
2.	1 points by bugarela 58 days ago \| discuss
3.	Towards a Solution for Cognitive Debt(quint-lang.org) 2 points by bugarela 70 days ago \| 0 comments
4.	Quint LLM Kit for writing and using formal specifications(github.com) 11 points by bugarela 88 days ago \| 0 comments
5.	Choreo: Choreograph Distributed Protocols on Quint(quint-lang.org) 3 points by bugarela 243 days ago \| 1 comment
6.	Holiday protocols: secret santa with Quint(github.com) 8 points by bugarela 2 years ago \| 1 comment