Naïm Camille Favier
ncfavier
aka ncf. PhD student working on cubical type theory. Trying to move to Codeberg.
Chalmers University of Technology Sweden
Jonathan Weinberger
jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.
Chapman University Orange, CA
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Chris Penner
ChrisPenner
Writing software to improve the experience of writing software.
Author of Optics By Example
Unison Computing Victoria BC, CA
Shae Erisson
shapr
Haskell, Python, Swedish, knitting, mountain unicycling, contact juggling
@magic-cap Medford, MA, USA