"I have only proved it correct, not tried it." - Donald Knuth :) But good news regardless.
@rustlang's ownership model (and consequently it's safety guarantees) has been formally proven with #Coq @mpi_sws and @tudelft https://dl.acm.org/citation.cfm?doid=3177123.3158154 …
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Unless you have unsafe parts in your code that is. Fine print matters.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
That's *huge*. Holy shit.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.