Hacker Newsnew | past | comments | ask | show | jobs | submit | bugarela's submissionslogin
1.
Towards a Solution for Cognitive Debt (quint-lang.org)
2 points by bugarela 30 days ago | past
2.
Quint LLM Kit for writing and using formal specifications (github.com/informalsystems)
11 points by bugarela 49 days ago | past
3.
Choreo: Choreograph Distributed Protocols on Quint (quint-lang.org)
3 points by bugarela 6 months ago | past | 1 comment
4.
Holiday protocols: secret santa with Quint (github.com/informalsystems)
8 points by bugarela on Dec 21, 2023 | past | 1 comment

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: