Michael
sp1ff
I hack in C++, LISP, Rust, Coq & Idris. I think a lot about writing provably correct code.
Portland, OR
Clemens Schmid
nevrome
Computational archaeologist and PhD student at MPI GEA / MPI EVA
MPI GEA / MPI EVA Leipzig (Germany)
Eduardo García Maleta
egmaleta
long-term cs student | building gotei | fp/haskell/ocaml enjoyer | 😔
@INMYTEAM-CORP Havana, Cuba
Serhii Khoma
srghma
https://srghma.github.io/how-life-was-created
https://docs.google.com/presentation/d/1x1WXcqXbxWo-Nj3lzXgcSBTdmV-8Ohs9lGZDlfMI76g/edit?usp=sharing
Ukranian from Donetsk, rn in Cambodia
Diana Pham
phamasaur
PhD in Physics and Applied Physics at UT-Arlington.
University of Texas at Arlington Tyler, Texas, USA
Λ
DrRuisseau
VErY eXPeriEnCEd GRAVITY FIGHTER, ExCiTED tO sHArE mY kNoWLeDge!
I am not a technology nerd!11!!!
Also, i'm so sorry for my geniusness and successness. =)
Moremi Vannak
rinn7e
Enthusiastic Functional Programmer, specialized in Haskell, Typescript(fp-ts), Purescript, and Elm.
Serokell Phnom Penh, Cambodia
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