Hacker News new | ask | show | jobs
by j16sdiz 363 days ago
> and you can restrict / audit the use of unsafe by the translator.

No. You need to audit for correctness in additional to safety.