Cutting Steel Gears with Electric discharge machining | Hacker News Reader