HaraldvonBlauzahn@feddit.org to Programming@programming.devEnglish · 15 days agoHow did Software get so reliable without Proof? (Tony Hoare) [PDF]6826.csail.mit.eduexternal-linkmessage-square2fedilinkarrow-up112arrow-down10
arrow-up112arrow-down1external-linkHow did Software get so reliable without Proof? (Tony Hoare) [PDF]6826.csail.mit.eduHaraldvonBlauzahn@feddit.org to Programming@programming.devEnglish · 15 days agomessage-square2fedilink
minus-squareHaraldvonBlauzahn@feddit.orgOPlinkfedilinkarrow-up1·15 days 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.