Remix.run Logo
necovek 2 hours ago

Impossible is a strong word when what you probably mean is "impractical": do you really believe that there is an actual unexplainable indeterminism in software programs? Including in concurrent programs.

nradov 2 hours ago | parent [-]

I literally mean impossible from the perspective of customers and end users who don't have access to source code or developer tools. And some software failures caused by hardware faults are also non-deterministic. Those are individually rare but for cloud scale operations they happen all the time.

necovek 2 hours ago | parent [-]

Thanks for the explanation: I disagree with both, though.

Yes, it is hard for customers to understand the determinism behind some software behaviour, but they can still do it. I've figured out a couple of problems with software I was using without source or tools (yes, some involved concurrency). Yes, it is impractical because I was helped with my 20+ years of experience building software.

Any hardware fault might be unexpected, but software behaviour is pretty deterministic: even bit flips are explained, and that's probably the closest to "impossible" that we've got.