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