Petra's remarkable thermal bore cuts through undrillable rock | Hacker News Reader