3 ms·
Interesting, how you’re so set on the name of a theorem proving software being the barrier to women entering the field and not the people who would actually har
by the_only_law 5y ago
Interesting, how you’re so set on the name of a theorem proving software being the barrier to women entering the field and not the people who would actually harass them. Do you not think the same people who would make stupid jokes about a name wouldn’t find some other way to chase women away?
- angry_octet 5y agoI'm just listening to what women say. You should try it sometime. https://twitter.com/sydgibs/status/1379518799699968005 https://twitter.com/sydgibs/status/1379518799699968005
- emsy 5y agoThe name lends itself for innuendos, so what? I can assure you that a person with sleazy intentions will find many ways to do that without a funnily named programming language. The name is not the problem. Also, a person's offense is not an argument. I'm offended by your name, do you have to change it now? A funnily named programming language just isn't the same as actual sexual harassment.