Paul Snively
paul-snively
Pure FP software architect, so far in Scala, learning Haskell. Also dabbling in OCaml for many years and Coq for some fraction of that.
Asheville, NC
James Tauber
jtauber
Python and Web developer using linguistics, data science, and open source software to help people better understand languages and texts.
Greater Boston Area, US
Filipe Coelho
falkTX
I'm a self-taught software developer, with personal interest in C++ and Python.
Easily motivated by a good challenge. Open-Source enthusiast.
Berlin, Germany
Anil Madhavapeddy
avsm
Professor of Planetary Computing, University of Cambridge
University of Cambridge Cambridge, UK
David MacQueen
dmacqueen
Works on programming language design, semantics, and implementation. Particularly modules and type systems and type checking, and the SML/NJ compiler.
University of Chicago Los Gatos, CA