Oxide and Friends
Crates We Love
Eliza Weisman
I think that it's sort of like C versus REST, right? It's sort of like there are plenty of C programs that have run in production and are, you know, thus far we have not seen the lurking memory errors in them. That's great. But This is a way of exhaustively proving the correctness of our programs.
0
💬
0
Comments
Log in to comment.
There are no comments yet.