Definition of "miner"

Hui from Lin’an—especially those from the village of Huilong—were famously skilled miners and traveled long distances to work mines throughout the province.

2005, David G. Atwill, “Shades of Islam: The Muslim Yunnanese”, in The Chinese Sultanate: Islam, Ethnicity, and the Panthay Rebellion in Southwest China, 1856-1873‎, Stanford, Cali.: Stanford University Press, page 44

Manganism has been known about since the 19th century, when miners exposed to ores containing manganese, a silvery metal, began to totter, slur their speech and behave like someone inebriated.

2014 April 21, “Subtle effects”, in The Economist, volume 411, number 8884

The move would have probably prevented Kazakhstan-based miners from accessing the bitcoin network.

2022 January 6, “Kazakhstan internet shutdown deals blow to global bitcoin mining operation”, in The Guardian‎