dsabanin
Follow
Highlights
- Pro
Phil Freeman
paf31
Original developer of the PureScript compiler, author of http://leanpub.com/purescript, Haskeller, PLT enthusiast.
Los Angeles, CA
The Ciao Programming Language
ciao-lang
A general purpose, multi-paradigm programming language in the Prolog family
Earth
Enrico Tassi
gares
I'm a researcher in CS, mainly formal proofs and the implementation of proof assistants. I'm a hacker, a free software supporter
@coq @math-comp @LPCIC Inria Sophia-Antipolis
Ricardo Rocha
rochaporto
Think Positive, Flaps Negative
Computing Engineer @ CERN
Geneva, Switzerland
Andrew Myers
andrewcmyers
Professor of computer science at Cornell University. Works on programming languages and security.
Cornell University Ithaca, NY, USA
Patrick Graham
pgraham3
Software Engineer II @ ActiveCampaign, working on Postmark & DMARC Digests https://postmarkapp.com https://dmarcdigests.com
@ActiveCampaign Toronto
Rian van der Merwe
rianvdm
Product leader, curious learner, and music fanatic. Director of Product @ Cloudflare.
@cloudflare Portland, OR
Anders Hejlsberg
ahejlsberg
Microsoft Technical Fellow and lead architect of TypeScript. Original designer of C#, Delphi, and Turbo Pascal.
Microsoft Redmond, WA, USA
PreviousNext