Verifying 10B-Gates | Hacker News Reader