Rust edges toward CPython and older platforms won't like it (theregister.com) 9 points by rbanffy 7mo ago ↗ HN
[–] rbanffy 7mo ago ↗ I wonder if a Rust backend generating C code wouldn’t be a nice workaround for platforms without first tier Rust support. With all compile time assurances from the Rust front end, it’d be able to produce C at a superhuman level of memory safety. [–] cyberclimb 7mo ago ↗ I just came across this project recently https://github.com/AeneasVerif/eurydice/ from Microsoft Azure Research (referenced here https://www.microsoft.com/en-us/research/blog/rewriting-symc...)
[–] cyberclimb 7mo ago ↗ I just came across this project recently https://github.com/AeneasVerif/eurydice/ from Microsoft Azure Research (referenced here https://www.microsoft.com/en-us/research/blog/rewriting-symc...)
[–] pulvinar 7mo ago ↗ Title I see: "CPython may go Rusty, but older platforms risk getting iced out"
3 comments
[ 2.8 ms ] story [ 14.9 ms ] thread