Cure – Verification-First Programming for the Beam / hacker news