The nForum has moved to Zulip:
Adams spectral sequence
.