Safety-Critical Autonomous Systems: What Is Possible? What Is Required? | Hacker News Reader