Using SAT and SMT to defeat simple hashing algorithms | Hacker News Reader