Hacker GitHub

← All repos

specula-org/Specula

View on GitHub ↗ ★ 643 Python

Specula: An agentic tool for finding deep bugs in system code using TLA+

4 mentions on Hacker News by 2 people: 1 story, 3 comments · first 2026-03-25 · latest 2026-09-30

Mentions per year 4 mentions · busiest year 2026 (4)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 3
    Specula: A framework for finding deep bugs in system code using TLA+
    story by matt_d · 2026-03-25 · 0 comments