HN Explorer

bugarela

↗ HN profile [ 85.3 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. 1 points 0
  2. Avoiding the Dangers of AI Code with Formal Specifications and Tests (techradar.com)
    1 points 0
  3. Our formal methods tool can be a company – because of AI (quint.sh)
    8 points 0
  4. 1 points 0
  5. Towards a Solution for Cognitive Debt (quint-lang.org)
    2 points 0
  6. Quint LLM Kit for writing and using formal specifications (github.com)
    11 points 0
  7. Choreo: Choreograph Distributed Protocols on Quint (quint-lang.org)
    3 points 1
  8. Holiday protocols: secret santa with Quint (github.com)
    8 points 1