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

oh its about memory safety.