Dan Piponi
dpiponi
Using an IBM Port-a-Punch I wrote my first program in Fortran in around 1978.
San Anselmo, CA, USA
Jonas Chevalier
zimbatm
@numtide [@x1:~] $
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
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Jasper Van der Jeugt
jaspervdj
Haskell programmer. I like to make things.
engineer at @digital-asset Zurich, Switzerland
Attila Egri-Nagy
egri-nagy
Computational mathematician interested in the fundamental theory of computation and other applications of abstract algebra.
Akita International University Akita, Japan
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
Andor Penzes
andorp
FP developer who applies formal methods in software engineering, has a colorful experience from Quality Assurance to Proof Engineering.
https://www.redbubble.com/shop/ap/92458473 London, United Kingdom
PreviousNext