5,007 karma · joined May 19, 2015
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
The department of defense is not equivalent to the pre-1947 War Department. The War Department was in charge of just the army. There was a separate Department of the Navy. There was no over-arching department for all of the US military.
Post WW2 the US military was restructured to organize all of the branches (including the newly-formed Department of the Air Force) under a united civilian leadership. This was done in the National Security Act of 1947. The new structure was initially called the National Military Establishment and then renamed to the Department of Defense.
So the department of war name going away wasn’t a PR thing. It was because of military parochialism. If they had called this unified structure the Department of War it would have seemed like the Army was now taking over the other branches! And I promise you today’s Admirals understand that history, even if the secretary of defense doesn’t.
The victims can sue the city/state. They might already be doing so in parallel. And honestly that’s the only way to be made whole: these city officials don’t have the tens of millions that would be required to compensate victims. This is more about holding government officials individually accountable.
I have a pet theory about political ads that I would love to find data to be able to confirm/deny. My theory is that those political ads don’t actually convince anyone about who to vote for, and aren’t intended to. Instead, it’s about convincing the people who already support you and your party to show up and vote. If that’s true, then the root cause of all of this money being injected into politics is really a symptom of low voter turnout. And so anything we can do to improve voter turnout will lessen the influence of money in politics.
My justification for this theory is that I see all of these political ads and really don’t find them convincing or liable to change my vote. I actually find attack ads often have the opposite effect on me, where I am immediately skeptical of whatever claim they advance and feel sure there’s important context they are leaving out. Of course I know I’m not the average voter, and other people may see it differently, but I’d love to see some data on this.
Climate change deniers and polluters want to paint the environmental movement as a bunch of neo-Puritans that deride anything that isn’t the bare minimum of subsistence as immoral. And I worry they’ve done this for so long that some supporters of the environment are starting to believe the lie.
If you do something that violates the terms of your bond, the prosecution can file a motion alleging a violation, at which point the defendedant can admit to the violation or deny and request a hearing. Then there's an evidentiary hearing, basically a mini-trial, where the judge hears evidence and determines if there was a violation. If that happens, the consequences can depend. You can forfeit your bond, your bond can be raised, new bond conditions can be imposed, etc.
If you were given a cash bond and can't afford it, you can contract with a bail bondsman. That bail bondsman will pay the bail for you, and in some sense takes responsibility for you not violating your bond, in exchange for some fee (usually 10% of the bond amount). That amount is NOT refunded
The grand jury only hears from the prosecution, there is no defense involved. Only a majority of the grand jury has to sign off, not unanimous like in an actual trial. The standard of evidence is just probable cause, not beyond a reasonable doubt. The rules of evidence are relaxed, meaning hearsay and other evidence can potentially be introduced that would normally be barred from a trial.
Because of the above, the rate of indictment from a grand jury is very high, over 90%. Most prosecutors will go their entire careers without getting a "no true bill" (meaning the grand jury did not sign off on an indictment). There's a saying that "a grand jury would indict a ham sandwich." So the fact that there was no indictment here is a big deal. It will probably hurt that prosecutor's career.
Fun fact: the usage of TERCOM in the tomahawk missile actually limited its ability to be used in Operation Desert Storm. Routes had to be planned to go around actual topographical features, instead of hundreds of miles of flat desert.
EDIT: Yeah this plaintiff is nuts. His complaint, linked by a response to my comment and in other places, is just bizarre. I would highly doubt any allegations he might make.This guy has apparently been suing a bunch of judges in the family courts in Las Vegas. A lot of those proceedings appear to be online: https://www.youtube.com/playlist?list=PLsKMpjAPcB2vRRCMtdEb1...
But for me, for any stronger definition of “thinking,” I don’t think the output of any LLM would actually convince me. Producing a result isn’t thinking - for all you know it is just printing verbatim something from the training data. No, to conclude if it is thinking or not I would want to look inside its head, at the architecture and watch it produce those results. And because LLMs are so different it will probably take advancements in mathematics or computer science to be able to really interpret what is going on
We are in a period of strategic instability and an arms race that is unlike anything we have seen in the last 50 years. You can quibble with the specifics all you want, but I don’t think anyone can argue that we are at a lesser risk of nuclear war that we were, say, 20 or 30 years ago
Learn data structures and algorithms. Understand finite state machines and context free grammars. Learn at least some mathematics. Discrete math, Boolean logic, and statistics. Learn how operating systems work, networking, databases, compilers, machine code, low-level details like registers and the cache hierarchy. Learn more obscure programming languages: like Lisp, Prolog, Haskell, and Forth.
You probably won’t use those in your day job, but they will open your mind to fundamentally different ways of thinking about problems. Honestly, just try to learn as much as you can about as many different areas of computer science as possible. Don’t worry about learning version control, the latest web frameworks, or working with AI, at least not until the very end.
You want to come out of college with two things: the ability to learn new things quickly, and having a wide breadth of knowledge to draw upon. As someone who regularly interviews candidates, that’s what I’m looking for more than anything else.