I see Rust mentioned exponentially more here on HN lately and it has definitely peaked my interest as a 2nd year CS student. As soon as I get some free time, I'll give rust a try!
I have plans slated for doing proofs about Rust programs in 2017, if not sooner (I'm interning at Data61 on the seL4 verification team starting in two weeks, and if I don't get a chance to work on Rust verification then, I'll start after I'm done)
Having contributed a small amount to Rust, I wouldn't have naturally posted this one to HN because I though it would be of little interest to folks outside the community, but I'm glad it has interested some people! If you are interested in reading more posts like this, they pop up sometimes on our subreddit: http://www.reddit.com/r/rust/
reply