@BRIAN_____ It thus seems wrong that program verification tools tend to take high-level (e.g. C) code as input instead of compiled binaries.
@spun_off That's *ring*'s target market. Ironically, as we replace C code w/ Rust code to increase safety, we decrease ability to prove it.
-
-
@BRIAN_____ I'm talking of the software that makes the nuclear powerplant nearest your home safe. -
@BRIAN_____ They can only upgrade it every ten years. Which OpenSSL version do you wish they used assembly code from, again?
End of conversation
New conversation -
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.