Milling HSS with carbide cutters works fine. Here's an involute form being CNC milled on the end of a length of 1/4" square HSS, to be used for shaping an internal gear:
The key seems to be high surface speeds, relatively small DOC and decent feedrates. My working hypothesis is that these conditions mean that the shear zone is at red heat so the chip is fairly soft. Experiments with turning hardened silver steel showed that the bulk hardness was unaffected despite the swarf coming off red hot. Given that most of the heat generated is contained in the swarf, combined with the high surface speed, ensures that the bulk material doesn't get hot enough to anneal it.
The milling cutter shown above is by Garr. I used them because my local tool emporium stocked them. They were fine on aluminium but tended to wear quickly on mild steel, so I swapped to Guhring and then to YG. If they can cut HSS then most carbide cutters should be fine. When turning hardened silver steel a standard carbide CCMT insert worked but didn't look happy afterwards. A CBN insert worked beautifully and left a great finish, but one needs to sit down before looking at CBN prices.
From reading, M42 HSS, the hardening of HSS can be a complex procedure requiring temperatures and equipment unlikely to be found in home, or many professional, workshops.
Andrew