Just published: Reasoning About the Heap in Rust, http://johnbender.us/2013/04/30/reasoning-about-the-heap-in-rust … /cc @steveklabnik @evanphx @littlecalculist
@johnbender interesting post, the new work on `&mut` pointers is pretty strongly related too
-
-
@nikomatsakis is that an extension to borrowed pointers? I hope to read up a bit on linear types and associated work. Maybe follow up.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.