Check out Discourse and Twitter for recent news.
For recent releases, check out the GitHub repositories of Coq and the Coq platform.
