Re: [mill_drill] what kind of end mill for hardened steel
Carbide will work fine. The blade in the pic is 550 Brinell, or about 55 Rockwell C.
I’ve used carbide end mills, but a face mill seems to work quite well too. That’s a 3” diameter, going at about 150 RPM.