codeinabox@programming.dev to Programming@programming.devEnglish · 8 months agoTrust signals are brokenordep.devexternal-linkmessage-square3linkfedilinkarrow-up168arrow-down10
arrow-up168arrow-down1external-linkTrust signals are brokenordep.devcodeinabox@programming.dev to Programming@programming.devEnglish · 8 months agomessage-square3linkfedilink
minus-squarebitcrafter@programming.devlinkfedilinkarrow-up17·8 months agoUnfortunately, the next step is for AI to get better and better at generating verification trails that look correct but are not.
Unfortunately, the next step is for AI to get better and better at generating verification trails that look correct but are not.