openasocket
Joined 11 years ago
Joined 11 years ago
I also think it’s unfair to look at just food prices. Housing and healthcare have bloomed massively.
Like, there exist problems that have a lower bound of n time where algorithms can get arbitrarily close to O(n) complexity but there is no program that actually reaches it (there is one that runs in time O(n^{1.1}), one that runs in O(n^{1.01}), etc).
But that doesn’t mean that there aren’t hard walls, it just means there are hard walls where every program’s runtime is > that wall, rather than >= that wall. But maybe I’m misunderstanding, or there are some corollaries I’m missing?
As an aside, as someone who studied more on the pure math side, Blums speed up theorem is rather intuitive. It looks like there might be a relatively elegant proof using topology. Blums speed up theorem is basically just a statement that the set of programs that implement a particular computable function doesn’t satisfy the greatest lower bound property. This is also the case for, for example, the set of rational numbers: there exist subsets of the rational numbers with a lower bound but not a greatest lower bound (like the set of all positive rational numbers q where q^2 >= 2). I’m hand waving, but I think in that same vein you can show that the set of programs under the topology of ordering by runtime is completely disconnected.
And yeah, maybe the defending countries leader isn’t willing to end it all, and maybe try collaboration or partisan resistance. But if you were the attacking country, would you be willing to make that bet? Or would you hesitate?
The DPRKs primary goal is preservation of the Kim regime above all else. That’s why the DPRK over the last 70+ years has focused on Juche, a principle of self-reliance. The vast majority of their weapon systems are of indigenous designs and manufacture. And why they have developed and deployed an independent nuclear deterrent.
But I think the most important thing to keep in mind is that a bug isn’t necessarily less serious or less important than a vulnerability. A serious bug should be patched just as urgently as a serious vulnerability.
So, when you get arrested, you are required to be arraigned by a judge, and that judge has to find probable cause for arrest. That requires the prosecution to present evidence to the judge that a crime was committed and you probably did it. It’s a very low standard of proof, but it does have to happen. And then you are required to get bail, outside of very extreme cases. It depends on the jurisdiction, but all of that has to happen relatively quickly after arrest, like 24-72 hours. If she didn’t get bail until 13 days after the arrest, that’s a pretty cut and dry civil rights violation. If they didn’t get a probable cause determination in that time period, that’s a civil rights violation (unless they got an arrest warrant prior, which they might have in this case).
If she did get bail within a couple days, but it was just so much she couldn’t afford it, then it gets murkier. Because at that point thats not the police or the prosecutor, that’s the judge. Similarly, if the prosecutor presented the evidence they had to a judge for a probable cause determination (or the arrest warrant) and the judge granted it, that’s on the judge. You would have to show the prosecutor and/or police lied or presented inaccurate information in court. If not… at that point you have two independent branches of government screwing up.
Was she just given an extremely high bond she couldn’t afford? Not that that’s much better than no bond at all, but I’d really like to understand the details here.
Now it feels like companies are treating these breakouts like a chance for PR. I don’t think that will change until their swarm gets corrupted by some random black hat to do en-masse spear phishing or something