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
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
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.
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 🏳️🌈.
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!
Great now conservatives will complain about trans people in programming competitions too!
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.
That’s…not…
That’s not very sus? Well I disagree, and BTW I saw you in the engine room, what were you doing? Maybe you’re the one with impostor syndrome
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.
deleted by creator
Holy shit! I actually never tried a good pair of programing socks !
Same! :)
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
type theorist?
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)
You should see what Visual Basic used to do to people.
VB was probably triggering domestic disputes.
I know VB from my early days as something like Mikrosofts take on Python. But not 99% sure anymore.
Eh, it was just BASIC combined with the best (by far) visual forms editor available at the time.
Straight men are into OCaml, did you not hear yet?
Tell me what programming languages straight women like, because that’s what I need to study!
I mean you can be straight without being cis, so still haskell I guess?
Tru tho
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?)
what about alan turing?
What about them? Listing a few brilliant straight people doesn’t negate the other commenter’s claim.