The nForum has moved to Zulip: differential cohesive homotopy type theory.