Historically there has been a paucity of explicitly constructive methods to produce, and particularly to delineate, broad classes of `certifiably random` infinite sequences, despite longstanding interest in this endeavor. We address this topic via the study of (binary) normal numbers, which have often been viewed as reasonable proxies for randomness, given their limiting equidistribution of...