Matthías Páll Gissurarson
Tritlo
uncertified haskell engineer | certified researcher
DPella AB Gothenburg, Sweden
Naïm Camille Favier
ncfavier
aka ncf. PhD student working on cubical type theory.
Chalmers University of Technology Sweden
Vladislav Vasil'ev
faust403
Rust • C++ • Haskell — Distributed Systems • Low Latency Programming • Heterogeneous computing
@hadronlabs-org Internet
Fifty
aleeusgr
a writer and a sailor, a hacker. Developer Advocate at @IntersectMBO Open Source Office.
Mihai Maruseac
mihaimaruseac
Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.
Google San Francisco
Eduardo Sandalo Porto
edusporto
Computer Science @ IME-USP
University of São Paulo São Paulo, Brazil
Paul Bittner
pmbittner
Research assistant and PhD student | Likes Agda, Agdq, ADTs, ASTs, MtG
@TUBS-ISF Würzburg
Robert Phair
rphair
Web app & blockchain designer; devops & security consultant; open source advocate; writer & standards architect.
COSD (Cardano stake pool & consultancy) Ireland + USA + nomadic
Piotr Paradziński
lemastero
Apply formal methods, category theory, type theory to build: blockchains / compilers / big data
in Scala / Haskell / Idris / Agda
@ScalaConsultants
Lublin
nschoe
nschoe
Hardcore engineer, Roboticist, AI & software engineer.
Soon-to-be Rocket Scientist (more on this soon!)
Cofounder @ https://saline.network/
Paris, FRANCE
Jeffrey Young
doyougnu
PhD in programming languages. Artificer. GHC developer and JS backend core developer. I write a lot of Haskell.
PreviousNext