HaraldvonBlauzahn@feddit.org to Programming@programming.devEnglish · 2 months agoHow did Software get so reliable without Proof? (Tony Hoare) [PDF]6826.csail.mit.eduexternal-linkmessage-square2linkfedilinkarrow-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 · 2 months agomessage-square2linkfedilink
minus-squareHaraldvonBlauzahn@feddit.orgOPlinkfedilinkarrow-up1·2 months 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.