_benedict

6 ms·

1.
by _benedict 10mo ago
I can’t speak for the authors, but I have been lucky enough to be collaborating with them on behalf of the Apache Cassandra project, to refine and prove the correctness of the Accord protocol - a derivative of EPaxos we have integrated into
2.
by _benedict 10mo ago
“Paxos” is a term that can mean many different things, so it’s better not to get too attached to any one meaning especially in different contexts. Multi Paxos is commonly used (especially in industry) as short hand for multi decree Paxos (i
3.
by _benedict 10mo ago
I remember there being sufficient documentary evidence in the entrance/shop/museum bit to conclude it was most likely created by the very people who “discovered” it, to serve as a tourist attraction.
4.
by _benedict 1y ago
Thank you for linking the source material, unfortunately it badly contradicts you. It clearly shows that the _very first_ list of ten suggested search terms contained (pretty heavily) sexualised suggestions.
5.
by _benedict 1y ago
No, the ruling expressly refers to the list as non exhaustive, but given the other related references to misconduct (including the use of inappropriate language) it was not reasonable to infer that this example was gross misconduct.
6.
by _benedict 1y ago
Worth noting, not quite "everyone" does this. Cassandra uses "leaderless" (single decree) paxos, which has some advantages and some disadvantages (for instance, 1RT WAN reads from any region). I agree with you that Paxos
7.
by _benedict 1y ago
Not even a coincidence really, it's a very different kind of system. It's an implementation of Hermes with network layer integration. Hermes is designed with very different goals in mind, specifically within-DC consensus with mini
8.
by _benedict 1y ago
Revolutionary may be an overstatement, it just affords different system characteristics. There's plenty of literature on the topic though, starting generally with EPaxos[1]. The protocol that we are developing is for Apache Cassandra,
9.
by _benedict 1y ago
Do you anywhere elaborate what you mean by leaderless, and how this affects the semantics and guarantees you offer? So far as I understand both Kafka and Pulsar use (leader-based) consensus protocols to deliver some of their features and gu
10.
by _benedict 1y ago
> If you really want to get silly, x2iedn.32xl is 128 vCPU / 4 TiB RAM, and you get 3.8 TiB of local NVMe This doesn't affect availability - except insofar as unavailability might be caused by insufficient capacity, which is no
11.
by _benedict 1y ago
I think you may have misunderstood the GP and are perhaps misusing terminology. You cannot meaningfully scale vertically to improve write availability, and if you care about availability a single machine (and often a primary/secondary
12.
by _benedict 1y ago
This doesn’t seem to provide higher write availability, and if the read replicas are consistent with the write replica this design must surely degrade write availability as it improves read availability, since the write replica must update
13.
by _benedict 2y ago
Fair enough!
14.
by _benedict 2y ago
Ha, as it happens there's documentary evidence online from Diego himself, that he was not influenced by VSR. https://groups.google.com/g/raft-dev/c/cBNLTZT2q8o
15.
by _benedict 2y ago
A good example to illustrate this perhaps is Babbage. He invented the computer first, but nobody using computers today was influenced by him, impressive though his achievements were! Nor would we say that computers are a kind of Babbage “an
16.
by _benedict 2y ago
I don’t interpret those words that way. I see that as a recognition of the VSR paper, as had been recently highlighted in VSR revisited at the time of publication. I guess you would have to ask the author if VSR had actually influenced his
17.
by _benedict 2y ago
I know it was published first, we’ve talked about this before :) But, I’m not sure what was published first decide what’s a variant of what. I would say that, given the breadth of research into variants of Paxos and the ways it can be modif
18.
by _benedict 2y ago
TigerBeetle uses VSR, which is basically a variant of MultiPaxos/Raft.
19.
by _benedict 2y ago
I’m not sure how a written constitution that is anyway interpreted by “the prevailing political elite class” is functionally much different?
20.
by _benedict 2y ago
I think the problem is that exploit can mean multiple things, and it’s obviously true that companies want to exploit everything in the non-pejorative sense. The problem is transforming the word’s meaning in the next sentence to imply they u
21.
by _benedict 2y ago
Yep, if the work itself is what drives you rather than the organisation and people, and you’re able to achieve that solo, then the question is just whether you prefer a commute and office experience. Personally, while I miss colleague inter
22.
by _benedict 2y ago
We do currently require all threads to be created by one of our own factories, but that's primarily because this grew out of a non-byte weaving approach (where we explicitly replaced our concurrency primitives). Looking at the class no
23.
by _benedict 2y ago
We have something very similar[1] we use in the Apache Cassandra project to test complex cluster behaviours. We appear to use exactly the same basic technique, using byte weaving to intercept concurrency primitives such as synchronized, Loc
24.
by _benedict 2y ago
I have always assumed it was just due to the uneven distribution of weight by vehicles often being stationary in the same spot, so those points are subject to more compression forces than the surrounding road surface. If it were acceleratio
25.
by _benedict 2y ago
This assumes that road wear and tyre wear are caused by the same mechanism, but tyre wear is presumably caused predominantly by friction, whereas road wear is at least in part (and perhaps predominantly) caused by compression, creating pot
26.
by _benedict 2y ago
Where does 110PW come from? Wikipedia quotes global energy production at 19.6TW which makes 3.7TW in five years not too bad?
27.
by _benedict 2y ago
There are always local subsidiaries, so these are generally European companies making the profit and paying no tax. Several of these companies famously exploit jurisdictional loop holes with how they define where the value arises to avoid p
28.
by _benedict 2y ago
I’m simply providing an alternative view; this is about perception of relative risks, so there is not an absolutely correct position. It might also be that in Tokyo the speed of traffic is higher or road users less conscious of cyclists so
29.
by _benedict 2y ago
Bicycle paths on walkways are also hazardous to cyclists - and stressful, at least in London where there’s a lot of pedestrians and they uniformly ignore the markings and treat them like any other path. Crashing into a pedestrian is certain
30.
by _benedict 2y ago
Are you thinking of Hinkley Point C? My understanding was that there has been no additional funding provided. The project is way over budget, but it is EDF and its owner (the French taxpayer) who appear to be on the hook. The project is fun

More ›