Demonstrably Safe AI for Autonomous Driving | Hacker News Reader