πfs: 無數據檔案系統

πfs 用圓周率的數位來取代實際的數據儲存

πfs 是一個諷刺性的「無數據」檔案系統，聲稱透過利用數學常數 π (pi) 來消除對硬碟空間的需求。該系統運作的原理是，如果 π 是一個正規數 (normal number)——意即其數位分佈均勻且包含所有可能的有限數位序列——那麼任何可能存在的檔案都已經存在於 π 的數位中。πfs 並非儲存檔案本身，而是儲存檔案數據在 π 中可以找到的索引 (位置) 與序列長度。

技術實作與 BBP 公式

為了在不計算所有前置位數的情況下從 π 中檢索數據，πfs 利用了 Bailey–Borwein–Plouffe (BBP) 公式。此公式允許在不需要知道前置位數的情況下，提取 π 在特定位置的特定十六進位數位。

目前的實作細節

Granularity: 為了極大化效能，目前的實作會分別在 π 中查找檔案的每個個別位元組 (byte) 。
Dependencies: 該系統需要 autoconf, automake, 以及 libfuse 才能作為一個 FUSE (Filesystem in Userspace) 模組運作。
Storage: 檔案系統需要一個中繼資料 (metadata) 目錄來儲存檔名以及位元組在 π 中的特定位置 (索引) 。

「100% 壓縮」的悖論

雖然 πfs 聲稱實現了完全壓縮，但這是一個資訊理論中的理論練習，而非實用的工具。核心悖論在於，要在 π 中定位特定數位序列所需的位址 (索引) 通常比數據本身還要大。

資訊理論限制

社群討論強調了使用 π 作為儲存媒介的幾個關鍵缺陷：

Metadata Overhead: π 中序列的索引與長度本身就是數據。隨著數據長度的增加，尋找該特定序列所需的索引會呈指數級增長，最終超過原始檔案的大小。
Unproven Assumptions: πfs 的功能依賴於 π 是「正規數」的猜想。正如使用者所指出的，目前尚未有任何非構造性的無理數被證明是正規數或離散數 (disjunctive number) 。
Computational Cost: 在無限字串中搜尋特定數位序列在計算上是非常昂貴的。一位使用者回報說，儲存一個 400 行的文字檔需要花費五分鐘。

"The conclusion being that you basically need the same amount of data to represent the address of your data as the data itself, so it's not really effective at compression, just a fun thought experiment."

與其他概念的比較

πfs 的概念反映了其他關於儲存所有可能資訊的數學與文學思想實驗：

The Library of Babel: 一個理論上的圖書館，包含每一本可能的 410 頁書籍，說明了挑戰不在於資訊的存在，而是在於尋找資訊的能力。
Sloot Digital Coding System: 一個類似的歷史嘗試，使用數學常數進行數據壓縮。
nsafs: 一個諷刺性的「國家安全局檔案系統」，模仿 πfs 的精神，聲稱因為政府支付費用，所以它是「免費」的。