• 0 Posts
  • 362 Comments
Joined 8 months ago
cake
Cake day: March 22nd, 2025

help-circle
  • skisnow@lemmy.cato196@lemmy.blahaj.zonePlanet rule
    link
    fedilink
    English
    arrow-up
    2
    ·
    1 day ago

    just got a bunch of his friends to agree with him

    You mean the International Astronomical Union? I mean at some point if every world-level expert on the topic is saying the same thing, then maybe you need to let go of what Miss Honey told you in first grade.



  • I can tolerate that, the one I can’t stand is Netflix shows where the ~dialogue is a mumbled quiet~ and random bits of foley try to blow my speakers out.

    It makes it especially noticeable just how dodgy a lot of foley/sound editing work is, eg when someone throwing a punch and missing still goes WHOOSH at the same volume they use for gunshots. There’s YA shows now where even the camera panning gets a sound effect ffs




  • First, there’s no “somehow magically” about it, the entire logic of the halting problem’s proof relies on being able to set up a contradiction. I’ll agree that returning undecidable doesn’t solve the problem as stated because the problem as stated only allows two responses.

    My wider point is that the Halting problem as stated is a purely academic one that’s unlikely to ever cause a problem in any real world scenario. Indeed, the ability to say “I don’t know” to unsolvable questions is a hot topic of ongoing LLM research.



  • skisnow@lemmy.catoTechnology@lemmy.mlLLMs Will Always Hallucinate
    link
    fedilink
    English
    arrow-up
    1
    arrow-down
    2
    ·
    edit-2
    7 days ago

    Mathematically you might be able to prove I don’t always (and I’m not convinced of that even; I don’t think there is an inherent contradiction like the one used for the proof of Halting), but the bar for acceptable false positives is sufficiently low and the scenario is such an edge case of an edge case of an edge case, that anyone trying to use the whole principle to argue anything about real-world applications is grasping at straws.


  • skisnow@lemmy.catoTechnology@lemmy.mlLLMs Will Always Hallucinate
    link
    fedilink
    English
    arrow-up
    3
    arrow-down
    3
    ·
    edit-2
    7 days ago

    The thing that always bothered me about the Halting Problem is that the proof of it is so thoroughly convoluted and easy to fix (simply add the ability to return “undecidable”) that it seems wanky to try applying it as part of a proof for any kind of real world problem.

    (Edit: jfc, fuck me for trying to introduce any kind of technical discussion in a pile-on thread. I wasn’t even trying to cheerlead for LLMs, I just wanted to talk about comp sci)