otrack

7 ms·

1.
Conflict-Freedom as a Progress Condition(arxiv.org)
3 points by otrack 2mo ago|0 comments
2.
Conflict-Freedom as a Progress Condition(arxiv.org)
2 points by otrack 2mo ago|0 comments
3.
Show HN: Core Rankings for DBLP Profiles(pubtier.com)
1 points by otrack 3mo ago|0 comments
4.
Show HN: Core Rankings for DBLP Profiles(pubtier.com)
2 points by otrack 3mo ago|0 comments
5.
Show HN: Core Rankings for DBLP Profiles(pubtier.com)
2 points by otrack 3mo ago|0 comments
6.
by otrack 11mo ago
Thank you, dgacmu! We are currently working on a TLA+ specification with master's students, and we plan to verify it with TLC and Apalache. I discovered that Iulian's TLA+ specification was missing a ballot variable [1] by injecti
7.
by otrack 11mo ago
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 ter
8.
Making Democracy Work: Fixing and Simplifying Egalitarian Paxos(arxiv.org)
180 points by otrack 11mo ago|56 comments
9.
by otrack 1y ago
The situation is less dramatic than this article says. https://edri.org/our-work/chat-control-what-is-actually-goin...
10.
Thinking Is Becoming a Luxury Good(nytimes.com)
8 points by otrack 1y ago|2 comments
11.
by otrack 1y ago
So true.
12.
Revisiting Lower Bounds for Two-Step Consensus(arxiv.org)
2 points by otrack 1y ago|0 comments
13.
Revisiting Lower Bounds for Two-Step Consensus(arxiv.org)
1 points by otrack 1y ago|0 comments
14.
Generic Multicast(arxiv.org)
1 points by otrack 2y ago|0 comments
15.
The Energy Footprint of Humans and Large Language Models(cacm.acm.org)
3 points by otrack 2y ago|0 comments
16.
Contributions to the Practice and Theory of State-Machine Replication(theses.hal.science)
2 points by otrack 2y ago|0 comments
17.
Contributions to the Practice and Theory of State-Machine Replication(theses.hal.science)
2 points by otrack 2y ago|0 comments
18.
Contributions to the Practice and Theory of State-Machine Replication(theses.hal.science)
2 points by otrack 2y ago|0 comments
19.
P vs. NP: The Biggest Puzzle in Computer Science [video](youtube.com)
3 points by otrack 2y ago|0 comments
20.
SwiftPaxos: Fast Geo-Replicated State Machines(github.com)
2 points by otrack 2y ago|0 comments
21.
SwiftPaxos: Fast Geo-Replicated State Machines(github.com)
2 points by otrack 2y ago|0 comments
22.
SwiftPaxos: Fast Geo-Replicated State Machines(github.com)
2 points by otrack 2y ago|0 comments
23.
by otrack 3y ago
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."
24.
by otrack 3y ago
On th topic, I would advice reading the boulangerie algorithm. An improved version of the original solution: https://lamport.azurewebsites.net/tla/boulangerie.html
25.
by otrack 5y ago
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 effici
26.
by otrack 5y ago
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,
27.
by otrack 5y ago
This is now detailed.
28.
Sshell: Serverless Shell(github.com)
64 points by otrack 5y ago|15 comments
29.
On the Correctness of Egalitarian Paxos(github.com)
2 points by otrack 8y ago|0 comments
30.
On the Correctness of Egalitarian Paxos(github.com)
2 points by otrack 8y ago|0 comments

More ›