Comment by dartos

How is it open source at all with no source?

Paxos isn’t open source just because you can read the paxos paper.