←back to thread

239 points ivankra | 2 comments | | HN request time: 0.432s | source
Show context
phplovesong ◴[] No.45945978[source]
Why is stuff written in rust always promoted as "written in rust" like its some magic thing?
replies(15): >>45945987 #>>45946000 #>>45946035 #>>45946053 #>>45946054 #>>45946070 #>>45946377 #>>45946440 #>>45946496 #>>45946842 #>>45946942 #>>45947198 #>>45947896 #>>45948279 #>>45951416 #
enricozb ◴[] No.45946070[source]
It carries some weight, very roughly in the direction of formal verification. Since (assuming there isn't any unsafe), a specific class of bugs are guaranteed to not happen.

However, this repo seems like it uses quite a bit of unsafe, by their own admission.

replies(2): >>45946679 #>>45947353 #
1. ptravers ◴[] No.45947353[source]
There's a lot of unsafe in this at least. hard to be both safe and fast.
replies(1): >>45950136 #
2. shepherdjerred ◴[] No.45950136[source]
From the README:

> Compacting garbage collector, written in very unsafe Rust