Verifying interactions between autonomous vehicles and people | Hacker News Reader