linuxissortof

5 ms·

1. 1.▲
   by linuxissortof 1y ago

   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 model or the semanti
2. 2.▲
   by linuxissortof 1y ago

   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
3. 3.▲
   by linuxissortof 1y ago

   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
4. 4.▲
   by linuxissortof 1y ago

   > 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 is a major pa