hey @aaron_turon have you seen https://www.cs.rochester.edu/u/scott/papers/2018_PPoPP_IBR.pdf … ? think it'd be good in Rust?
-
-
interesting
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
very interesting, thanks! I'm not sure how 'convinced' I feel - the region typing bits were the most compelling, which ~corresponds to how both Box<T> and Mutex<T> need to be borrowed to be used, but then that seems like it'd rope a lot of other things into the analogy as well...
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.