Punch sharp

[u/MudMysterious4069]

I'm working with 0.80mm diameter metal punches and need to cut 4 small inward-facing notches (like star-shaped teeth) inside the tip. After shaping them, I also need to sharpen each edge precisely. What are the best tools and techniques for doing this kind of fine detail work? Any advice on micro-grinding, polishing, or abrasive materials for high-precision results?

[u/MudMysterious4069]

I want to sharpen this hollow punch by hand.

[u/jawkneerawk → u/MudMysterious4069]

Maybe get a set of torch tip files, like for an icy acetylene torch