Electrical discharge machining
Electrical discharge machining (EDM), also sometimes known as spark machining or spark eroding, is a metal cutting process whereby a desired shape is obtained by using electrical discharges (sparks). Material is removed from the work piece by a series of rapidly recurring current discharges between two electrodes, separated by a dielectric liquid and subject to an electric voltage.
Source: Wikipedia — Electrical discharge machining (CC BY-SA 4.0)