Comment by aloha2436
3 months 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.
3 months 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.
I am a “Rust activist” any day of the week. seL4 is awesome and amazing.
Thoughts on Ada / SPARK? Why are you not using Ada / SPARK considering it has such a neat type system, pre- and post-conditions, formal verification, and so forth. It has built-in concurrency constructs as well and it helps you avoid deadlocks and race conditions.
10 replies →
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
2 replies →