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.

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.

Helping “bad people”? There’s nothing inherently more bad about Palestinians than any other nationality.

If you go see an independent mental health professional aren’t there only two outcomes?

1. They confirm you are as mentally fit as you think you are and you go on with your life (possibly with more resources than you previously had if your mental health really does take a dive).

2. They identify something that is actually wrong with your mental health and help you fix or learn to cope with the issue.

I’m not seeing the downside here. Who cares if it’s coming from some shady government boogeyman or some random stranger?

Did you actually read the OP? OP is talking about specific kinds of social media that exclude Lemmy among others.

Cis people have launched more missiles at people in general. Better ban any sort of similar treatments for cis military members too.

I’m pretty partial to vim.

This is awesome. Thank you for this!

Paywalled. Is there a free version of this article or a workaround?

I only program in languages equivalent to an oracle turing machine.

I can’t trust you on this because you are using the words ‘true fact’.