😋
Lover of formal specifications • Compiler developer • Linker enjoyer
-
15:28
(UTC +03:00)
Highlights
- Pro
Yuto Takano
yutotakano
CS Masters student at ETH Zurich. Contributor to @compsoc-edinburgh, @VIS-ETH, and @discord-haskell.
ETH Zürich Zürich, CH
David Binder
BinderDavid
Researcher in type theory and programming languages
University of Kent Canterbury, UK
Michael Chavinda
mchav
Software engineer focused on fraud detection, high-performance data systems, expressive APIs, and functional programming.
Seattle, WA
Sean Hess
seanhess
Scientific Software Engineer, Haskell Enthusiast.
National Solar Observatory SLC, UT
Matthías Páll Gissurarson
Tritlo
uncertified haskell engineer | certified researcher
DPella AB Gothenburg, Sweden
Wen Kokke
wenkokke
tries to walk the line between programming languages and a̸i̸ | good job, y'all ruined ai
Scotland
Andrea Bedini
andreabedini
Haskell / Nix / Build Systems / DevEx. Theoretical physicist, experimental mathematician, or something in between. Strangely attracted by old codebases.
@tweag Perth, Australia
Ivan Perez, PhD
ivanperez-keera
Principal Research Scientist @ NASA Ames Research Center |Haskell software architect | Public Speaker
@NASA Ames Research Center / KBR San Jose, CA
Yulia Gorshkova
Yuliosity
A functional programmer and a little of a bioinformatician.
See bitbucket.org/yuuri for main repositories.
PreviousNext