Make sure you're checking out Hylo. I'm not sure that its ideas are right for Carbon, but if you're looking for a credible alternative to Rust's take on safety, I think it's one of the better ones.

We've been watching closely since before the name change. =D Had lots of conversations with several of the folks involved.