News for hackers. Stuff that matters.
Re:ZZ is a modern formally provable dialect of C by MrBuddyCasino on Wednesday February 05, 2020 @08:16AM (#22246435)
Its slowly getting there, but no, right now there is a very limited number of target platforms that are supported, and the ecosystem is still very small and immature. You have to remember that there is a huge number of microcontrollers out there, with exotic architectures you have never heard of, and that LLVM definitely doesn't support. I'm not sure embedded Rust would even meaningfully exist without the work of Jorge Aparicio.
Re:ZZ is a modern formally provable dialect of C by uxp100 on Wednesday February 05, 2020 @10:18AM (#22247404)
Yeah. Even on the best supported platforms it is very immature. If you want to use embedded rust you kinda have to let language drive your choice of platform, which isn’t ideal.

I wouldn’t use it at work yet, but it’s coming along.