Talk on Progress

A discord server for theory in practice.
By invitation only.