grogers

21 ms·

181.
by grogers 6y ago
> Proc-3 Observes: W(x),W(z),W(y), R() => y > Proc-4 Observes: W(y),W(x),W(z), R() => z Sequential consistency implies a total order on writes, not just that processes see the writes in an order consistent with the order each in
182.
by grogers 6y ago
All the examples of extremely dedicated people with airplane building side projects were founders. If you are looking for a founder then sure, side projects likely have value. Not all of the employees you hire need an outrageous energy to s
183.
by grogers 6y ago
The article was explicit about this. The A->C message was initiated from thread A before the A->B message. So causally the B->C message is after the A->C message, because it's after the A->B message (which itself is afte
184.
by grogers 6y ago
10 million year half life is long enough that it's not very dangerous anymore.
185.
by grogers 6y ago
Contrived examples like this are ridiculous. Creating such a heavy thing is likely even more expensive than tearing it down. So unless you create it on a separate thread, you probably shouldn't be freeing it on a separate one. It'
186.
by grogers 6y ago
Different people could reasonably disagree. The solutions with top rows: 159483726 594837261 Look pretty equivalent to me, which is how you get the 9 transpositions.
187.
by grogers 6y ago
I know you've done galera in the past, but MySQL group replication would be a good one since it IS the defacto HA solution, unlike with Postgres.
188.
by grogers 6y ago
I know of only one other, in erlang writing code to "just block" works as it should. In erlang processes are even fully preemptible too, not just at possibly-blocking points, although native code blocks the OS thread like in loom.
189.
by grogers 6y ago
This is exactly what MySQL (and I think Oracle) does. The final delete of a row remains tombstoned in the main table until a background process determines it is safe to remove based on transaction visibility (MySQL calls this purge). It see
190.
by grogers 6y ago
If you can't keep 3 rows of the input matrix in cache, why would you be able to keep 3 rows of the output matrix in cache? If the matrices are large enough that they don't fit in cache, shouldn't they be processed in squareis
191.
by grogers 7y ago
Cool site, but can you fix the numbers for Virginia? Currently shows only 19 confirmed infections, but e.g. on [1] it's 604. Spot checked some other states and the others look correct. 1. https://studylib.net/coronaviru
192.
by grogers 7y ago
Regarding the other types of nodes, pure consumers are useful as "standby" nodes. They are ready to be swapped in when another host fails, but don't participate in voting until they are swapped in. Swapping them in still requ
193.
by grogers 7y ago
The paper says the fuel is a low energy plasma of "solid state density". It's not a solid chunk of HB11, which AFAIK doesn't exist. The primary factor limiting the feed is the repetition rate of the laser.
194.
by grogers 7y ago
The rough explanation I've heard before is to satisfy conservation of momentum and energy together. But on doing some more digging this seems wrong. C12+gamma is an output, just only for 0.01% of reactions. No idea why the different b
195.
by grogers 7y ago
https://www.nature.com/articles/srep01170 ehich is the first linked paper in that section explains it well. The laser fires through the hole and ablates material from the back disc. The electrons from the created plasm
196.
by grogers 7y ago
If they succeed in creating a viable p-B11 fusion power plant and that gets developed into a bomb, wouldn't it be a good thing in the sense that it could replace many thousands of fission-based bombs that have huge fallout risk?
197.
by grogers 7y ago
Cooling may be an issue for stacking tons of cpu cores, true. But further increases in cache, RAM, SSD sizes (which may not affect power/cooling as much) will also have benefits.
198.
by grogers 7y ago
AFAIK only LMDB implements MVCC with immutable pages and path copying. Everybody else uses multiple rows distinguished by transaction ID. This works perfectly fine with btrees or hash indexes.
199.
by grogers 7y ago
Given how critical preventing future intent writes is to the protocol to ensure safety during recovery, it'd be nice to have more detail on how that works. Calling it an in memory data structure doesn't exactly inspire confidence.
200.
by grogers 7y ago
Don't know how to verify what it was, but their current match is 100% up to 5% of pay, plus a free 1% of pay. It's good compared to most tech companies but not outrageously good.
201.
by grogers 7y ago
If you earmarked the last burger to multiple people, it would violate serializability, not linearizability. So you should be good on that. Violating linearizability would look like this: with no burgers left, the kitchen cooks a burger, mar
202.
by grogers 7y ago
2000 calories of green veggies (eg broccoli, green beans, lettuce) is about 6-10kg of food. That is such an absurdly huge amount of food for most people they would not be able to eat it even for one day. The veggie group would be constantly
203.
by grogers 7y ago
If the leader fails, the next leader needs to know the values the acceptors have already accepted in order to propagate the previously chosen value, if any. I assume this happens in your election phase. Since we only want to talk to a major
204.
by grogers 7y ago
What is the simpler and more efficient solution than paxos for consensus that uses timeouts?
205.
by grogers 7y ago
Page 7 talks about the conditions under which a liveness condition can be satisfied. What about that is wrong? If you mean paxos is wrong because it can't guarantee progress, then sure it's wrong (and because of FLP, all consensus
206.
by grogers 7y ago
Yes, as described with a constant electric field this shouldn't work, but the idea of using solar wind as a reaction mass seems reasonable. It seems like you'd want to concentrate it with strong magnetic fields first though. Here&
207.
by grogers 7y ago
Just want to point out that specific critical temperature varies with magnetic field. The article mentions 12T and 20K so presumably that is within some reasonable safety margin of the limit for YBCO at that field strength.
208.
by grogers 7y ago
I personally eat one meal a day typically and exercise fasted because it's a convenient time for me to exercise. After exercise I usually feel almost no hunger, usually much less than before. Hard to say if that ends up with more 5 hou
209.
by grogers 7y ago
It's not a lease, anyone can force close your session (which unlocks your locks), which takes effect immediately, not after waiting out a lease holding grace period.
210.
by grogers 7y ago
One of my favorite patterns for updating configuration in-band I learned from Juniper routers. When you enact a new configuration you can have it automatically rollack after some period of time unless you confirm the configuration. Often th

More ›