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?

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

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

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.

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)

Telling male children who have feminine tights they must be female is what is happening and it is hurting boys.

This one just confuses me, I thought I heard all the talking points at this point (luckily the next sentence is much more familiar)

1/sqrt(2) and 0.5 * sqrt(2) both being 0.707 always blows my mind even though it’s basic algebra

I’m genuinely wondering if the cold war was any better than a third world war, because it still wrecked various countries in Asia, Africa and South-America

The other day I was thinking about tensions that exist in part because of British-drawn borders. Israel-Palestina, India-Pakistan. Can’t believe I forgot NI.

Ah is it funny name Friday already?

We can ask people to not do it. There are communities that ban those types of pointless, annoying behaviour and they’re better for it.

Huh? Identity times anyMatrix is also anyMatrix. The matrix just has to have the right dimensions

A bit more, this is a chapter from a PhD thesis

I wonder if there’s a chance of getting rm -rf /* or zip bombs. Those are definitely in the training data at least.