Comment by sat_solver | Hacker News Reader