Compiler Validation via Equivalence Modulo Inputs | Hacker News Reader