Stellar Consensus Protocol: Proof and Code

Re:Stellar Consensus Protocol: Proof and Code by lucian1900 on Wednesday April 08, 2015 @12:37PM (#9341988)

Interesting that Graydon Hoare [1], Rust's (initial) creator is one of the core developers.

1. https://github.com/graydon

[ Parent | on HN ]

Re:Stellar Consensus Protocol: Proof and Code by neilk on Wednesday April 08, 2015 @12:49PM (#9342076)

Graydon also created monotone, which was a big influence on git.

http://www.monotone.ca/monotone.pdf

https://en.wikipedia.org/wiki/Monotone_%28software%29#Monoto...

[ Parent | on HN ]

Re:Stellar Consensus Protocol: Proof and Code by LukeHoersten on Wednesday April 08, 2015 @01:13PM (#9342278)

I think Monotone was an alternative to BitKeeper and BitKeeper was the inspiration of Git and Mercurial. It even seems to suggest that in the link you posted.

[ Parent | on HN ]

Re:Stellar Consensus Protocol: Proof and Code by pgeorgi on Wednesday April 08, 2015 @01:57PM (#9342582)

Linus played with Monotone before he started git (and it shows)

He is even credited in the changelog: http://lwn.net/Articles/131744/

[ Parent | on HN ]

Re:Stellar Consensus Protocol: Proof and Code by masklinn on Thursday April 09, 2015 @06:58AM (#9346715)

BitKeeper not being available anymore was the impetus for starting Git and Mercurial (as replacements for BK), but many of the concepts in Git and Hg come from Monotone, most importantly the use of merkle trees (according to /u/ggherdov Matt Mackall[0] recently mentioned this explicitly on IRC). Linus also mentioned Monotone by name as "the most viable alternative" before starting/publishing git[1] and as pgeorgi noted contributed to the same.

[0] https://www.reddit.com/r/programming/comments/31yi7d/graydon...

[1] https://lkml.org/lkml/2005/4/6/121

[ Parent | on HN ]

Re:Stellar Consensus Protocol: Proof and Code by psj on Wednesday April 08, 2015 @06:04PM (#9344375)

He also did a little write-up around this stuff:

http://graydon2.dreamwidth.org/201698.html

[ Parent | on HN ]