That, or "Paxos" is a fantastic name, and "replicated state machine" is a mouthful. I've implemented the consensus part of Paxos in 10 minutes. But it's a toy. It's totally useless without the other stuff.
The part I found non-obvious is how to snapshot the unbounded vectors of immutable registers, which is a requirement for any real system. But I never gave it a whole lot of thought either. To snapshot, I either need to…
Only an idiot would design a device to assume no packet loss, unless they were _also_ allowed to design the network. If you buy such a device and put it on a janky power network, then you have only yourself to blame.…
I can't believe you had to pay a fine to comply with the government's own laws. No reasonable person would expect an operation to make no mistakes here. How big were the fines? Were they ever challenged in court?
So much racism for treating functions as black boxes. That's what you're supposed to do: treat functions as black boxes, not express casual racism on hacker news.
He's suggesting we pay them better to make up for depriving them of vehicles private citizens can use. It's not unreasonable to strip them of those vehicles to prevent insider trading. It's not unreasonable to…
Health systems deal with scarcity on a daily basis. There's no room for the emotional hand-wringing you're describing. Moving scarce resources from diagnosis patients to studying the population during a pandemic will be…
Do you know what's even worse for the hospital's ability to treat patients? If the city continues to operate normally until the number of cases is so large that it's obvious the outbreak is unmanageable even without…
Foolish. Short-sighted. Informed policy was, and is, more important than a couple thousand more clinical tests. If policy had been informed, the number of people saved would have out-weighed the handful who died due to…
Fallacious. A headache is evidence of a brain tumor, but there's not a 51% chance you have a brain tumor. You've satisfied some necessary conditions for retaliatory action, but haven't converted that into a probability.…
Preponderance of evidence is the bar that must be met. But the plaintiff must provide the evidence to the courts. The discovery process makes some of the defendant's records available to the plaintiff, in case there is…
Brick. Wall. >Re-read the last line of my original post. Still wrong. Reread the second to last line of your original post. >There's a reason why screening tests need to be highly accurate. They don't. That's the point.…
It's like talking to a brick wall. Medical technology is approximately monotonically increasing, so it's absurd to think the test we cobble together in the first month won't be improved upon. The CDC FUCKED UP. I expect…
My favorite game. Are you aware that the test can be improved by training medical personnel on sampling technique? Are you aware that tests will, as a general rule, improve? Are you aware that the majority of people…
If the reproduction rate is 10, and you catch 70% of cases, then the effective reproduction rate will be closer to 3. Since even the highest estimates of the basic reproduction number are only about 4, a test that's 75%…
Creating perfect types for every single input is also an anti-pattern. Most of our needs fall somewhere between "works pretty well" and "formally verified". Riding herd on the type system to prove ever more invariants…
If you choose an arbitrary limit orders of magnitude above normal use, then you probably don't have any protection. Most systems are scaled to reasonable use, so an additional 1000x load in a dimension could bowl over…
I've done it with an oven.
There are more hardware exploits. New classes of exploits using physics and side-channels are circumventing the formal models used to build CPUs. CPU designers have made complex architectural decisions to speed up…
Almost, but plenty of computer architects speculated about vulnerabilities in speculative execution. It just seemed infeasible. The attack can differ based on the particular architecture (cache hierarchy, associativity,…
This is an amazing observation for someone unfamiliar with structural typing. It's probably also why python programmers tend to enjoy Go.
Cool, it seems that US tomato farms produce as much light as North Korea.
Then you failed to comprehend the subject. The point is that a wide array of problems and models are really the same thing.
Storage spaces is probably the best software raid available today. Unfortunately, it comes with windows. It supports heterogenous drives, safe rebalancing (create a third copy, THEN delete the old copy), fault domains…
This problem was created by regulation. It's not clear that markets can work when governments grant monopolies, and don't restrict the ensuing vertical integration. The only solution is to grant weaker monopolies.
That, or "Paxos" is a fantastic name, and "replicated state machine" is a mouthful. I've implemented the consensus part of Paxos in 10 minutes. But it's a toy. It's totally useless without the other stuff.
The part I found non-obvious is how to snapshot the unbounded vectors of immutable registers, which is a requirement for any real system. But I never gave it a whole lot of thought either. To snapshot, I either need to…
Only an idiot would design a device to assume no packet loss, unless they were _also_ allowed to design the network. If you buy such a device and put it on a janky power network, then you have only yourself to blame.…
I can't believe you had to pay a fine to comply with the government's own laws. No reasonable person would expect an operation to make no mistakes here. How big were the fines? Were they ever challenged in court?
So much racism for treating functions as black boxes. That's what you're supposed to do: treat functions as black boxes, not express casual racism on hacker news.
He's suggesting we pay them better to make up for depriving them of vehicles private citizens can use. It's not unreasonable to strip them of those vehicles to prevent insider trading. It's not unreasonable to…
Health systems deal with scarcity on a daily basis. There's no room for the emotional hand-wringing you're describing. Moving scarce resources from diagnosis patients to studying the population during a pandemic will be…
Do you know what's even worse for the hospital's ability to treat patients? If the city continues to operate normally until the number of cases is so large that it's obvious the outbreak is unmanageable even without…
Foolish. Short-sighted. Informed policy was, and is, more important than a couple thousand more clinical tests. If policy had been informed, the number of people saved would have out-weighed the handful who died due to…
Fallacious. A headache is evidence of a brain tumor, but there's not a 51% chance you have a brain tumor. You've satisfied some necessary conditions for retaliatory action, but haven't converted that into a probability.…
Preponderance of evidence is the bar that must be met. But the plaintiff must provide the evidence to the courts. The discovery process makes some of the defendant's records available to the plaintiff, in case there is…
Brick. Wall. >Re-read the last line of my original post. Still wrong. Reread the second to last line of your original post. >There's a reason why screening tests need to be highly accurate. They don't. That's the point.…
It's like talking to a brick wall. Medical technology is approximately monotonically increasing, so it's absurd to think the test we cobble together in the first month won't be improved upon. The CDC FUCKED UP. I expect…
My favorite game. Are you aware that the test can be improved by training medical personnel on sampling technique? Are you aware that tests will, as a general rule, improve? Are you aware that the majority of people…
If the reproduction rate is 10, and you catch 70% of cases, then the effective reproduction rate will be closer to 3. Since even the highest estimates of the basic reproduction number are only about 4, a test that's 75%…
Creating perfect types for every single input is also an anti-pattern. Most of our needs fall somewhere between "works pretty well" and "formally verified". Riding herd on the type system to prove ever more invariants…
If you choose an arbitrary limit orders of magnitude above normal use, then you probably don't have any protection. Most systems are scaled to reasonable use, so an additional 1000x load in a dimension could bowl over…
I've done it with an oven.
There are more hardware exploits. New classes of exploits using physics and side-channels are circumventing the formal models used to build CPUs. CPU designers have made complex architectural decisions to speed up…
Almost, but plenty of computer architects speculated about vulnerabilities in speculative execution. It just seemed infeasible. The attack can differ based on the particular architecture (cache hierarchy, associativity,…
This is an amazing observation for someone unfamiliar with structural typing. It's probably also why python programmers tend to enjoy Go.
Cool, it seems that US tomato farms produce as much light as North Korea.
Then you failed to comprehend the subject. The point is that a wide array of problems and models are really the same thing.
Storage spaces is probably the best software raid available today. Unfortunately, it comes with windows. It supports heterogenous drives, safe rebalancing (create a third copy, THEN delete the old copy), fault domains…
This problem was created by regulation. It's not clear that markets can work when governments grant monopolies, and don't restrict the ensuing vertical integration. The only solution is to grant weaker monopolies.