A Few Comments On "Sparse Record And Replay With Controlled Scheduling" https://robert.ocallahan.org/2019/05/a-few-comments-on-sparse-record-and.html …
-
-
I think the Rust pitch is made more complicated by Rust's lack of ambition relative to prior work. Rust basically says "don't try to make it possible to write a GC in fully safe code, instead make a usable language" but that's harder to describe.
-
The interesting stuff in Rust is all of the stuff necessary to make substructural type systems practical…
- 6 more replies
New conversation -
-
-
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.
