themachinestops@lemmy.dbzer0.com to technology@hexbear.netEnglish · 7 days agoLinus Torvalds used AI to fix a Linux bug, and now LLM critics on Linux face an uncomfortable choicewww.xda-developers.comexternal-linkmessage-square88linkfedilinkarrow-up176arrow-down10file-textcross-posted to: linux@programming.devtechnology@lemmy.mltechnology@beehaw.orgtechnology@lemmy.world
arrow-up176arrow-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@hexbear.netEnglish · 7 days agomessage-square88linkfedilinkfile-textcross-posted to: linux@programming.devtechnology@lemmy.mltechnology@beehaw.orgtechnology@lemmy.world
cross-posted from: https://lemmy.dbzer0.com/post/74818680 https://lists.debian.org/debian-project/2026/08/msg00041.html
minus-squareEkranoplane [none/use name]@hexbear.netlinkfedilinkEnglisharrow-up2arrow-down3·7 days agoHarness + got hooks + formal verification trivially prevents everything like that. You’re just holding it wrong.
Harness + got hooks + formal verification trivially prevents everything like that. You’re just holding it wrong.