themachinestops@lemmy.dbzer0.com to Technology@lemmy.worldEnglish · 1 month agoLinus Torvalds used AI to fix a Linux bug, and now LLM critics on Linux face an uncomfortable choicewww.xda-developers.comexternal-linkmessage-square491linkfedilinkarrow-up1474arrow-down150file-textcross-posted to: technology@lemmy.mltechnology@beehaw.org
arrow-up1424arrow-down1external-linkLinus Torvalds used AI to fix a Linux bug, and now LLM critics on Linux face an uncomfortable choicewww.xda-developers.comthemachinestops@lemmy.dbzer0.com to Technology@lemmy.worldEnglish · 1 month agomessage-square491linkfedilinkfile-textcross-posted to: technology@lemmy.mltechnology@beehaw.org
minus-squarewewbull@feddit.uklinkfedilinkEnglisharrow-up2·1 month ago Code is probably one of the easiest things to verify LOL!!!
minus-squareG_M0N3Y_2503@lemmy.ziplinkfedilinkEnglisharrow-up1·1 month agoI am a software engineer by trade, so biases’ being what they are. But what I was more trying to demonstrate is that it is provable. Not that making the proof is easy.
LOL!!!
I am a software engineer by trade, so biases’ being what they are. But what I was more trying to demonstrate is that it is provable. Not that making the proof is easy.