Full-stack verification is the new trend | Hacker News Reader