Elmo dunking on losers via the cold silence of disregard. You love to see it.

Hah no worries. Thanks for being so reasonable yourself lmao.

Fair points. The latter case is basically where my concern is.

I think you are assuming a level of competence from people that I don’t have faith people actually have. People absolutely can and do take “you cannot prove a negative” as a real logical rule in the literal negation sense. This isn’t colloquialism. This is people misunderstanding what the phrase means.

I have definitely had conversations with idiots that have taken this phrase to mean that you just literally cannot logically prove negated statements. Whether folks like you get that that is not what the phrase refers to is irrelevant to why I’m pointing out the distinction.

If you subscribe to classical logic (i.e., propositonal or first order logic) this is not true. Proof by contradiction is one of the more common classical logic inference rules that lets you prove negated statements and more specifically can be used to prove nonexistence statements in the first order case. People go so far as to call the proof by contradiction rule “not-introduction” because it allows you to prove negated things.

Here’s a wiki page that also disagrees and talks more specifically about this “principle”: source (note the seven separate sources on various logicians/philosophers rejecting this “principle” as well).

If you’re talking about some other system of logic or some particular existential claim (e.g. existence of god or something else), then I’ve got not clue. But this is definitely not a rule of classical logic.

So you’re saying that because a religion allows you to choose which of God’s commandments, carefully passed down through every generation, you personally want to follow based on your gut feeling, can’t be shamed?

No, that is not what I said.

Why should the ones who choose to deny parts of their religion be seen as representative of it over those who’ve chosen to uphold them?

I definitely answered this in my original comment.

Because if the majority of people following a particular religion reject a prior view as false or wrong, then arguably that view is no longer part of the religion.

Religions aren’t crisp, unchanging, monolithic entities where everybody believes the same thing forever. If we’re talking about judaism in the sense of the views and practices jewish people actually subscribe to, then that seems like we are referring to beliefs they actually hold in a mainstream/current sense, not beliefs they previous held but now reject?

Operating System Concepts by Silberschatz, Galvin and Gagne is a classic OS textbook. Andrew Tanenbaum has some OS books too. I really liked his OS Design and Implementation book but I’m pretty sure that one is super outdated by now. I have not read his newer one but it is called Modern Operating Systems iirc.

Given that music boxes are very very old it is plausible that beethoven could have made a remark sharing his opinion on this exact issue. I don’t mean to agree/disagree with your point, I just find that kind of interesting.

You’re getting downvoted but you are right. Stuff like this is a super cool example of exactly the type of thing you are talking about imo.

There’s a lot of AI generated art that sucks. But that does not imply that in skilled hands an artist can’t use those tools in creative/interesting ways.

Arguably a lot of these tools are designed specifically to reduce the effort a human has to put in to create the art they want to make too.

Machine learning techniques are often thought of as fancy function approximation tools (i.e. for regression and classification problems). They are tools that receive a set of values and spit out some discrete or possibly continuous prediction value.

One use case is that there are a lot of really hard+important problems within CS that we can’t solve efficiently exactly (lookup TSP, SOP, SAT and so on) but that we can solve using heuristics or approximations in reasonable time. Often the accuracy of the heuristic even determines the efficiency of our solution.

Additionally, sometimes we want predictions for other reasons. For example, software that relies on user preference, that predicts home values, that predicts the safety of an engineering plan, that predicts the likelihood that a person has cancer, that predicts the likelihood that an object in a video frame is a human etc.

These tools have legitamite and important use cases it’s just that a lot of the hype now is centered around the dumbest possible uses and a bunch of idiots trying to make money regardless of any associated ethical concerns or consequences.