Using online verification to prevent autonomous vehicles from causing accidents | Hacker News Reader