Hacker News new | ask | show | jobs
by rurban 2154 days ago
Rewriting stuff in memory safe languages would be a worthwhile goal, but then they go on by providing bounties to write Linux Kernel drivers in Rust.

Rust is memory safe only in documentation but not in practise.[1] Rather provide bounties for real memory safe languages. Rust is also neither type safe[2] nor concurrency safe[3].

1: eg https://github.com/rust-lang/rust/issues?q=is%3Aissue+is%3Ao... but this is just the surface. alloca is not only unsafe but also security critical. Rust stack allocates too much unchecked.

2. https://doc.rust-lang.org/reference/unsafe-blocks.html

3. Races as eg with https://doc.rust-lang.org/reference/items/static-items.html?... requiring manual mutexes