How did Software get so reliable without Proof? (Tony Hoare) [PDF] (6826.csail.mit.edu)
from HaraldvonBlauzahn@feddit.org to programming@programming.dev on 04 Jun 19:36
https://feddit.org/post/30805049

#programming

threaded - newest

Solumbran@lemmy.world on 04 Jun 21:43 next collapse

Software? Reliable? What?

Why do you think places that need reliability are stuck of systems made decades and decades ago? They know that software is shit and unreliable and that you should never touch it if you have something that works.

HaraldvonBlauzahn@feddit.org on 05 Jun 05:54 collapse

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.

MonkderVierte@lemmy.zip on 05 Jun 10:15 collapse

It didn’t.