Members with interest: Formal semantics
Andreas Walker (andreaswalker)
Hanna de Vries (hannadevries)
Joshua Herrin (herrinjomsu)
Pavel Rudnev (pavelrudnev)