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

Cole Poirier colepoirier at gmail.com
Fri Feb 14 17:22:14 GMT 2020

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!


> 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
> _______________________________________________
> libre-riscv-dev mailing list
> libre-riscv-dev at lists.libre-riscv.org
> http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

More information about the libre-riscv-dev mailing list