John Wiegley
jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.
@kadena-io California, USA
Thomas Dietert
tdietert
Generalist Software Engineer & Functional Programming Enthusiast
Boulder, CO
Stephanie Weirich
sweirich
Wish I had more time to code. And by code, I mean prove things.
University of Pennsylvania Philadelphia
Don Stewart
donsbot
Software engineer working on code search tools @ Meta. Past lives in finance, defense r&d and PL research. Ex-NYC,LON,SIN. Farm boy from nowhere, Australia.
@facebook Sydney, Australia
Bas van Dijk
basvandijk
I've 20+ years of experience as a Haskell, Rust and DevOps engineer in various roles.
DFINITY Zürich, Switzerland