Dan Portsdan
Jan 5, 2023, 6:43 PMAs a distributed systems researcher, I’d like to thank the House of Representatives for demonstrating that leader election protocols can’t be guaranteed to terminate.
Replies
- Dan PortsdanOct 3, 2023, 8:54 PM
I guess it's time to dust off this toot again...
- Dan PortsdanJan 3, 2025, 6:45 PM
Is it too soon to break out this toot again?
DevdevJan 5, 2023, 6:46 PM
Ellis MichaelemichaelJan 5, 2023, 6:55 PM@dan They should randomize!
tyoc213tyoc213Jan 13, 2023, 3:59 PM
Jan 5, 2023, 7:43 PM@dan unless there are timeouts.
Jeffrey P. Bigham 🔥🔥jbigham@hci.socialJan 5, 2023, 7:55 PM@dan i mean, couldn't they say that in the event that no one receives a majority, the top two candidates are fed forward, and everyone has to vote on one or the other?
comicmuse ☘️comicmuse@mastodon.ieJan 5, 2023, 11:47 PM@jbigham They could. They can change all the rules. They haven't.
Jan 5, 2023, 8:18 PMGreek island politics may have something to teach them!
Brian Repkobrianrepko@hachyderm.ioJan 5, 2023, 9:07 PM@dan This is kind of content I expect from the Fediverse - and I *LOVE* it - thank you!
VishvishJan 5, 2023, 9:48 PM@dan We might need to resolve this on a certain island off the coast of Greece.
Jan 5, 2023, 10:31 PM@dan silly folks should have added an elimination of weakest clause (and no adding new candidates in successive rounds).
fish helmethumulus@mastodon.socialJan 5, 2023, 11:30 PM@dan In a ring with unique IDs and leader determination delegated to an external entity (clerk), termination should be guaranteed, unless the nodes are human.
IPmongerIPmonger@hachyderm.ioJan 6, 2023, 12:04 AM@dan is deciding if they will an NP problem in the general case?
Natanael ⚠️Natanael_L@mastodon.socialJan 6, 2023, 2:10 AM
eagerpebbleeagerpebble@vivaldi.netJan 6, 2023, 6:48 AM
RobertChangeJan 6, 2023, 1:29 AM@dan Just need to discuss 😅
ViennaMikeViennaMike@mastodon.socialJan 6, 2023, 2:14 AM@dan Doesn't that depend on the protocol?
YnoTcrtvprdx@mastodon.socialJan 6, 2023, 3:04 AM@dan Dan. 😑
The Magnificent Hogthemagnificenthog@techhub.socialJan 6, 2023, 3:28 AM@dan I laughed waaaay too hard at this.
Mike Molmikemol@pony.socialJan 6, 2023, 5:26 AM@dan *tips his CAP theorem*
jess_ingrassjessingrass@social.linux.pizzaJan 6, 2023, 5:35 AM@dan 🤣
AlexMillerDBAlexMillerDB@fosstodon.orgJan 6, 2023, 7:34 AM@dan Speaker of the House: an epidemic quorums approach to achieving quorum in an epidemic
William Heroldwilligula@vis.socialJan 6, 2023, 7:53 AM@dan Blockchain would make... uh... make nontermination much more computationally expensive.
Steady#286steady@social.dutka-is.deJan 6, 2023, 8:39 AM
Cassandrichdalias@hachyderm.ioJan 6, 2023, 10:46 AM@dan Given all the coughing going on in there, with some luck COVID will force termination... 🤪
Jamie Gaskinsjamie@zomglol.wtfJan 6, 2023, 1:01 PM@dan Should we start drafting a RAFT CVE just in case? 😄
Geoff 🏴_thegeoff@mastodon.socialJan 6, 2023, 8:43 PM@dan Could they have a vote on whether the Speaker election will halt or not?
Alexalexthepres@ohai.socialJan 7, 2023, 12:03 AM@dan I like the Mario kart 8 online map selection algorithm that just weights a dice roll by your votes haha
Tom BensonTomBensonAllyofmany@universeodon.comJan 7, 2023, 8:50 PM@dan So far I'm finding more consistently good nerd jokes on Mastodon than on Twitter. This is an example.
Jan 7, 2023, 8:59 PM@dan (laughing :-)
Rob RicciricciOct 3, 2023, 9:04 PM@dan I like that apparently there's a secret backup leader whose identity is only revealed when the primary is terminated
The Audacity of Nopesecretasianman@types.plOct 3, 2023, 9:45 PM@dan gdi dan
- The Audacity of Nopesecretasianman@types.plJan 3, 2025, 6:47 PM
@dan oh no is it happening again
- The Audacity of Nopesecretasianman@types.plJan 3, 2025, 6:50 PM
@dan and again and again
- Dan PortsdanJan 3, 2025, 6:54 PM
@secretasianman well we’re only on the first round of this shitty consensus protocol but…
Chris BohnDocBohn@techhub.socialJan 3, 2025, 6:48 PM@dan It's The Byzantine Legislators Problem
