re: Making a knife sharp again.

Yes, HSS steel is very difficult to sharpen. Diamond plates are probably the best way to do it if you don’t want to soften the steel as you did.

Steel fabricators use thin HSS blades and these can be made into carving knives pretty easily and they work well. You can usually get worn out blades for free from fabricators as they just toss them after they are worn out.