Skip Navigation

∃∀λ

@ eah @programming.dev

Posts
199
Comments
137
Joined
10 mo. ago

  • What is the coolest website you’ve visited that no one knows about?

    Jump

  • Hide this from Skynet.

  • Utter trash newspaper

    Jump

  • GIMP rebranding as WLBR?

    Jump

  • 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.

    https://github.com/rocq-prover/rocq/wiki/Alternative-names

  • Wikipedia @lemmy.world
    ∃∀λ @programming.dev

    Manos: The Hands of Fate

    en.wikipedia.org /wiki/Manos:_The_Hands_of_Fate

  • lemmy.world is gone. who wants to sword fight?

    Jump
  • Programmer Humor @programming.dev
    ∃∀λ @programming.dev

    lemmy.world is gone. who wants to sword fight?

  • Firefox Has Quietly Integrated Brave's Adblock Engine

    Jump

  • 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.

  • Firefox Has Quietly Integrated Brave's Adblock Engine

    Jump

  • 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.

  • Videos @lemmy.world
    ∃∀λ @programming.dev

    Alex Jones New World Order Remix

  • Wikipedia @lemmy.world
    ∃∀λ @programming.dev

    Ugly Gerry

    en.wikipedia.org /wiki/Ugly_Gerry

  • Framework announced the Framework 13 Pro with full Linux compatibility from the Start

    Jump
  • Wikipedia @lemmy.world
    ∃∀λ @programming.dev

    Lonesome George

    en.wikipedia.org /wiki/Lonesome_George

  • [Contains AI] Making RAM at Home | Dr. Semiconductor

    Jump

  • 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.

  • [Contains AI] Making RAM at Home | Dr. Semiconductor

    Jump

  • 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.

  • Videos @lemmy.world
    ∃∀λ @programming.dev

    SKG and the European Pirate Party put on a solid show after the parliament hearing

  • Wikipedia @lemmy.world
    ∃∀λ @programming.dev

    2011 Super Outbreak

    en.wikipedia.org /wiki/2011_Super_Outbreak

  • A video arguing C++ is the worst programming language to ever exist

    Jump

  • 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.

  • A video arguing C++ is the worst programming language to ever exist

    Jump

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

  • The Free Market Lie: Why Switzerland Has 25 Gbit Internet and America Doesn't

    Jump

  • 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.

  • Wikipedia @lemmy.world
    ∃∀λ @programming.dev

    Shadow library

    en.wikipedia.org /wiki/Shadow_library

  • Anna's Archive Loses $322 Million Spotify Piracy Case Without a Fight;In addition to the penalty, a permanent injunction required domain registrars and other parties to suspend the site's domain names

    Jump

  • Goodbye device ownership, and the last vestiges of free speech will die with this bill as well.

    Jump

  • 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.

  • Videos @lemmy.world
    ∃∀λ @programming.dev

    Ross Scott (Stop Killing Games) speaks at European Parliament hearing

  • 2008 "days-in-a-week" debate on Bodybuilding.com forums

    Jump

  • Web forum software bumps up a thread to the top of the board when a user posts a reply to the thread. This enables lengthy long-lived debates to take place. It gives a lot more opportunity for good ideas to be presented on a topic compared to reddit or lemmy which cycles posts off the front page hours or days after being posted. But trolls can easily derail the entire purpose of the forum by insisting on always having the last word in an off-topic, manufactured debate that eventually draws the entire userbase in.

  • Date Structures and Algorithms?

    Jump

  • Paper planes launched from space

    Jump

  • I came across the paper planes entry from the "See also" section in the atmospheric entry article.

    Fun facts I learned: roughly the probability at least one person currently alive have been or will be struck by falling space debris from reentering satellites is 1% and 3% of the matter which enters the atmosphere is from satellites compared to meteors.

  • Wikipedia @lemmy.world
    ∃∀λ @programming.dev

    Paper planes launched from space

    en.wikipedia.org /wiki/Paper_planes_launched_from_space

  • Linux lays down the law on AI-generated code, says yes to Copilot, no to AI slop, and humans take the fall for mistakes — after months of fierce debate, Torvalds and maintainers come to an agreement

    Jump

  • 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?

  • The bots are becoming self aware

    Jump

  • We used to use parenthesis for interjections. I miss the days when text on the internet was mostly limited to the 95 printable characters on a typical American keyboard plus a few control characters.

  • Wikipedia @lemmy.world
    ∃∀λ @programming.dev

    The Movement (right-wing populist group)

    en.wikipedia.org /wiki/The_Movement_(right-wing_populist_group)
  • Wikipedia @lemmy.world
    ∃∀λ @programming.dev

    Luna 3 - first spacecraft to image the far side of the Moon

    en.wikipedia.org /wiki/Luna_3
  • Wikipedia @lemmy.world
    ∃∀λ @programming.dev

    List of people who flew to the Moon

    en.wikipedia.org /wiki/List_of_people_who_flew_to_the_Moon
  • Wikipedia @lemmy.world
    ∃∀λ @programming.dev

    The Dark Side of the Rainbow

    en.wikipedia.org /wiki/The_Dark_Side_of_the_Rainbow
  • Videos @lemmy.world
    ∃∀λ @programming.dev

    Scott Manley's thoughts on Artemis II so far

  • YouTube Classics @sh.itjust.works
    ∃∀λ @programming.dev

    Crater Face

  • Wikipedia @lemmy.world
    ∃∀λ @programming.dev

    Crater chain

    en.wikipedia.org /wiki/Crater_chain
  • Lemmy Shitpost @lemmy.world
    ∃∀λ @programming.dev

    POV: You are a slop generator being trained on 3000 years of the world's works of fine art

  • Wikipedia @lemmy.world
    ∃∀λ @programming.dev

    Frontier Thesis

    en.wikipedia.org /wiki/Frontier_Thesis