In case it wasn't clear, I'm talking about this kind of argument:https://twitter.com/ManishEarth/status/885186944665214976 …
-
-
Replying to @ManishEarth
Who ordered *that*? Retweeted Who ordered *that*?
Who ordered *that*? added,
1 reply 0 retweets 0 likes -
Replying to @ManishEarth
I did a bad job of making this clear in my initial tweets, sorry.
1 reply 0 retweets 0 likes -
Replying to @ManishEarth
I'd love to understand what exactly you didn't like about my statements.
1 reply 0 retweets 0 likes -
Replying to @ManishEarth
They refer to third-party statements I have not personally encountered, so I may be of, but it seems to me that you are conflating 2 things…
1 reply 0 retweets 1 like -
Replying to @volatile_void @ManishEarth
1- verifying the full functional correctness of a piece of C code, including absence of UB 2- verifying the absence of UB
1 reply 0 retweets 0 likes -
Replying to @volatile_void @ManishEarth
1 is more expensive than rewriting (presumably in Rust?), but it's not the same thing as rewriting in Rust, it gives you more.
2 replies 0 retweets 0 likes -
Replying to @volatile_void @ManishEarth
2 can have a price comparable to rewriting in Rust, depending on coding style and subtlety of verified code. Many trade-offs…
2 replies 0 retweets 0 likes -
Replying to @volatile_void @ManishEarth
friend void Retweeted Who ordered *that*?
In particular, it needn't imply writing tons of specifications. So I totally disagree with this tweet:https://twitter.com/ManishEarth/status/885184757633392640 …
friend void added,
2 replies 0 retweets 0 likes -
Replying to @volatile_void @ManishEarth
On the other side, what's a good project to show that rewriting in Rust is feasible? https://github.com/briansmith/ring ? Last time I checks Ring still
2 replies 0 retweets 0 likes
I think "feasible" is well demonstrated by multiple projects. What we're missing is quantification of the actual benefits & actual costs.
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.