Tools

Prossimo Initiative
ISRG celebrates 10 years of helping build a brighter Internet →
Tools logo

The Story

If we're going to move critical software infrastructure to memory safe code we're going to need to make some investments in tools. It needs to be as easy as possible to build safer software.

What We've Done

  1. We contracted with Rémy Rakic to spend six months improving Rust compile times, from January to September of 2022. Rémy's contract was extended for another six months starting October of 2022.
  2. We contracted with Ferrous Systems to for six months of engineering time to make various improvements to the bindgen tool. Work started in August of 2022. So far progress has been made on the following items:

What's Next

Both Rémy and Ferrous Systems continue to make progress in their work.

Links

From our Blog

January 31, 2023

Improving Rust compile times to enable adoption of memory safety

Guest author Rémy Rakic discusses his work to improve Rust compiler performance.

Funders

Google