Follow

The Coq theorem prover brainstorms a name change, after too many women get harrassed for saying they work on Coq: coq.discourse.group/t/renaming, via metafilter.com/191240/Not-ever

· · 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
Mathstodon

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