How Do You Fix a 45-Mile-Long Leaky Pipe 70 Stories Underground? | Hacker News Reader