New tech uses sound from drilling to identify rock types in real time. By linking drilling sound to rock properties, it ...