This one? https://programming.dev/post/45916798?scrollToComments=true

In case you weren’t aware, there is actually a whole mastodon instance dedicated to this subject! Take a look at https://genart.social/tags/genuary2026 for some recent examples. Many posters include details of what software they are using or links to their code

Welcome!

Not sure honestly, I can think of alternatives but I don’t know if they’re better. “Isomorphism of sets” is a fancy way of saying “bijection”, and “unique set up to isomorphism” is the same as “unique cardinal” but as you say it’s better to use terms that everyone knows. It might just be that “unique” being right at the beginning makes it easy to forget. Decoding the description is a fun part of the problem!

I thought that as well for a while so I was waiting for someone to say that! My claim that A is exactly ℵ₂ is based on it saying “unique”, meaning there’s only 1 cardinality with the property described, between ℵ₀ and A (which must be ℵ₁). But I agree the wording is not very clear. The version without uniqueness is still a dilemma, it just means that it’s also possible for A to be larger than B even if CH is false.

I’ll give this a go. The number of people at A is ℵ₂ and at B is 2^ℵ0. If the continuum hypothesis is true then there are ℵ₁ people at B so A has more people, if it is false then either there are more at B or there could be equally many at A and B (if the star axiom is true).

Either way infinitely many people are dying so it’s a sad story.

This is funny but it’s a very unfair comparison. That neighbourhood is fully abandoned with exactly 0 residents, and you know it would probably be shit even if it was finished as planned. The fediverse has at least some real people and is actually a fun place.

The Hopkins tweet is somehow way worse than I expected, and I already knew how awful she is. No joke, no argument, just literally listing minorities and reacting with disgust. I don’t know how anyone can stand her.

…and he’s resigned. Good that he’s gone quickly but hope it doesn’t detract from the police investigation.

Not sure what kind of trial you’re referring to, the bbc is saying that either the Lords could vote him out or he could be removed with new legislation which apparently is difficult. Starmer has already said he should go, seems like there is at least some chance it will happen.

Follow more hedgehog videos on mastodon here: https://mastodon.social/@pgoodgame

Already seeing a big influx of forkiverse users on Mastodon as a result of this. Hope lots of them stick around

Weaponised Assault Polar bears

It is pretty great when it works.

While many newer underground railways have had mobile coverage in their tunnels for years…

This is news to me, I don’t think I’ve seen it in any other city. But maybe I just haven’t travelled enough

I was relieved to see this article is based on a kid’s question!

Obviously Rees Mogg is a scumbag doing this for the worst possible reasons, but I was under the impression that basically no-one likes the way the licence fee works currently? The reason it hasn’t changed seems to be more because people can’t agree on an alternative rather than because anyone actually supports it as a funding model.

I realised I didn’t know what their demands are, but it’s in the article:

The group’s demands include immediate bail, the right to a fair trial, the deproscription of Palestine Action, the shutdown of Israeli weapons firm Elbit Systems’ sites on British soil, and an end to alleged prison interference with their letters and other communications.

Worth noting that they’re not asking for any charges to be dropped, so they would probably still face long prison sentences for criminal damage even if the government agreed to all of this

This is just Vulcan writing

Merry Christmas all!

In addition to overpriced cocktails, apparently these things are a major part of the attraction at Miracle bar in London weirdly enough