The nForum has moved to Zulip: Hochschild-Kostant-Rosenberg theorem.