Hacker News new | past | comments | ask | show | jobs | submit | from login
TLA+ specification of the Ceph consensus algorithm (github.com/afonsonf)
2 points by afonsonf 8 hours ago | past | discuss
TLA+ Graph Explorer (github.com/afonsonf)
103 points by hwayne 11 days ago | past | 6 comments

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

Search: