Maven (famous)@lemmy.zip to Programmer Humor@programming.dev · 2 年前Censorship is getting out of handlemmy.zipimagemessage-square80linkfedilinkarrow-up1903arrow-down10
arrow-up1903arrow-down1imageCensorship is getting out of handlemmy.zipMaven (famous)@lemmy.zip to Programmer Humor@programming.dev · 2 年前message-square80linkfedilink
minus-squareilinamorato@lemmy.worldlinkfedilinkarrow-up8·2 年前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.
minus-squareElvith Ma'for@feddit.orglinkfedilinkarrow-up12·2 年前Have you tried adding a few more kilobytes of regex?
minus-squareElvith Ma'for@feddit.orglinkfedilinkarrow-up3·2 年前I swear, I just need 4-5 more graphics cards to solve this!
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?
I swear, I just need 4-5 more graphics cards to solve this!