The nForum has moved to Zulip: continuum hypothesis.