The nForum has moved to Zulip:
state-field correspondence
.