Hacker Newsnew | past | comments | ask | show | jobs | submit | otrack's commentslogin

Author here.

Lamport simply calls his protocol "Paxos" to refer to both the single‑decree and multi‑decree versions. This is also the case in his other works, e.g., "Fast Paxos" and "Generalized Paxos." The term "Multi‑Paxos" is a later community/industry shorthand for the repeated or optimized use of single‑decree Paxos.


The situation is less dramatic than this article says.

https://edri.org/our-work/chat-control-what-is-actually-goin...


So true.


Same here. The only clue I found are the following two lines in the Q/A section: "What consistency model does YDB use? To read data, YDB uses a model of strict data consistency."


On th topic, I would advice reading the boulangerie algorithm. An improved version of the original solution:

https://lamport.azurewebsites.net/tla/boulangerie.html


sshell inherits the limitations of the FaaS infrastructure, including the time limit. Regarding the big data use case, more work is necessary to assess this, but the applications we have written so far were competing both in terms of efficiency and pricing (Section 5 in [1]).

[1] https://drive.google.com/file/d/1D7h0hoMep0W73XV_EdXPSEWUxpT...


Very interesting work, thanks for the link! We actually missed it among the references in our paper [1] and will correct this in the journal version. Regarding the differences, lsh has an interactive mode but not sshell. On the other hand, sshell compile to native (to support massively parallel calls), and IPCs between such calls (thanks to the DSO layer).

[1] https://drive.google.com/file/d/1D7h0hoMep0W73XV_EdXPSEWUxpT...


This is now detailed.


Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: