> It's fascinating that this kind of bug is exactly you can't really avoid even when rust is supposedly to guard against.
Note that Rust is not a theorem prover and Rust programs are usually not formally verified (there are some extensions like Creusot to verify Rust programs, but they are incomplete and a work in progress)
Compiler bugs are, like, just logic bugs. There's a project to eliminate compiler bugs that cause unsoundness, project zero [0] but, still, without formally verifying the implementation, there is nothing really guaranteeing there's no such bugs left.
(note: unsoundness in this context means having safe code cause UB due to a compiler bug; the fix is usually to make the compiler reject the code with a compiler error)
To make matters worse, Rust still doesn't have a spec, and there is not even a tight definition of what are the rules of unsafe code - that is, what rules you must follow so that you unsafe code doesn't trigger UB. Discussions around this are done mainly in issues of the unsafe code guidelines repo [1]
Not that that would make any difference, theorem provers can also have bugs. Famously this summer someone “disproved” the collatz conjecture by exploiting a soundness bug in Lean.
Males back then didn't fail to reproduce from the same social situations as today. They were not neets hiding in basements. Failure to reproduce basically means killed, exiled, or having your groups women taken (by force)
There were other reasons. Early farming communities were almost always patriarchies where the sons stayed on the farm but the daughters switched communities. So local disasters that wiped out a single community took out a male lineage but not a female one.
But reading code is not just determining what the code does. We read code because we want to know if it's good or not. It's hard to judge if we have never programmed before
Well, not really, the contrapositive is that if the series diverges the Riemann Hypothesis would be refuted. But few doubt that the Riemann Hypothesis is true. So using it as an assumption merely makes the convergence slightly iffy. For another example of its use, see the deterministic Miller primality test: https://en.wikipedia.org/wiki/Miller–Rabin_primality_test
It's not just this administration. The US helped create this court and pushed other countries to join, but never joined themselves and always threatened the court if they indicted or judged American people.
There's an US law that says the US will invade Belgium (edit: Netherlands) if the court wanted to investigate an American (???)
I remember Hillary Clinton, in the Obama administration, saying the US is an exceptional country that deserves exceptional conditions regarding this issue
My own country (Brazil) supported South Africa charges of genocide against Israel because we believe in this court and the role it fulfills.
For me, the sole problem with this court is that it's reluctant to judge American war crimes and crimes against humanity. But as Europe leaves the US sphere of influence, maybe they will grow a spine. It would be unfortunate if people like George W Bush, Dick Cheney, John Choon Yoo and Jay Scott Bybee died before they were indicted by this court.
> It's not a corrupt court. It has judged crimes against humanity cases before, and a lot of countries give credence to it.
If your justice system, as a matter of policy, refused to ever arrest any while brazilians would you say it was still corrupt even if every black/brown brazilian they convicted was truly guilty and fairly sentenced? It's corrupt. If their hands truly are completely tied because of credible threats against them by the US then the US is the source of their corruption, but it's still corrupt.
From the US side there's been a long history of refusing to accept that the court has any jurisdiction over the US and some fairly threatening language including:
"We will respond against the ICC and its personnel to the extent permitted by U.S. law. We will ban its judges and prosecutors from entering the United States. We will sanction their funds in the U.S. financial system, and we will prosecute them in the U.S. criminal system. We will do the same for any company or state that assists an ICC investigation of Americans." https://www.bbc.co.uk/news/world-us-canada-45474864
Why is ttc better?
reply