Does SMT still make sense? | Hacker News Reader