Hacker News new | ask | show | jobs
by rurban 439 days ago
Did they prove for 100% memory safety or just the default 70% rust memory safety? No, they didnt