Drilling into magma is one thing geothermal engineers are trained never to do · HackerLangs