Drilling into magma is one thing geothermal engineers are trained never to do | Hacker News Reader