~16 min read
Decimation. Etching by William Hogarth in Beaver's Roman Military Punishments (1725)
In the military of ancient Rome, decimation (from Latin decimatio 'destruction of a tenth') was a form of military discipline in which every tenth man in a group was executed by members of his cohort. The discipline was used by senior commanders in the Roman army to punish units or large groups guilty of capital offences, such as cowardice, mutiny, desertion, and insubordination, and for pacification of rebellious legions.
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).