ParentFull threadginnungagap·Normality also includes the distribution of the substrings in the definition, it's not just "every finite string of numbers compares somewhere"View on HN