The nForum has moved to Zulip: Stone-von Neumann theorem.