Y Hacker News new | ask | show | jobs

user: bugarela created: 2023-12-08 karma: 31 Lead developer of Quint https://quint-lang.org/ submissions: Our formal methods tool can be a company – because of AI 8 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Towards a Solution for Cognitive Debt 2 points | 0 comments Quint LLM Kit for writing and using formal specifications 11 points | 0 comments 0 points | 0 comments 0 points | 0 comments Choreo: Choreograph Distributed Protocols on Quint 3 points | 1 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Holiday protocols: secret santa with Quint 8 points | 1 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments