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?
Neither 867:5309:: nor 867::5309 appears to be allocated. Do IPv6 blocks work like car license plates where you can pay more to get a vanity plate of your choice or do you just get what you get?
deleted by creator
One possible way to deal with this and very nearly return to the former freedom-to-tinker status quo is to send the bank your custom OS along with a computer-checkable formal proof that the bank’s app, while running on your OS, behaves as it would be expected to under the stock OS. With homomorphic encryption, it might be possible to do this without revealing your custom OS, only its one-way hash. The bank can then verify that the proof is correct and then accept transactions with attestation from your custom OS. This would enable installing a custom ROM that can be used for online banking without having to go through some cabal/consortium. The only caveat is something of this magnitude has never been done before. It’s a research project for sure. It would take many man- and compute-hours. But it would be very cool.
Please share.
Anyone have a more in-depth technical description of how that works? I’m interested.
deleted by creator