The nForum has moved to Zulip:
layers of foundations
.