Martin EscardoMartinEscardo@mathstodon.xyz
Oct 16, 2026, 9:05 PMI was shocked after I computed how many pages TypeTopology would be if we printed it as a 11pt book.
About 6600 pages! Let's say 10 books, each 660 pages long.
It's all human generated.