I love to see the type system use to give strong semantic guarantees. Ex-Rust Intern bblum explains his work on locks: http://winningraceconditions.blogspot.com/2012/09/rust-4-typesafe-shared-mutable-state.html …
10:11 AM - 26 Sep 2012
0 replies
4 retweets
1 like
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.