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...

https://github.com/philipl/pifs