whetstone · noun, verb1
- Proto-West Germanic · inherited from*hwattjastain“whetstone”
- Old English · inherited fromhwetstān
- Middle English · inherited fromwhetston
- English todaywhetstone
From Middle English whetston, wheston, from Old English hwetstān, from Proto-West Germanic *hwattjastain (“whetstone”). Equivalent to whet (“to sharpen”) + stone.
Whetstone · proper noun, noun2
The benchmark is named after the Whetstone compiler built at an English Electric Company division in Whetstone, Leicestershire.
Etymology from Wiktionary, CC BY-SA 4.0.