Thread with 11 posts

jump to expanded 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)