This New Tech Cuts Through Rock Without Grinding Into It

A startup called Petra uses super-hot gas to penetrate bedrock. The method could make it cheaper to move utilities underground—and make electric lines safer.

source https://www.wired.com/story/new-tech-cuts-rock-without-grinding-it