Maven (famous)@lemmy.zip to Programmer Humor@programming.dev · 14 hours agoCensorship is getting out of handlemmy.zipimagemessage-square66fedilinkarrow-up1623arrow-down16
arrow-up1617arrow-down1imageCensorship is getting out of handlemmy.zipMaven (famous)@lemmy.zip to Programmer Humor@programming.dev · 14 hours agomessage-square66fedilink
minus-squareSatouKazuma@programming.devlinkfedilinkarrow-up22·14 hours agoHasn’t it been proven unsolvable?
minus-squareilinamorato@lemmy.worldlinkfedilinkarrow-up5·10 hours agoProven? I don’t think so. I don’t think there’s a way to devise a formal proof around it. But there’s a lot of evidence that, even if it’s technically solvable, we’re nowhere close.
minus-squareelvith@feddit.orglinkfedilinkarrow-up9·10 hours agoHave you tried adding a few more kilobytes of regex?
Hasn’t it been proven unsolvable?
Proven? I don’t think so. I don’t think there’s a way to devise a formal proof around it. But there’s a lot of evidence that, even if it’s technically solvable, we’re nowhere close.
Have you tried adding a few more kilobytes of regex?
Or a few more gb of LLM?