bugarela's submissions

1.		Avoiding the Dangers of AI Code with Formal Specifications and Tests (techradar.com)
		2 points by bugarela 4 days ago \| past \| discuss
2.		Our formal methods tool can be a company – because of AI (quint.sh)
		8 points by bugarela 5 months ago \| past
3.		Towards a Solution for Cognitive Debt (quint-lang.org)
		2 points by bugarela 6 months ago \| past
4.		Quint LLM Kit for writing and using formal specifications (github.com/informalsystems)
		11 points by bugarela 7 months ago \| past
5.		Choreo: Choreograph Distributed Protocols on Quint (quint-lang.org)
		3 points by bugarela on Sept 17, 2025 \| past \| 1 comment
6.		Holiday protocols: secret santa with Quint (github.com/informalsystems)
		8 points by bugarela on Dec 21, 2023 \| past \| 1 comment