Without the highly for-profit nature of the industry or the politics of fossil fuels, exploration geophysics would otherwise be celebrated as the cutting edge of tech and engineering. Some of the most arcane and esoteric electrical measurements and signal processing techniques I've seen come from these miners and oil drillers.
@niconiconi yep, Gaussian processes/kriging were invented for finding oil and minerals, and that's 30(?) years ago
@niplav@schelling.pt I remember reading an HP app note from the 1980s about RF circuit measurement using time-domain reflectrometry. The note said they found the main results were already derived years ago in geophysical journals for seismic analysis.