I did a bad job of making this clear in my initial tweets, sorry.
-
-
The oxidation work we did does have some clear benefits, but also some of the projects using verified C w/ CompCert are very compelling.
-
Also, many important rewrites don't look like rewrites. For example, in some sense Caddy is a rewrite of Apache in Go. Actually, it's more.
-
We used BoringSSL's C code & gradually rewrote in Rust b/c I thought there'd be demand for TLS in Rust in 2015. Wrong. Maybe good marketing.
-
In retrospect, it would have been more efficient—higher throughput, higher latency—to take the asm code and start from scratch w/ the rest.
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.