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