Verification implications of the new US Autonomous Vehicles policy | Hacker News Reader