• 0 Posts
  • 31 Comments
Joined 1 年前
cake
Cake day: 2025年3月22日

help-circle

  • skisnow@lemmy.catoMemes@lemmy.mlCan't have it both ways
    link
    fedilink
    English
    arrow-up
    14
    ·
    10 天前

    I used to be philosophically anti-piracy in principle, and would often argue online against people who posted disingenuous or self-serving justifications for their actions. But these days the amount of piss-taking by the publishers has destroyed my resolve.

    Yarrr.






  • skisnow@lemmy.catoScience Memes@mander.xyzSad Ganymede noises
    link
    fedilink
    English
    arrow-up
    46
    arrow-down
    1
    ·
    4 个月前

    Weird how many people seem to think it’s like a competition or something. It’s a descriptive label.

    The whole Pluto thing taught us a lot about the psychology of letting go of something taught at a young age. People getting proper frothing at how they shoulda just let Pluto keep it, just to save themselves the extremely minor cognitive dissonance.







  • 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
    2
    arrow-down
    2
    ·
    edit-2
    6 个月前

    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)