just got word that Elon's Boring Company has dropped a new tunnel digging tech that's supposed to revolutionize underground infrastructure development. Apparently it's capable of digging through hard rock at incredible speeds. has anyone seen any official announcements or leaks on what exactly this tech is?