andorp
Follow
Jonathan Goodwin
jondgoodwin
3D web evangelist. Author of the Cone & Acorn programming languages and Pegasus browser.
Brisbane, Australia
Avestura
avestura
I would rather have questions that can't be answered, than answers that can't be questioned.
— Richard Feynman
Sagittarius A*, Milky Way
Phil Freeman
paf31
Original developer of the PureScript compiler, author of http://leanpub.com/purescript, Haskeller, PLT enthusiast.
Los Angeles, CA
Vilem Liepelt
buggymcbugfix
Code monkey. Lab rat. Motivation: An ounce of cunning beats a tonne of brute force—SPJ
University of Kent Nowhere
Alberto Centelles
Acentelles
Constantly looking for the pleasure of finding things out. Algebraic number theory and cryptography.
London
Thomas Dietert
tdietert
Generalist Software Engineer & Functional Programming Enthusiast
Boulder, CO
Csaba Hruska
csabahruska
I'm a software engineer and I'm keen on doing research and development.
I work on compilers and static analyses. I like Haskell, Idris2 and machine code.
London
Ara Adkins
iamrecursion
Compilers, type-theory, runtimes, formal verification, cryptography. Mixing, mastering and music. Skiing, parkour, martial arts.
CTO & CFO @tactile-metrology, Principal Engineer @reilabs Amsterdam, NL
John Wiegley
jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.
@kadena-io California, USA
Attila Gyöngyösi
attilagyongyosi
Lead Software Engineer, Team Leader, Java/JavaScript/Angular/React Developer, Beer & Music Enthusiast
EPAM Systems Debrecen, Hungary
