Top all-time · #20732
Tobias Grieger
Personal blog · tschottdorf.github.iosystemsprogramming
Tobias Grieger's personal blog at tschottdorf.github.io covers systems and programming. Since 2017, 3 different Hacker News readers have linked it 4 times, most often “Gryadka is not Paxos, so it's probably wrong”. The last post was in 2018, but the archive is still widely read.
Too few sampled comments (3) to say how often HN recommends it.?
Why HN links it
HN commenters link Tobias Grieger's posts on whether Gryadka's Paxos-style consensus is correct, and on TLA+ checks of single-decree Paxos. The links are cited as evidence, not praised.
Summarised by Claude from a sample of 3 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Most-linked posts?
- Gryadka is not Paxos, so it's probably wrong2 people · 2 mentions · first linked 2017-03-24
What Hacker News says?
I responded in the comments: http://tschottdorf.github.io/if-its-not-paxos-its-probably-w... the analysis is based on a false assumption about the read operation
Comment linking /if-its-not-paxos-its-probably-wrong-gryadka
on “In search of a simple consensus algorithm”Submitted Gryadka is not Paxos, so it's probably wrong as a story · 132 points
HN discussionI don't think that gryadka is correct, see http://tschottdorf.github.io/if-its-not-paxos-its-probably-w... .
Comment linking /if-its-not-paxos-its-probably-wrong-gryadka
on “In search of a simple consensus algorithm”Some update on Gryadka - Tobias Schottdorf and Greg Rogers independently explored it with TLA+ and didn't find any issues: - https://tschottdorf.github.io/single-decree-paxos-tla-compar... - https://medium.com/@grogepodge/tla-specification-for-gryadka...
Comment linking /single-decree-paxos-tla-compare-and-swap
on “Paxos derived”
