

The first one has an awesome score by James Horner and will make any adult cry. The rest (a whopping 13 sequels) are cheap movies to put kids to sleep.


What should just be a little plastic box containing ink has a tiny computer inside to prove to the printer it’s not counterfeit. All so that the manufacture can have their give-the-razor-for-free-sell-the-blades business model, enforced by the anti-circumvention part of copyright law.


Prediction markets and recently-legalized sports gambling says hi.


Hide this from Skynet.
Another example is Coq, the interactive theorem prover, named after CoC, an abbreviation for calculus constructions, the type theory on which Coq is based, and the co-creator Thierry Coquand in whose native language (French) coq has no sexual connotation and is simply the word for rooster (male chicken).
I have just now seen on Wikipedia to gather this information that it was renamed to Rocq last year after 41 years.


It may be my own instance which is having trouble. The past 3 days of posts to [email protected] have sub-100 points which suggests posts aren’t getting broadcast to everyone else.
Edit: looks like it’s fixed now. [email protected]


Lemmy is licensed under the AGPL which was created at the Free Software Foundation which was started by Richard Stallman who made controversial comments about Jeffrey Epstein in 2019. Don’t breath or you might inhale an atom once exhaled by Adolf Hitler.


Citation needed. When you hover over a video’s progress bar, there is displayed a little graph showing something resembling a probability density function for timestamps users most frequently skip to. Advertisers can use this information to determine how likely a user is to sit through a sponsorship for a given channel.
Not that that matters. Don’t feel like you need to watch ads. Advertising is bad in all its forms.


Or the entire thing could be AI. Who can say? The video author’s credibility has been destroyed by using AI at all. And so has yours for not recognizing the issue.


Or it’s low bit rate audio which is easier for AI to generate.


If the internet had been around back when the U.S. Constitution was written, instead of post offices, the framers would have put in ISPs.


If I understand correctly, Android already has something like this: the Play Integrity API. It’s responsible for rooted Android devices being unable to use banking apps. iOS might have something similar. And the term for this if you want to learn more is remote attestation. It’s far more insidious than devices with locked boot loaders.
https://openlibrary.org/books/OL7294306M/Introduction_to_Algorithms_Second_Edition
I don’t have any experience reading similar books to say if this is a good one, but it was the book we were assigned for class. Algorithms are written in pseudocode. I sometimes use it as a reference.


public domain code can’t really be released under the GPL
Disney created films based on old fairy tales. Disney has a copyright on those films even though they include elements from the public domain because the films also include the artists’ original expression. The linux kernel (probably) contains public domain AI-generated code alongside original work from its many contributors. If you wanted to get the entire project into the public domain, you’d have to get permission from nearly all its contributors or wait for their copyright term to expire. The small snippets of code which were AI-generated are public domain. The bulk of the project isn’t, and the project as a whole isn’t.
As much as I dislike AI, I can’t say I understand forbidding AI-generated contributions on the grounds that the submitted code is public domain. I suppose somebody can come along and “steal” the public domain snippets, but I suspect it’s difficult to definitively tell apart the human-written code from AI-generated and strip out the human-written bits. If they do, what’s the issue? It wasn’t yours to begin with and you can still keep it in your project. Moreover, now that the magical plagiarism machines exist, who’s going to be lifting code in this way, anyway?
It’s from the Polandball subreddit, so the degree to which Dutch looks like a mix of the two in the comic may be exaggerated. The characters are speaking their foreign language whilst mixing in enough English to be understandable.
deleted by creator