- 180 Posts
- 139 Comments
∃∀λ@programming.devto
Programmer Humor@programming.dev•Thanks server, very useful
49·3 days ago
It’s a phrase from the preamble to the US Constitution.
Yeah, I trust them. I don’t think they want access to your credentials. They have the expertise to do E2EE properly. They don’t want to be humiliated in a DEF CON talk.
They’re pushing passkeys because passkeys are a massive improvement over passwords. They would be negligent not to be pushing passkeys.
∃∀λ@programming.devto
Programming@programming.dev•The Gram Editor - ZED fork without AI and other commercial stuff
210·1 month agodeleted by creator
Like water. Because they stole what water you brought when you went through security. Damned thieving airports. Give me back my water. It’s not a bomb. I promise.
∃∀λ@programming.devto
Asklemmy@lemmy.ml•What movie franchise gets worse with each new film?
1·2 months agoThe 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.
∃∀λ@programming.devto
Asklemmy@lemmy.ml•What's a scam that's so normalized that we don't even realize it's a scam anymore?
2·2 months agoWhat 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.
∃∀λ@programming.devto
Asklemmy@lemmy.ml•What's a scam that's so normalized that we don't even realize it's a scam anymore?
2·2 months agoPrediction markets and recently-legalized sports gambling says hi.
∃∀λ@programming.devto
Ask Lemmy@lemmy.world•What is the coolest website you’ve visited that no one knows about?
3·2 months agoHide 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.
∃∀λ@programming.devOPto
Programmer Humor@programming.dev•lemmy.world is gone. who wants to sword fight?
6·2 months agoIt 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
∃∀λ@programming.devto
Technology@lemmy.world•Firefox Has Quietly Integrated Brave's Adblock EngineEnglish
2·2 months agoLemmy 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.
∃∀λ@programming.devto
Technology@lemmy.world•Firefox Has Quietly Integrated Brave's Adblock EngineEnglish
11·2 months agoCitation 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.
∃∀λ@programming.devto
Linux@programming.dev•Framework announced the Framework 13 Pro with full Linux compatibility from the Start
5·2 months agoTop right: https://en.wikipedia.org/wiki/OLPC_XO
The orange handheld on top looks like the Playdate: https://en.wikipedia.org/wiki/Playdate_(console)
∃∀λ@programming.devto
Videos@lemmy.world•[Contains AI] Making RAM at Home | Dr. Semiconductor
2·2 months agoYeah, 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.
∃∀λ@programming.devto
Videos@lemmy.world•[Contains AI] Making RAM at Home | Dr. Semiconductor
102·2 months agoThere’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.




















