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.
Indeed. [And caveat this whole comment with "as far as I understand" because this is maths and you can't be too careful…] The difference being that set theory is way more fundamental and abstract than most mathematicians ever need, so on the one hand it can be completely stated with only 8 or 9 axioms (and a system of first-order logic) but on the other hand it can take some ingenuity to encode a mathematical object as a set in a way that makes it easy to do stuff correctly and hard to mess up.
Most type theories take a more intuitive approach, so they do resemble something, namely, functional programming. Just a very rigorous approach to it. If you manage to construct a term of the correct type, you can be sure that it's what you think it is, whereas with set theory you have to constantly check yourself (if you require the rigor). The trade-off being that type theory requires you to work with complete rigor and reasoning at a low level can be more difficult than set-theoretic reasoning at a low level.
The TL;DR is that in type theory your constructions often look like what you actually want to do (and as a consequence you sometimes have to work directly with the underlying system, like a programming language), but in set theory there's a disconnect between the conceptual level and the underlying nitty-gritty logic.
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.
Real answer is that autism leads to self isolation which naturally also leads into tech, and autistic individuals are more likely to come out as trans if they are because theyre already ostracized. Furry communities also highly appeal to autistic individuals because its a literal mask that lets you redesign yourself either online or in person with a fursuit.
Source: I am an autistic trans furry who is also a software dev :3
72 replies
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!
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.
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.
Have you put on the regulation socks? They must be white with pink or baby blue stripes.
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?
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
Indeed. [And caveat this whole comment with "as far as I understand" because this is maths and you can't be too careful…] The difference being that set theory is way more fundamental and abstract than most mathematicians ever need, so on the one hand it can be completely stated with only 8 or 9 axioms (and a system of first-order logic) but on the other hand it can take some ingenuity to encode a mathematical object as a set in a way that makes it easy to do stuff correctly and hard to mess up.
Most type theories take a more intuitive approach, so they do resemble something, namely, functional programming. Just a very rigorous approach to it. If you manage to construct a term of the correct type, you can be sure that it's what you think it is, whereas with set theory you have to constantly check yourself (if you require the rigor). The trade-off being that type theory requires you to work with complete rigor and reasoning at a low level can be more difficult than set-theoretic reasoning at a low level.
The TL;DR is that in type theory your constructions often look like what you actually want to do (and as a consequence you sometimes have to work directly with the underlying system, like a programming language), but in set theory there's a disconnect between the conceptual level and the underlying nitty-gritty logic.
Good call pointing out that types are, like, meant to bring semblance to the whole thing lol
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!
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?
What about them? Listing a few brilliant straight people doesn't negate the other commenter's claim.
Programmers used to be so hostile to women that they needed to transition (evolve) to refill the niche.
Makes sense, now where do furries fit into that..?
Accommodation for misanthropes.
Real answer is that autism leads to self isolation which naturally also leads into tech, and autistic individuals are more likely to come out as trans if they are because theyre already ostracized. Furry communities also highly appeal to autistic individuals because its a literal mask that lets you redesign yourself either online or in person with a fursuit.
Source: I am an autistic trans furry who is also a software dev :3
Unix beard was just an evolutionary middle step between.
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
Bloat. Nobody asked for else.
Or assignment. Just return.
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
hey, this is for fun and pseudocode.
Saved
So very wrong.
"big" != "Big"
shit time to
git commit sudokuSyntactically correct - the best kind of correct!!
That is indeed a big one!
https://imgs.xkcd.com/comics/ten_thousand_2x.png
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 💀💀💀