Kevin Buzzard
kbuzzard
Professor of pure mathematics at Imperial College London.
Currently learning about theorem provers.
@ImperialCollegeLondon London
Neil Mitchell
ndmitchell
Haskell/Rust programmer. All code is open source and licensed by me, not my employer. All views are my own.
Meta Cambridge, UK
Stephanie Weirich
sweirich
Wish I had more time to code. And by code, I mean prove things.
University of Pennsylvania Philadelphia
Conal Elliott
conal
Play/learn/work with me: https://github.com/conal/Collaboration
(open to employment) San Andreas, California, USA
Richard Eisenberg
goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.
@janestreet Philadelphia, PA
Emanuel Borsboom
borsboom
FP Complete Mayne Island, unceded territory of the Coast Salish peoples
Michael Snoyman
snoyberg
Haskell and Rust, founder and maintainer of many OSS Haskell projects: Yesod, Conduit, Stack, Stackages, and more. VP of Engineering at FP Complete (@fpco)
@fpco Israel
Radoslav Georgiev
RadoRado
CEO of HackSoft (@HackSoftware)
Python & Django developer.
@HackSoftware Sofia
PreviousNext