People whose ideology is an explicit lack of ideology fear they're on the verge of losing the ideological war.

SHUT THE FUCK UP, HOLY SHIT IT'S REAL the essay deadass starts with "it is unknowable through what lens and mentality daisuke operated when he declared that bridget was a girl" i am going to Throw Up

i knew rich assholes felt this way but i'm not sure i've ever actually seen them just say it in plain english

Bold of homotopy type theory to say things are parallel if they share endpoints "yeah let's take this word that means they don't intersect and use if for a case where we have (at least) *two* defined intersections!"

So Erin Reed blocked me over this one but I’m going to take a few minutes to point out why this “reporting” is so bad and repost a few times to hopefully spread the word. TL;DR Erin either doesn’t understand anything about NYC law or politics or is outright lying about what’s happening here.

Saw a vid that was like "This is the #1 most underleveraged intellectual resource" and it's Euclid's elements and the reasoning? it teaches you common proof strategies wow amazing, the math book teaches you math

"We're shipping so much more code with AI!" "Good, stable code?" "Oh heavens no. No no no. not at all. We couldn't possibly"

really fucking hate how "accessibility" has been hijacked to mean "let's treat everyone as if they're children at all times"

this might be the best headline i’ve ever read

I want to tell the person i idolize that I do, There's an urge lurking to do so but what purpose have I to? What closure or explanation comes from "I freaked out and told you I wasnt a good enough friend to call myself that because I idolize you"? But... i also dont know how to fully let go

having an imaginary argument in my head with someone i used to know a tad closer about how theyre prolly better off without me and "because you're more than i could ever be" came up as a remark ...I idolize this person, dont i? avoiding besmirching some sort of divinity with my profane existence

As annoying as Lacan was, I cant gelp think he would have lived type theory and that it would have made his bullshit more coherent

a lot of the discussion on kink in general does not take into account that ALL sex is organized by the heterosexual regime. shame, in general, parses the Good Sex (straight, missionary, married sex) apart from the Bad (lesbians with dog collars). the politics of desire can't evolve until we

I’m begging for resistance to police abolition that doesn’t amount to “I refuse to read the millions of explanations and will instead pretend that people refuse to explain it to me, when the reality is that I am dumb as shit”

absolutely incredible work

yannow, the more I think about it, the more clever Propositions-as-Types seems to me, especially because it allows all types to be propositions of their own existence

all-timer

I have done enough math that I have been subsumed into the functional programming ethos but also I kinda like C/C++

Also, haha, "monad is a monoid in the category of endofunctors" aside we should really be describing monads as "type enrichers" if's for when you want you nuggies type to have a bit of spice, a bit of cayenne you want your int to have a bit of maybe something that adds a little bit more to it

you know type theory is on some shit when I've seen the same lambda definition 3 times but with different increasingly complicated types

meeeeeeeeeeeeeeeeeeeee :3

hardest shit i've ever seen

sometimes it hits just how little i share in common with most people not even just "oh gosh im neurodivergent", but i don't know that there's been a neurodivergent group ive been able to properly "fit in" with, either And my brain acts up and equates not fitting in to not nelonging sometimes

one day ill stop making myself feel like an outsider to my loved ones one day

yannow idk why it took me this long to realize p->(q->(p&&q)) is basically the hilbert axiom equivalent to currying

it's literally just self defence.

Not what i started diving into logic for, but i might be slooooowly forming a concept of logic as a worldbuilding device

Stretching out your butthole to make your topological structure more clear

This is one of the most beautiful things I have witnessed, the craft here is impeccable.

i wonder if i should have a dedicated repository for my more complete philosophical ramblings... mostly i just have this to vomit them out and have them disappear or dms but i rarely feel like i have an interesting enough thesis to store as a dedicated findable article

yannow, I thought haskell was just like a certain syntax vaguely representative of lambda calculus seeing how type theory is written makes the inspiration even more clear

Sometimes metaphysics annoys me "Do you believe in free will or determinism?" I mean neither, but who cares? "But then how do you assign responsibility in your moral system" By my (or society's) ability to effectively influence actions via repercussions

going to try and finish this later but please look at how fluffy she is i love her

Second time a final fantasy game has ruined iconic angular produce

incidentally like 80% of smug online anti-anarchist dunks are basically variations on sneeringly asserting that children are the archetypal object of legitimate violence & therefore anyone who can be legitimately compared to a child is an acceptable target of abuse, but people aren't ready for that

I mean, this is what I'd expect of a guy who apparently built 30000 square feet of actual backrooms to film in and wasn't willing to CG shortcut his way through that when given a budget. But man, am I glad to see someone say this part out loud!

funny how, in intuitionism, everything stable is decideable, but decidability itself is not stable also my brain for some reason wants to make an infinite series of adjectives to describe each step of the rieger-nishimura lattice

what do you call mass detainment camps that kill the people who stay in them

yannow, of all the reasons i thought i might avoid buying cows milk the fact that it expires so fast wasnt the reason i expected side effect of never buying cereal i guess

Notice how they always "miss the mark" when they precision target large segments of their user base, but only after significant enough backlash. This wasn't a mistake, or ill-consideration. The changes were DESIGNED to quietly silo & kill nsfw accounts. They plan to try again later.

Intersex carpenter bee! I'm used to seeing the split-in-the-middle gynandromorphs but this is super cool looking

Happy #pridemonth ! I drew some #poly #yuri . #polyamorous #pride #lgbt #lgbtq

thursday at 4pm eastern time!! Rivalry is back!! we've got an episode themed around the recent ocg pack Revolution Booster!! I've got @yamadoll.kawaii.social and @comfybasilisk.bsky.social to join me in introducing Unchained, Toon, and Witchcrafter to Rivalry format!! hope you'll join us!!

Fortuna🪻 Our purple icon from the Cosmic Wheel Sisterhood 🙏 #thecosmicwheelsisterhood

I think I'm slowly settling upon the idea that if something is provably ~~p but not provably p (intuitionistically), then it *is* theoretically true, but not practically or observably so

The past years have seen horrendous attacks towards trans people. We have a duty to protect the most vulnerable members of our communities. There is no Haskell without the trans people who have shaped it through the years. This June is a month of celebrations, but the struggle continues. ✊🏳️‍⚧️λ

its funny to think some of the first ideas that lead me to look at intuitionism were truth value gluts, when intuitionism is more about truth value gaps but i feel quite firm on maintaining noncontradiction still, but the LEM is still a big question in my mind

handmade candy with among us character design announced at state of play

Huh. I suppose nothing screams Pride Month more than coming back from queer times with your amazing girlfriend to find you've been CENSURED FOR HERESY for criticizing the papacy. I mean, c'mon, I enjoy a little medieval re-enactment too, but this is ridiculous.