Breaking Verifiable Abstractions | Hacker News Reader