There is now a Stack Exchange Q&A site dedicated to Proof Assistants! Do not hesitate to post and answer Coq questions there (use the coq tag).
Check out Discourse and Twitter for recent news.
For recent releases, check out the GitHub repositories of Coq and the Coq platform.
