mannycalavera@feddit.uk to Technology@lemmy.worldEnglish · 24 hours agoLinus Torvalds let Claude Code fix the Linux page cache. Then reviewers found a race.thenewstack.ioexternal-linkmessage-square110fedilinkarrow-up137file-text
arrow-up137external-linkLinus Torvalds let Claude Code fix the Linux page cache. Then reviewers found a race.thenewstack.iomannycalavera@feddit.uk to Technology@lemmy.worldEnglish · 24 hours agomessage-square110fedilinkfile-text
minus-squaresolrize@lemmy.mllinkfedilinkEnglisharrow-up2·10 hours agoThis kind of code has to be done with formal modelling, including when written by humans. alloytools.org looking good to me.
This kind of code has to be done with formal modelling, including when written by humans. alloytools.org looking good to me.