CommunityNews

CommunityNews

Theseus OS - a new OS written from scratch in Rust

Theseus is a new OS written from scratch in Rust to experiment with novel OS structure, better state management, and how to shift OS responsibilities like resource management into the compiler.

We are continually working to improve the OS, including its fault recovery abilities for higher system availability without redundancy, as well as easier and more arbitrary live evolution and runtime flexbility. Though still an incomplete prototype, we envision that Theseus will be useful for high-end embedded systems or edge datacenter environments. See our published papers for more information about Theseus’s design principles and implementation philosophy, as well as our goal to avoid the phenomenon of state spill or mitigate its effects as much as possible. Also, see Theseus’s documentation for more.

This thread was posted by one of our members via one of our news source trackers.

Where Next?

Popular Cross Platform topics Top

axelson
I’ve been really enjoying obsidian.md: It is very snappy (even though it is based on Electron). I love that it is all local by defaul...
New
AstonJ
Just discovered this: Wireshark is the world’s foremost and widely-used network protocol analyzer. It lets you see what’s happening on...
New
Qqwy
Hi everyone! Property-based testing is amazing: You specify what types of input values you expect and what kinds of properties are expec...
New
wolf4earth
I have to mention Notion.so, especially because they recently went completely free for personal usage (I had a subscription in before). ...
New
bot
FreeCAD/FreeCAD. This is the official source code of FreeCAD, a free and opensource multiplatform 3D parametric modeler. Issues are mana...
New
First poster: bot
Theseus is a new OS written from scratch in Rust to experiment with novel OS structure, better state management, and how to shift OS resp...
New
First poster: bot
WezTerm is a GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust Features Runs on ...
New
CommunityNews
Finally, a command line shell for the 90s fish is a smart and user-friendly command line shell for Linux, macOS, and the rest of the fa...
New
First poster: bot
Recapping from the first post introducing this project, DataStation is an IDE for manipulating data (from HTTP servers, SQL databases, lo...
New

Other popular topics Top

wolf4earth
@AstonJ prompted me to open this topic after I mentioned in the lockdown thread how I started to do a lot more for my fitness. https://f...
New
AstonJ
SpaceVim seems to be gaining in features and popularity and I just wondered how it compares with SpaceMacs in 2020 - anyone have any thou...
New
brentjanderson
Bought the Moonlander mechanical keyboard. Cherry Brown MX switches. Arms and wrists have been hurting enough that it’s time I did someth...
New
New
AstonJ
This looks like a stunning keycap set :orange_heart: A LEGENDARY KEYBOARD LIVES ON When you bought an Apple Macintosh computer in the e...
New
Exadra37
I am asking for any distro that only has the bare-bones to be able to get a shell in the server and then just install the packages as we ...
New
Exadra37
Oh just spent so much time on this to discover now that RancherOS is in end of life but Rancher is refusing to mark the Github repo as su...
New
foxtrottwist
A few weeks ago I started using Warp a terminal written in rust. Though in it’s current state of development there are a few caveats (tab...
New
AstonJ
If you get Can't find emacs in your PATH when trying to install Doom Emacs on your Mac you… just… need to install Emacs first! :lol: bre...
New
AstonJ
Was just curious to see if any were around, found this one: I got 51/100: Not sure if it was meant to buy I am sure at times the b...
New