Hacker News new | ask | show | jobs
by ArtixFox 589 days ago
YAY!!! are we gonna have more formal verification???? woohoo!!

oh its about memory safety.