Wikipedia @lemmy.world TriflingToad @sh.itjust.works 12mo ago Peening en.m.wikipedia.org Peening - Wikipedia Or alternatively, ball peen