Re: "the underground programming world"
it's those queer commie witches
There's a reason there is no "comment" or "contact us" page on
25 publicly visible posts • joined 7 Oct 2019
"striking a happy compromise between a familiar user experience, a modern underlying design, and cutting-edge development tools."
Haiku does this today. And it supports rust, but it will not be rewritten in Rust.
There's a list of all the os projects written in Rust here:
Wouldn't it be nice if a home PC was as reliable as a vms system? A gui makes a system more crash prone, but in the case of vms, a gui crash would not bring down the system.
I have only seen BeOS crash rarely. Any futuristic system needs to be responsive to the user and a great system to program for, which is why Haiku is so exciting.
For a good overview of modern OS research, TUNES' wiki has a good page on this:
I've been following the CapROS project for a few years too. It followed up on EROS, the Extremely Reliable Operating System
There's a list of operating systems written in Rust and quoted below:
There are several open source operating systems written in Rust. Most of them are proofs of concepts. The only system that goes a step further is redox. It comes with a window manager as well as basic applications like an editor and a file manager. Theseus is approaching maturity with the ability to execute legacy components in a WASM sandboxed environment.
redox (repository / homepage)
Theseus OS (repository / homepage)
Tock (repository / homepage)
intermezzOS (repository / homepage)
Tifflin (rust_os) (repository)
Some are for embedded use or other research projects.
The point of this is to show that Rust can build show a solid, stable, secure system. The future of computers gets brighter all the time.