The nForum has moved to Zulip: simplicial type theory.