Does anyone know how these notes are generated? Is it a custom site, or something off the shelf?
He says it's a custom site: https://notes.andymatuschak.org/About_these_notes
That said, you can have something identical to this with Obsidian with a few plug-ins and their hosting service.