Show HN: Rudder – Red-Green TDD Workflow for Verifiably Comprehensive Specs | Hacker News Reader