Thread with 11 posts

jump to expanded post

Regarding the notion that a program shouldn't crash at all, the argument is there and just in some regards. However, I can edit the memory of any program to crash it. How do you think you could prevent that?

Open thread at this post
Verity :transHaskell::verifiedtransfem: , @monoidmusician@tech.lgbt
(open profile)

@hikari I think there’s an abstraction boundary between “X program in Y language does not crash” (i.e. in an idealized execution environment) and actual physical realization of execution environments, where you have far fewer ironclad guarantees but still reasonable boundaries and probabilistic evidence that it holds in reasonable circumstances.

Open remote post (opens in a new window)