HN
Paper
All
Show
Ask
Jobs
Top
Today
Last 7 days
Last months
This year
Statistics
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Statistics
Stories by
bugarela
Towards a Solution for Cognitive Debt
2 points
bugarela
2026-03-09T14:07:16Z
quint-lang.org
Quint LLM Kit for writing and using formal specifications
11 points
bugarela
2026-02-19T10:20:53Z
github.com
Choreo: Choreograph Distributed Protocols on Quint
3 points
bugarela
2025-09-17T14:30:33Z
quint-lang.org
Holiday protocols: secret santa with Quint
5 points
bugarela
2023-12-21T21:38:18Z
github.com