Mokka mit Schlag

In 2026 we’ve gotten so used to being able to look up information about individuals via social media, Wikipedia, and other sources that it’s quite jarring when you discover people who are in some sense well known but just aren’t there.

I’m going to respond to Michael Xue here because, as is all too common, the comment form simply isn’t working.

Yes, I know I’m a little late to the party, but I’m about through the end of Season 1 of Severance, and there’s one meta question I’m asking myself.

Over the last couple of days I was working on a relatively complex software integration project for image generation with stable diffusion.

Bertrand Russell once wrote to the eminent mathematician and philosopher Gottlob Frege to ask him how his system would handle the set of all sets that are not members of themselves.

There’s a common problem that arises when there are many more customers than available products.

I can’t believe I got this far in mathematics without noticing that not only can the parallel postulate be proved, but that it’s been proved for hundreds of years.

Time for the annual wrap-up of what I saw where.

Lately I’ve been thinking about ZFC, naive set theory, and some other things; and increasingly I find myself wondering, is any of this at all important?

I got the sad news yesterday that David Lerner has passed.