I don’t make the rules…. but I have observed far too often for it to be coincidence that the more brilliant a type theorist is, the more likely it will be that they identify as 🏳️⚧️ or 🏳️🌈.
this post was submitted on 02 Sep 2026
845 points (97.8% liked)
Programmer Humor
33298 readers
1067 users here now
Welcome to Programmer Humor!
This is a place where you can post jokes, memes, humor, etc. related to programming!
For sharing awful code theres also Programming Horror.
Rules
- Keep content in english
- No advertisements
- Posts must be related to programming or programmer topics
- If the mod doesn't find it funny, you're banned. Ha-ha!... For real: do not use the community for "statements". There are other places for such content. Keep it chill and funny.
founded 3 years ago
MODERATORS
Counterpoint: I used to be a computer scientist in obscure languages, I'm as cis as they come, and I've always been absolutely average. Wait that's not a counterpoint at all
Maybe taking estrogen will elevate your rank.
Would this be considered doping?
I mean, you're gonna be dope as hell!
In that case she’d be able to double jump
What do the Linux socks unlock? Sneak while running?
Removes fall damage
Ooh, nice! Do they work on bikes too? Even if you're tragically cis?
Asking for a friend who's me 😁
You still need a helmet, but they do add flair :3
Sneak while browsing, Microsoft and Apple can't track you
This is a common misconception. Trans people actually have a directional air dash.
As a trans woman, I can say it’s actually both
You've convinced me we need to start marketing HRT as performance enhancing drugs for programmers. Maybe that would make corporate America support trans healthcare
Counterpoint: I am a trans woman in CS and I am incompetent
Maybe you just have imposter syndrome: you think you work in CS but you actually work in retail.
Tbf I had a friend who worked in CS but was actually a mechanic. He just fixed the systems so much they would pay him a diff to go work at other shops computers.
load more comments
(2 replies)
Same! :)
load more comments
(1 replies)
type theorist?
It's kinda like set or category theory. The kind of math that hardly resembles anything at all yet somehow applies everywhere, to infinity and beyond
load more comments
(2 replies)
People who use templates and types to achieve absurd outcomes that just work, maybe?
I have seen a few haskell magic.
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.
They're putting something in the Haskell that's turning the coders trans! (jk)
load more comments
(2 replies)
You could say that type theorists are isomorphic to LGBT.
What about Gödel, Frege, Cantor, and the other great philosophers-mathematicians of the 20th century?
They grew up in an oppressed environment and couldn't develop their own personal preferences (what did I just write?)
Godel has a vibe. Don't be so sure.
Cantor is the infinity guy, so clearly he/it's a mind-breaking eldritch abomination with tentacles. (Also, mostly 19th century)
I don't know Frege.
what about alan turing?
load more comments
(1 replies)
Programmers used to be so hostile to women that they needed to transition (evolve) to refill the niche.
that is not how a confidence interval... never mind.
The confidence interval is 1% - 199%
I had to look it up, DLC is downloadable content.
Big if true
come the fuck on
string bigIfTrue(Boolean size)
{
string toAssign = '';
if (size == true)
{
toAssign = 'big';
}
else
{
toAssign = 'small';
}
return toAssign;
}
true ? 'big' : '';
My beloved
Where's your interface and factory?
This actually gets loaded as a WASM module by a server less API service when a user ask if true return big
load more comments
(3 replies)
String bigIfTrue(Boolean size)
{
if (size == true){ return "big" }
return "small";
}
load more comments
(3 replies)
That is indeed a big one!
Claire's (likely) a good programmer, knows there's always edge cases and is super pedantic.
Source please! I want this to be true.
Twitter 💀💀💀
view more: next ›