[simonw]

TIL there's a mine within San Francisco city limits! https://mines.fyi/mine/0405261

(I guess technically a "surface mine" for "Construction Sand and Gravel".)

[maxbond]

Once you learn how to spot these you'll see them everywhere on road trips and such.

[greggsy]

I see quarries everywhere, and they’re kind of required near any city or road project around Australia. Never considered them as a mine though… more like a ‘general resource site’?

[dboreham]

The data set includes gravel pits. You can filter them out by selecting "Underground" for "Type".

[defrost]

Wouldn't that also filter out every open cut surface mine that strips overburden and directly extracts near surface coal, copper deposits, iron ore, etc.

Not every mine is a "classic" underground mine with tunnels, etc.

See (for example) the W.Australian SuperPit gold mine which consolidated every shaft mine in a particular region into a single open pit that goes deeper than any pre existing underground mine in that area.