Hacker News new | past | comments | ask | show | jobs | submit | from login

TLA+ specification of the Ceph consensus algorithm (github.com/afonsonf) 3 points by afonsonf on April 19, 2021 | past TLA+ Graph Explorer (github.com/afonsonf) 103 points by hwayne on April 7, 2021 | past | 6 comments

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