Welcome to Theseus OS's Discussions Page!

[kevinaboos]

👋 Hello and Welcome!

The Theseus OS maintainers are now using GitHub Discussions as a place to connect with other members of the open-source community at large. We hope that you:

• Ask any questions you may have, both about Theseus or Rust.
• Share any interesting ideas.
• Engage with other members of the Rust, OS, and open-source communities.
• Welcome others and remain polite, open-minded, and empathetic to others.

Thanks!

Key active members of the Theseus Org

• @kevinaboos: creator and primary maintainer of Theseus
  • Currently working on supporting WASM on Theseus, mainly porting wasmtime to Theseus
• @Ramla-I: researcher at Yale working on intralingual driver design and software verification for Theseus
  • Has also previously worked on general network functionality, NIC drivers, and heap allocation
• @forrestzhong: faculty at Yale who helps guide the research ideas behind Theseus

Notes about Discussions usage

Any and all questions and discussion topics are welcome here, but it is preferable to file a GitHub issue if you are:

• Experiencing a specific problem with Theseus
• Trying to file a bug report
• Requesting a new concrete feature