What's new in autonomous vehicle verification – part two | Hacker News Reader