Le 03/10/2024 à 12:23, marc a écrit :
> And then weirdest of all: Imagine the propaganda is
> true and every line of rust (or ada) code is magically
> free of security defects. Would you be really happy with
> the full consequences ?

    There's no magic there, just the specification of the language. How
it is implemented, yes you need to trust it or read the source of the
compiler and the run-time library. These sources are open. Could you
develop about the consequences you imagine?

--     Didier