- cross-posted to:
- showoff@programming.dev
- opensource
- cross-posted to:
- showoff@programming.dev
- opensource
This isn’t Linux, but Linux-like. Its a microkernel built from the rust programming language. Its still experimental, but I think it has great potential. It has a GUI desktop, but the compiler isn’t quite fully working yet.
Has anyone used this before? What was your experience with it?
Note: If this is inappropriate since this isn’t technically Linux, mods please take down.
Before using Rust I was using C++ for most projects and while it is a really powerful language there were some big problems:
At least it won’t complain about rigid, skolem or occurrence check.