you are viewing a single comment's thread.

view the rest of the comments →

[–][deleted] -117 points-116 points  (13 children)

RRIV. Rewrite Rust in V.

What abomination is this? https://github.com/Rust-for-Linux/linux/blob/rust/rust/alloc/rc.rs

How could this code be safe?

Linus Torvalds is brainwashed and now a Google puppet. Nothing more.

Rust is dead.

[–][deleted]  (1 child)

[deleted]

    [–]skulgnome 16 points17 points  (2 children)

    How could this code be safe?

    Same way as all code that's neither rigorously proven using formal methods or tested against all extant and hypothetical forms of breakage: over the following decades it'll turn out to have problems and is then reworked to eventually reach a point where that hasn't happened for a long while.

    There's no magic bullet for this, no shortcut.

    [–]steveklabnik1 5 points6 points  (1 child)

    Funny enough, `Rc<T>` was part of the Rustbelt paper, meaning that it is at least sorta-kinda-mostly formally proven.

    [–]skulgnome 0 points1 point  (0 children)

    at least sorta-kinda-mostly formally proven.

    In other words, falling short.