Incompleteness means that maybe it’s actually impossible to prove or disprove the Riemann hypothesis, or whether P=NP. I think that’s a big deal. Maybe the fact that there are meaningful results shown to be unprovable (like axiom of choice) is more satisfying?

Oh! Sorry, I watched the youtube version (which has a bit of a shady sponsor)

Great video, very disappointing sponsorship

I do the feeding thing, but mostly because it feels wrong to kill a mosquito and then just throw it in the trash

Feels inspired by one of my favourite Tumblr posts

Edit: played through some more paths and those were definitely inspired by the post :)

Both people sound obnoxious lol

It’s not bad grammar, it’s more like an internet dialect. Reminds me of fantasy books that capitalise special nouns

There isn’t even the “this is a US website” excuse anymore, like on Reddit

I think they were talking about colonialism, not WW2

You know, I don’t think I’ve ever heard that song in full. Apparently the dogs are metaphorical

That’s just the rule of Tumblr screenshots, you always have to include one reply too many

It’s strange, because Ripley is like the #1 “I don’t hate women in movies, just bad writing” excuse

Didn’t Jack Dorsey leave Bluesky?

You noticed two weird things, maybe it’s because they cancel out? Herbivores want to go to the beautiful Costa Rican field but they’re full of big cats.

This screams AI + horny-bait

Borderlands was that bad, huh?

I don’t think this is AI slop, this is pure human insanity

I’m tired of these jokes about my giant hand

Built-in LaTeX support would be so cool (and not that hard, Mathstodon has it)

That’s when you add a w.h.p. (with high probability)