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.
Top right: https://en.wikipedia.org/wiki/OLPC_XO
The orange handheld on top looks like the Playdate: https://en.wikipedia.org/wiki/Playdate_(console)
Yeah, maybe it isn't all AI.
I still think the voice is AI. I don't know why people do this. We're already facing so much slop. Why make it worse and disrespect your audience? Use your very own human voice. This threw me off and made me mistrust the entire video.
There's too much AI being used in the video. Something is off about the voice as well.
Edit: IMO, a pretty clear sign the channel is AI is the name. Purportedly a native English speaker capable of making computer chips in a shed, but made a careless mistake naming the channel "Dr.Semiconductor", omitting a space after "Dr.". The first video uploaded a month ago has the same tells that the voice is AI-generated as this 2-hour-long video on C++. Those are also both videos with a similar number of views uploaded by a channel with no previous history with clear AI-generated imagery. The entire channel is AI and it appears lots of people are being easily fooled. The voice is AI. The videos and imagery are AI. The script is likely AI. The video idea might be AI. Even the comments might be AI. The only thing that isn't clearly AI is the channel name. The 400k views on the first video could be fraudulently automated. It looks like this stuff has gotten good enough to fool people as recently as 5 months ago, possibly earlier. Welcome to the dead internet.
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.
The Daily Mail Song