Kami: A Platform for Hardware Specification and Verification | Hacker News Reader