GSoC Project: Making Redox Self-hosting, Final Summary

Redox - August 22, 2017

More details of what I’ve done are listed in the status reports I’ve written:

This Week in Rust Docs 69

This week in Rust Docs - August 20, 2017

Hello and welcome to This Week in Rust Docs!

Make Docs Into Code

Llogiq - August 20, 2017

At clippy, we take onboarding new developers seriously. Just like documentation. And we always strive to improve our process (unless that keeps us from coding on clippy, which we love, as we wouldn’t be doing it otherwise in the first place).

This Week in Rust 195

This week in Rust - August 15, 2017

Hello and welcome to another issue of This Week in Rust! Rust is a systems language pursuing the trifecta: safety, concurrency, and speed. This is a weekly summary of its progress and community. Want something mentioned? Tweet us at @ThisWeekInRust or send us a pull request. Want to get involved? We love contributions.

Think Local, Act Local

Llogiq - August 14, 2017

Software projects work best when there are multiple sub-parts with lean, well-defined interfaces.

This Week in Rust Docs 68

This week in Rust Docs - August 13, 2017

Hello and welcome to This Week in Rust Docs!

So Long, and Thanks for All the Fish

Ralf's Ramblings - August 11, 2017

Yesterday was the last day of my Rust internship at Mozilla. I can hardly believe that twelve weeks have passed since that post, but my calendar insists. If you want to see what I have done, you can go read the posts that I wrote during the internship. (I almost kept up with the plan of bi-weekly blog posts…) You can also watch the 10-minute video version of this that I made for the internship presentation. The recording is available on Air Mozilla; my talk starts at 2h 14:30.

This Week in Redox 28

Redox - August 11, 2017

This is the 28th post of a series of blog posts tracking the development and progress of Redox, the Rust operating system. If you want to know more about Redox in general, visit our Github page.

Types as Contracts: Implementation and Evaluation

Ralf's Ramblings - August 10, 2017

Some weeks ago, I described Types as Contracts as an approach for how to go about defining Rust’s aliasing-related undefined behavior. One key property of this approach is that it is executable, which means we can actually have a program (in this case, miri) tell us whether some particular Rust test case exhibits undefined behavior or not. I have since then spent most of my time completing and refining this implementation, and running it on miri’s test suite to exercise various bits of the standard library and see whether they are actually following the rules I have been suggesting.

Font-size: An Unexpectedly Complex CSS Property

Manish Goregaokar - August 10, 2017

font-size is the worst.

This Week in Rust 194

This week in Rust - August 08, 2017

Hello and welcome to another issue of This Week in Rust! Rust is a systems language pursuing the trifecta: safety, concurrency, and speed. This is a weekly summary of its progress and community. Want something mentioned? Tweet us at @ThisWeekInRust or send us a pull request. Want to get involved? We love contributions.