Comment by MengerSponge

You can tell it's slop because of the way that it is.

The heading "The type system is gradual, and that is the whole design" is a dead giveaway.

Actually the whole "How young this is" section reads very LLM-y. Claude, I think? It's funny that LLMs have more distinctive authorial voices than so many people.