Dunno about type theory per se but I visited a Haskell-based company a while back, and they said 50% of the women they interviewed were trans. Not sure of the cause and effect relationship. I know of several male-at-the-time programmers who got interested in Haskell and then transitioned later.
- Posts
- 19
- Comments
- 879
- Joined
- 3 yr. ago
- Posts
- 19
- Comments
- 879
- Joined
- 3 yr. ago
- JumpDeleted
Permanently Deleted
- JumpDeleted
Permanently Deleted
Not The Onion @lemmy.world South Africa withdraws AI policy after it was found written by AI
Not The Onion @lemmy.world Someone may have maliciously caused a huge rodent invasion in California
Fuck AI @lemmy.world I want to wash my car. The car wash is 50 meters away. Should I walk or drive? | Stupid AI responses
Fediverse @lemmy.world How We Lost Communication to Entertainment
News @lemmy.world Brigitte Bardot, French screen legend, dies aged 91
Memes @lemmy.ml That's not a bug, it's a feature!
Raspberry Pi @programming.dev Is Firefox tolerable to use on a pi 5 or 500+?
Leopards Ate My Face @lemmy.world Major AI conference flooded with peer reviews written fully by AI
News @lemmy.world Corporation Pumping Soothing Gas Into New York Subway Station
Not The Onion @lemmy.world Fact check: Is Mamdani introducing Arabic numerals to New York schools?
Technology @lemmy.world Adversarial Poetry as a Universal Single-Turn Jailbreak Mechanism in Large Language Models
Technology @lemmy.world Needy Programs
Programmer Humor @lemmy.ml Tabloid: the clickbait headline programming language
Fuck AI @lemmy.world arxiv.org stops accepting non-peer-reviewed/accepted CS reviews/position papers, due to AI slop
News @lemmy.world ‘Startup City’ Groups Say They’re Meeting Trump Officials to Push for Deregulated ‘Freedom Cities’
Privacy @lemmy.world Google Demanded My Drivers Lic Before Letting Me Read an Article
Raspberry Pi @programming.dev DDR4 supply/demand stress leads to Raspberry Pi CM4/CM5 price increases
Technology @lemmy.world Another Google Pixel 6a catches fire after battery-nerfing update
raspberrypi @lemmy.ml Raspberry pi 500 launched






If he really wanted to troll Iran, he would change "strait of Hormuz" to "gay of Hormuz".