@muratdemirbas@hillelogram Same here 🙋🏻♂️ learned TLA+ mostly from your sessions.
Hillel’s https://t.co/nduDcda7yh and emailing him the doubts were also a big help.
@DominikTornow but it still gets everyone on the same page. Leadership can help, sure, but it doesn't seem like the core idea. It's all about that agreement in the end, however we get there.
@DominikTornow The reason I had mentioned that 'leader election' isn't the essence of consensus is because it feels to me more about everyone agreeing on the same state. Classic Paxos, for example - it doesn't have a fixed leader, there could be multiple concurrent leaders running ....
@DominikTornow something like agreement on a shared state.
"shared" is redundant in dist systems, maybe just "state agreement" then.
Not able to think of a better term.
Thought I had consensus algorithms all figured out, then I tried writing formal specs for them... Turns out, it’s way easier to spot bugs when you’re *not* imagining them 😶
@benjamenpyle @alexbdebrie DynamoDBMapper ruined it all, people started annotating their actual domain models with ddbMapper annotations and started using ddb like a relational db (this comparison to relational db may not be exactly correct)
@benjamenpyle @alexbdebrie Yup, It makes so much sense. People get so pissed looking at my ddb tables because I have pk, sk instead of naming them better.
IMO, it keeps my table flexible, pk, sk can take any meaning, tomorrow I can put a new data collection there.
@a_prout@MarcJBrooker Failure probabilities are multiplicative when they are independent?
Doesn't seem correct.
They should be multiplicative when they are interdependent.