News for hackers. Stuff that matters.

A comment on Introduction to Curp Protocol. Parent comment

Re:Introduction to Curp Protocol by thamer on Monday October 30, 2023 @07:42PM (#38077562)
For those interested in this sort of thing, see also Raft's TLA+ specification: https://github.com/ongardie/raft.tla
[ Parent | on HN ]

There are no comments on this comment yet.