[libre-riscv-dev] Rust and safety-critical

Jacob Lifshay programmerjake at gmail.com
Sun Feb 16 10:19:57 GMT 2020


On Fri, Feb 14, 2020 at 9:22 AM Cole Poirier <colepoirier at gmail.com> wrote:
>
> I’ve read a few of their other blog posts because they were in the this-week-in-rust newsletter, they seem to be a really high quality rust consultancy, so I’m excited to see them leading the safety critical rust effort!

Yeah, they're a place I'd consider working at if I wasn't working on Libre-SOC.

> Cole
>
> > On Feb 14, 2020, at 8:19 AM, Jacob Lifshay <programmerjake at gmail.com> wrote:
> >
> > this just came out: https://ferrous-systems.com/blog/sealed-rust-the-plan/

Jacob



More information about the libre-riscv-dev mailing list