The Coq theorem prover brainstorms a name change, after too many women get harrassed for saying they work on Coq:, via

· · Web · 1 · 1 · 4

@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.

Sign in to participate in the conversation

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!