HaraldvonBlauzahn@feddit.org to Programming@programming.devEnglish · 1 month agoHow did Software get so reliable without Proof? (Tony Hoare) [PDF]6826.csail.mit.eduexternal-linkmessage-square2fedilinkarrow-up111
arrow-up111external-linkHow did Software get so reliable without Proof? (Tony Hoare) [PDF]6826.csail.mit.eduHaraldvonBlauzahn@feddit.org to Programming@programming.devEnglish · 1 month agomessage-square2fedilink
minus-squareHaraldvonBlauzahn@feddit.orgOPlinkfedilinkarrow-up1·1 month agoOf course, you can make reliable software. What Hoare describes, has become best practices in critical applications like space and aircraft systems. And Rust is making inroads there, too.
Of course, you can make reliable software. What Hoare describes, has become best practices in critical applications like space and aircraft systems. And Rust is making inroads there, too.