The first technical devices began to be used in mining back in the 14th century. By the middle of the 18th century, the industrial revolution led to the replacement of tools such as picks, shovels, wedges and hammers, with albeit primitive, but machines.