saterus
Follow
Jackie Gleason
jrgleason
I am an experienced Java developer but I love toying around with JS. So I guess you could say I go both ways.
United States
Mario Carneiro
digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.
Chalmers University of Technology Gothenburg, Sweden
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
Reg Braithwaite
raganwald
formerly @PagerDuty, @github, @unspace, devtopia, kl group/sitraka, codestorm, publishing revenue partners. javascript allongé, what i learned from failure, &c.
Ajax, Ontario, Canada
Phil Hagelberg
technomancy
https://github.com/technomancy?utm_content=site-enterprise-button&utm_source=corporate-monopoly&utm_medium=website&utm_campaign=stop-using-github-geez
USA