The Coq theorem prover brainstorms a name change, after too many women get harrassed for saying they work on Coq: https://coq.discourse.group/t/renaming-coq/1264, via https://www.metafilter.com/191240/Not-every-woman-is-offended-by-this-name-but-enough-people-are
@11011110 How about "bit"? /s
But yeah, as fun as it would be for me to tell people I were working on "Coq", I can equally imagine how mortifying and then demeaning it might be.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!