Viewing profile — linuxissortof

[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 …

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 v…

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 intervi…