I have created a new organization on the chat system Zulip.com. This Zulip organization now has ?streams? (or chat channels) for ?Standard ML?, ?SML/NJ?, ?MLton?, and ?general?, and Topics can be created under these streams. I would welcome a new stream for discussion of Poly/ML, and encourage people on the polymer mailing list to join the Zulip organization using the following invitation link:
https://standardml.zulipchat.com/join/7zpttltlmvicuv6ite6ogbdl/
The URL for the organization is standardml.zulipchat.com.
David MacQueen dmacqueen at mac.com
P.S. There is also a ?Standard ML? server on Discord, but I am leaning strongly toward Zulip for future support of the Standard ML community.
P.S. The new home of SML/NJ is https://github.com/smlnj. The source repositories, Issues (e.g. bug reports), Wiki, and Discussions are there, but the smlnj.org web site is still hosted at the University of Chicago.