mrkkrp
Follow
Gabriel Simões
gabrielsimoes
Software Engineer at Palantir Technologies
Palantir Technologies New York, NY
Connor Baker
ConnorBaker
Nix Engineer @tweag. Interested in formal methods, Haskell, Lean, type & category theory, and computational photography!
@tweag Haymarket, V.A
James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
@aruba The edge of knowing
Eric Bailey
yurrriq
Highly functional yak stylist, {HoT,PL}T enthusiast, {Erlang,Lisp}er, Kubernaut, MaMuTh meddler, Nix user, (comics) reader, linguaphile, musician, philomath, &c
@sportradar Minneapolis, MN
Felipe S. S. Schneider
schneiderfelipe
A PhD chemist (computational chemistry) and (scientific) software engineer.
Cellertz Bio 27°35'20.2"S 48°31'12.5"W
chris montgomery
montchr
a coalescence of discrete organic machinery // lead dev @ klein.temple.edu // previously: alley, spirited media
Temple University philadelphia, pa
Pranay S. Yadav
pranaysy
defoliate untoward custom knitted
MRC Cognition and Brain Sciences Unit Cambridge, UK
Rodrigo Mesquita
alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP Portugal
Matthew Mosior
Matthew-Mosior
Graduate of Bioinformatics and Computational Biology Program at SLU. I enjoy elucidating and applying algorithms and any thought provoking programming.
Tampa, Florida, USA
PreviousNext