I have been working on the public website, and have added a new forum for users to use at:
This is modeled after this forum 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 static.redox-os.org