I have been working on the public website, and have added a new forum for users to use at:

https://discourse.redox-os.org

This is modeled after https://users.rust-lang.org and is completely open and allows anyone to sign up, unlike our mattermost chat.

I hope people who are interested will sign up and start posting.

There are also detailed kernel and libstd docs at https://doc.redox-os.org

We have an ISO release (WIP) at https://static.redox-os.org