A bit provenance abstract domain for the Toy optimizer | Hacker News Reader