News for hackers. Stuff that matters.

A comment on Paxos vs. Raft: Have we reached consensus on distributed consensus?. Parent comment

Re:Paxos vs. Raft: Have we reached consensus on distributed ... by adsharma on Friday July 16, 2021 @03:45PM (#27860422)
My intention is to reuse the rust type system where we can and yet keep the language small enough to be able to implement and verify non-trivial real world programs.

https://github.com/adsharma/py2many/blob/main/doc/langspec.m... https://github.com/adsharma/py2many/blob/main/CHANGELOG.md#r...

[ Parent | on HN ]

There are no comments on this comment yet.