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 !programmer_humor@programming.dev have sub-100 points which suggests posts aren’t getting broadcast to everyone else.
Edit: looks like it’s fixed now. !meta@programming.dev
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.
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.
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?
Shame youtube removed the like/dislike ratio which we previously used for mass protest against video authors for their wrongdoings. Channels can now shovel shit onto us with no public humiliation inflicted on them in return.
I guess your sense of correct grammar is different from mine. “Fuckin’ Strait” isn’t a proper noun. He’s also using excessive punctuation.
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?
Please share.
I’ve spent more time than I care to admit reading Wikipedia entries on significant people from past centuries. Way too often their life story is full of disease and death. A dozen siblings. All of them suffer the same disease in childhood. Half of them don’t make it to adulthood. Mother dies during childbirth. Father struggles making money from their creative work, dies in a duel. Subject cared for by wealthy uncle. Is affected for the remainder of their life by the lingering effects of the childhood disease. Repeat for the next generation.
Anyone have a more in-depth technical description of how that works? I’m interested.
The NoScript extension will properly do this. The extension blocks domains from running scripts except those you’ve whitelisted. There’s a drop down that displays a list of domains from which the page wishes to run scripts. It makes much of the web a pain to use, though. I sometimes have to go through a loop of whitelisting a subset of domains which want to run followed by a page refresh until the page works. Javascript is often not optional. If you had to live like Richard Stallman professes you should, you’d probably have to join the Amish.
People became oversaturated with alien stuff. It became unfashionable to believe in aliens and the millionth “aliens invade” movie isn’t interesting.
Ah, internet crackpots. What fun.
https://old.reddit.com/r/math/comments/myqphx/genius_meets_lunatic_1994_discussion_between/
https://en.wikipedia.org/wiki/Usenet_personality#Eccentric_personalities