JensSpahnpasta@feddit.org to Technology@lemmy.worldEnglish · 2 months ago10% of Firefox crashes are caused by bitflipsmas.toexternal-linkmessage-square106linkfedilinkarrow-up1378arrow-down18cross-posted to: hackernews@lemmy.bestiver.se
arrow-up1370arrow-down1external-link10% of Firefox crashes are caused by bitflipsmas.toJensSpahnpasta@feddit.org to Technology@lemmy.worldEnglish · 2 months agomessage-square106linkfedilinkcross-posted to: hackernews@lemmy.bestiver.se
minus-squareBlackLaZoR@lemmy.worldlinkfedilinkEnglisharrow-up2·2 months agoIn practice preftct programs do exist, they just have to be small enough to do formal verification
minus-squareSpacetimeMachine@lemmy.worldlinkfedilinkEnglisharrow-up5·2 months agoVery ironic typo there
In practice preftct programs do exist, they just have to be small enough to do formal verification
Very ironic typo there