you are viewing a single comment's thread
view the rest of the comments
[–] 157 points 1 month ago (39 children)

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 🏳️‍🌈.

  • source
  • hideshow 39 child comments
  • [–] 132 points 1 month ago (22 children)

    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

  • source
  • parent
  • hideshow 22 child comments
  • [–] 104 points 1 month ago (12 children)

    Maybe taking estrogen will elevate your rank.

  • source
  • parent
  • hideshow 12 child comments
  • [–] 27 points 1 month ago (7 children)

    In that case she’d be able to double jump

  • source
  • parent
  • hideshow 7 child comments
  • [–] 21 points 1 month ago (4 children)

    What do the Linux socks unlock? Sneak while running?

  • source
  • parent
  • hideshow 4 child comments
  • [–] 23 points 1 month ago (2 children)
  • [–] 43 points 1 month ago (6 children)

    Counterpoint: I am a trans woman in CS and I am incompetent

  • source
  • parent
  • hideshow 6 child comments
  • [–] 30 points 1 month ago (3 children)

    Maybe you just have imposter syndrome: you think you work in CS but you actually work in retail.

  • source
  • parent
  • hideshow 3 child comments
  • [–] 1 point 1 month ago

    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

  • source
  • parent
  • [–] 23 points 1 month ago (9 children)
  • [–] 17 points 1 month ago* (last edited 1 month ago) (8 children)

    People who use templates and types to achieve absurd outcomes that just work, maybe?

    I have seen a few haskell magic.

  • source
  • parent
  • hideshow 8 child comments
  • [–] 15 points 1 month ago (7 children)

    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.

  • source
  • parent
  • hideshow 7 child comments
  • [–] 18 points 1 month ago (6 children)

    They're putting something in the Haskell that's turning the coders trans! (jk)

  • source
  • parent
  • hideshow 6 child comments
  • [–] 6 points 1 month ago (3 children)

    You should see what Visual Basic used to do to people.

  • source
  • parent
  • hideshow 3 child comments
  • [–] 3 points 1 month ago (4 children)

    What about Gödel, Frege, Cantor, and the other great philosophers-mathematicians of the 20th century?

  • source
  • parent
  • hideshow 4 child comments