RSS Bot@lemmy.bestiver.seMB to Lobste.rs@lemmy.bestiver.seEnglish · 4 days agoHow did software get so reliable without proof? (1996)6826.csail.mit.eduexternal-linkmessage-square0fedilinkarrow-up11arrow-down10file-textcross-posted to: [email protected]
arrow-up11arrow-down1external-linkHow did software get so reliable without proof? (1996)6826.csail.mit.eduRSS Bot@lemmy.bestiver.seMB to Lobste.rs@lemmy.bestiver.seEnglish · 4 days agomessage-square0fedilinkfile-textcross-posted to: [email protected]