Verifying interactions between AVs and people | Hacker News Reader