Файловая система, которая ничего не хранит: πfs держит ваши файлы в цифрах числа пи

Шутка, рассказанная с каменным лицом

πfs — это «файловая система без данных». Идея: поскольку пи предположительно нормальное число — среди его цифр где-нибудь встречается любая конечная последовательность, — любой файл уже «существует» внутри пи. Поэтому вместо ваших байтов πfs хранит смещение, где эти байты встречаются в разложении пи, вычисленное по формуле Бэйли — Боруэйна — Плаффа. README выдерживает образ до конца:

«У вас больше никогда не кончится место — π содержит каждый файл, который только может существовать!»

«Нарушение авторских прав? Это всего лишь несколько цифр π! Они всегда там были!»

«Почему эта штука такая медленная? Пять минут ушло на сохранение текстового файла из 400 строк! … но ведь есть закон Мура!»

Тред — это бесплатный семинар по теории информации

Это больше, чем хохма, потому что комментарии спокойно объясняют, почему так невозможно, — и в этом весь образовательный заряд. Самая чистая формулировка изъяна:

«Любопытно… становится крайне маловероятно, что индекс и длина последовательности внутри пи окажутся меньше, чем сами данные». — adzm

Тот, кто сам гонялся за этой кроличьей норой, связал её с фундаментальным результатом:

«Напоминает, как я пытался использовать Вавилонскую библиотеку как инструмент сжатия данных. … вам по сути нужно столько же данных, чтобы записать адрес ваших данных, сколько и сами данные, так что для сжатия это бесполезно — просто забавный мысленный эксперимент». — jamwise

А один из завсегдатаев дал ссылку на формальную версию, процитировав ключевую строку: «Совпадения, которые встречаются в π достаточно рано, чтобы дать заметное сжатие, не будут разнообразными … использовать π для сжатия интересных, реальных данных невозможно, потому что реальные строки вряд ли возникнут рано», — из ответа на CS StackExchange.

Тот же трюк, применённый всерьёз

Самая забавная параллель — с реальным эксплойтом бенчмарка: обыгрыванием конкурса по сжатию через протаскивание данных в имя файла — тот же фокус, который πfs делает явным:

«Смутно помню заявку на бенчмарк по сжатию, которая обыграла метрику, считая имя файла частью входа для алгоритма распаковки и тем самым побив метрику, измерявшую только размер файла». — aidenn0

У шутки есть и родословная. dang, модератор сайта, перечислил полдюжины прежних появлений начиная с 2018 года, а один из завсегдатаев указал на issue про соответствие GDPR в репозитории как на каноничный момент — ведь пи, разумеется, содержит персональные данные каждого.

Почему 12-летняя шутка возвращается снова и снова

πfs живуча, потому что это редкий розыгрыш, который учит ровно тому, что пародирует. Инстинкт «храни адрес вместо данных» — именно так реальные системы и экономят место: дедупликация, контентно-адресуемое хранилище, указатели. πfs доводит этот инстинкт до точки разрушения и отдаёт остальное теории информации: адрес стоит ровно столько же, сколько то, на что он указывает. Это однострочное опровержение любого обещания «бесконечного сжатия», завёрнутое в рабочую FUSE-файловую систему, которая бодро потратит пять минут на сохранение текстового файла.