Comment by _ache_
Yep, the Library of Babel is a related topic. Wikipedia links it as "See also" on the page of "Normal numbers".
> a compression algorithm that requires the user to first build an infinite library...
Kind of already exists, pifs. More like a joke, but the concept is already a joke so...