Comment by aloha2436
15 hours ago
I'm trying to picture in my mind a person who is a fan of Rust and somehow against an OS with a formally-verified kernel no matter the language. I'm not having much success.
15 hours ago
I'm trying to picture in my mind a person who is a fan of Rust and somehow against an OS with a formally-verified kernel no matter the language. I'm not having much success.
I see you have not met a lot of Rust activists.
Certainly I don't seem to run into as many of them as I'm led to believe exists.
It's funny how people always allude to fanatical Rust developers in the most tangential threads, but they never actually turn up and demand we rewrite the entire Kernel in Rust or whatever terrible takes they're alleged to have.
https://discuss.haiku-os.org/t/replace-c-code-with-rust/6753
https://github.com/seL4/seL4/issues/487