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 🏳️🌈.
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
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.
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 🏳️🌈.
You could say that type theorists are isomorphic to LGBT.
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
I think that would be a contrapositive, as the truth table is the same; unlike a converse or an inverse where the truth tables would be opposite
But we’re also working with inductive logic here, so maybe truth tables aren’t the right tool to use anyway
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?
Sneak while browsing, Microsoft and Apple can’t track you
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
Same! :)
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
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)