Uh, no it’s not.

It is. As a result of the Epic Games v. Google, Android builds with the Play Store are required to allow users to install apps without any warning at all. They obviously can’t allow any app to be installed without a warning because this would be a boon to malware authors, so this is now enabled with verification. You can now even share apps you build with your friends without requiring them to go through an unverified apps flow with a scary warning. Additionally, Google is not allowed to take a revenue cut from those installs.

You’re confused because the install process for apps that are not verified (a path that didn’t exist before at all) or installed from a system app store has changed. This now has to be done with adb, which takes effect immediately, or via an on-phone process that takes a day to complete. Once it is done, this setting is copied to new phones, so the process actually becomes easier for most people who do this because they don’t have to go through the process repeatedly.

It is possible on every Google phone.

This change is the opposite. It makes it possible for a user to install the Epic Games Store from their website without seeing a scary warning, and Google won’t get a cut of any of the revenues from that store. The same with any other company. Netflix can now offer their app from their website, and people can install it without any warning, and Netflix won’t have to send any revenue to Google for people who subscribe in the app.

This change makes it so you can’t install software (such as F-Droid, NewPipe, Google Camera, Samsung Notes, etc.) from APK, unless you install them directly from Google’s Play Store [without going through unnecessary hoops and 24-hour delays].

This change was precipitated by a change that allows you to install an app outside the Play Store without the user seeing a scary warning or going through the existing hoops, as required by the Epic Games v. ruling.

I do count incumbents as primary candidates. The DNC funds the winner of the primary, whomever that may be.

Feel free to browse through https://www.opensecrets.org/political-parties/DNC/2024/expenditures and show us.

The DNC doesn’t give money to any primary candidates.

Better by the only criteria that matters. Once something is proved, everybody will agree to it given enough time to examine and question the proof. Once someone makes a mathematical proof, the philosophical arguments are thrown on the trash heap. As you mentioned, Wittgenstein threw his earlier philosophical arguments on the trash heap. Given a few more years, he would have thrown his latest philosophical arguments on the trash heap as well.

And again, the history of philosophy is replacing philosophical arguments with better tools. Your link just shows sloppy thinking from both Hume and his critics.

If a mathematical proof hasn’t been verified, it isn’t accepted. For a proof that uses lots of new nontrivial machinery, the mathematician is expected to give talks to motivate that machinery and answer questions from other mathematicians. Or they can just build their proof in Lean from already well understood axioms.

It’s generally agreed

That’s my point. Mathematical proofs aren’t generally agreed. They are agreed by everyone to logically follow from the definitions and axioms started with. Every single statement in a mathematical proof evaluates to true or false, and if you don’t believe a mathematical proof, you can directly point to a statement that is false. Philosophical arguments are “generally agreed” upon until the tools to take them out of philosophy are developed, and then the philosophical arguments are discarded entirely.

Your same argument that mathematics can be discussed under philosophy can be used to argue that mathematics can be discussed under the framework of wild untethered speculation. Neither one is a convincing argument that philosophy or wild untethered speculation is useful.

This is why ethics has failed. It has been built on the unstable foundation of philosophy instead of on the solid foundation of mathematics.

It’s not about those specific proofs.

It certainly is about those specific proofs and anything that has been rigorously proven in Lean. We’re discussing techniques that show something is correct forever, and those proofs show that something is correct forever. Philosophical arguments don’t even show that something is correct today. This is why the examples I gave earlier are now not explained by philosophy but by other systems. Once the tooling exists to lift a discussion out of philosophy, that is the end of philosophical debate for that topic.

Furthermore, the kernel still relies on CPU, memory and OS behavior to be bug free.

Only to a point, just like human language proofs require the reviewers brains to be bug free to a point. The repeated verification makes proofs as correct as anything can get.

The fact that C++ is Turing complete does not prevent it from computing that 1+1=2. Similarly, the fact that C++ is Turing complete does not prevent programs created from it from verifying the proofs that they have verified. The proof of the halting problem (and incompleteness proofs based on the halting problem) itself halts. https://leanprover-community.github.io/mathlib_docs/computability/halting.html

It is not necessary to solve the halting problem to show that a particular lean proof is correct.

79% of Americans say they want age caps for elected officials, but they keep voting for people older than those age caps, and that is the result that counts in the end.

You’re just covering my third paragraph. Yes, everybody is a philosopher because we don’t have the tools to do away with philosophical arguments entirely yet.

Once a mathematical proof has been verified by computer, there is no arguing that it is wrong. The definitions and axioms directly lead to the proved result. There is no such thing as verifying a philosophical argument, so we develop tools to lift philosophical arguments into more rigorous systems. As I’ve shown earlier, and as another commenter added to with incompleteness, this is a common pattern in the history of philosophy.

And we determined that the resulting incompleteness proofs are valid mathematical proofs whose logical correctness has been verified by computer. https://formalizedformallogic.github.io/Catalogue/Arithmetic/G___del___s-First-Incompleteness-Theorem/#goedel-1

They are clearly mathematical. Starting with definitions and axioms and deriving results from there using mathematical statements.

But that’s math. And its proof is math. And that proof is true everywhere forever.

I see philosophy as a place to make nonrigorous arguments. Eventually, other fields advance enough to do away with many philosophical arguments, like whether matter is infinitely divisible or whether the physical brain or some metaphysical spirit determines our actions.

Since this is a question that math hasn’t advanced enough to answer, we can have a philosophical argument about whether other fields will eventually advance enough to get rid of all philosophical arguments.

You’ll find that a lot of people here don’t care how old Sanders is (older than McConnell). It’s his turn.

Cannabis has been found to be ineffective for most of the conditions it’s prescribed for.

No, it hasn’t.

From the very beginning of the linked article: “Medical cannabis lacks adequate scientific backing for most of the conditions it is commonly used to treat”

Reading is hard, as you say.

Cannabis has been proven to be a very effective treatment for nausea and seizures

Not “very” and not for “nausea and seizures” in general. It has shown effectiveness specifically for “chemotherapy-induced nausea” and “certain severe pediatric seizure disorders such as Dravet syndrome and Lennox-Gastaut syndrome” according to the very article that you claim to have read. For more, Dr. Chung explains

“Recently, cannabidiol (CBD) is the one that showed efficacy, but people tend to extend that into any other epilepsy… It is confined, as evidence suggests, to those 2 syndromes, but not other types of epilepsy.”

The standard of care treatment for chemotherapy induced nausea is antiemetics. More recently, Dravet Syndrome can be treated with Zorevunerson with over 90% efficacy. This is without the risk of cannabis associated psychotic symptoms. I have personally witnessed a smart kid at a top university succumb to debilitating marijuana induced schizophrenia and get banned from campus as a safety risk. That is not a side effect that patients should accept.

Regardless, cannabis has been an effective treatment for many medical issues for centuries for a reason,

Mercury was a mainstay in medicine for treating syphilis, constipation, and infections (using calomel) from the 16th to 20th centuries, often causing severe toxicity. Medical science is a relatively new concept. Doctors didn’t start sterilizing their instruments until the late 19th century.