alt Hacker News> simply by adding the formal verification that proves the safety which will work automatically
"simply" and "formal verification" are usually oxymorons, never mind "automatically"
> simply by adding the formal verification that proves the safety which will work automatically
"simply" and "formal verification" are usually oxymorons, never mind "automatically"
Fair enough, but I have seen how it works and for just temporal memory safety, it could be simple.