1. 9
  1.  

  2. 5

    Ugh, I’ve been reading too much about filesystems, so I stumbled over parsing the title. You know: btrfs, zfs, ProoFS

    1. 3

      Time to go outside! Now I think about it, the formally verified file system the seL4 team are/were working on should definitely be called ProoFS.