Verification-First Development | Dark Hacker News