Ulrik Buchholtz
UlrikBuchholtz
Assistant Professor with the Functional Programming Lab, School of Computer Science, University of Nottingham.
❤️ Homotopy Type Theory/Univalent Mathematics
University of Nottingham
James Brown
Roguelazer
Software and Systems Engineer @instrumentl; formerly at @EasyPost, @uber, @Yelp, and @google. Enjoys writing Python, Rust, Ruby, C, and Puppet manifests.
@instrumentl Oakland, CA
Andy Bakun
thwarted
Gentleman Hacker; Artifex; Raconteur; At Large; Victim of Arbitrariness; Either a certified genius or an authentic wacko.
EasyPost San Francisco, CA