The nForum has moved to Zulip:
projective dimension
.