halfa's comments | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit | halfa's comments

halfa on July 20, 2024 | parent | context [–] | on: Garage: Open-Source Distributed Object Storage

There is formal proof for some parts of garage layout system, see https://git.deuxfleurs.fr/Deuxfleurs/garage/src/branch/main/...

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact