3 ms·

I think the issue is memory safety is reachable. Correctness is either extremely hard (proof program satisfied specifications) to nigh impossible (make sure all

by Ygg2 4y ago

I think the issue is memory safety is reachable. Correctness is either extremely hard (proof program satisfied specifications) to nigh impossible (make sure all icon pointy things are aligned).

kristoff_it 4y ago
And yet there are programs out there that work well enough, but that's not a story PL theorists would tell you.
- Ygg2 4y ago
  Saying work well enough isn't really reasurring. To quote Douglas Crockford: "If you say it hardly happens, it means it happens".