Are there lessons from high-reliability engineering for AGI safety? | Dark Hacker News