[dead]
I could be wrong, but the Ferrocene Language Specification, FLS, adopted by Rust as its specification, may be severely incomplete. For instance, it describes atomics, but I am not sure that it defines Rust's memory…
Do you happen to know how Ferrocene relates to AdaCore's Rust compiler? https://www.adacore.com/press/adacore-announces-the-first-qu... > ISO 26262 (ASIL D) Isn't that only for a very small subset of Rust and its…
rustc and Rust have some rather serious type system holes and other kinds of issues. https://github.com/Speykious/cve-rs https://github.com/lcnr/solver-woes/issues
> Why does Linus Torvalds get a pass, even admired, for OPENLY being an extremely vitriolic f*ker, and continuing to be so even after being called out for it to his face in interviews/questions from the audience, Linux…
[dead]
I could be wrong, but the Ferrocene Language Specification, FLS, adopted by Rust as its specification, may be severely incomplete. For instance, it describes atomics, but I am not sure that it defines Rust's memory…
Do you happen to know how Ferrocene relates to AdaCore's Rust compiler? https://www.adacore.com/press/adacore-announces-the-first-qu... > ISO 26262 (ASIL D) Isn't that only for a very small subset of Rust and its…
rustc and Rust have some rather serious type system holes and other kinds of issues. https://github.com/Speykious/cve-rs https://github.com/lcnr/solver-woes/issues
> Why does Linus Torvalds get a pass, even admired, for OPENLY being an extremely vitriolic f*ker, and continuing to be so even after being called out for it to his face in interviews/questions from the audience, Linux…