Barton Rhodes
bmorphism
"Parametrised optics model cybernetic systems, namely dynamical systems steered by one or more agents. Then ⊛ represents agency
being exerted on systems"
@plurigrid san francisco
Joomy Korkut
joom
Formal verification and programming languages researcher.
@Bloomberg New York City
Laurent P. René de Cotret
LaurentRDC
Scientific computing, functional programming, and hardtech innovation.
Chair of the @haskellfoundation
@bitnomial Montréal
Vedant Padole
VedantPadole52
Full Stack Developer (SDE) || MERN Stack Engineer || React.js • Node.js • Express.js • MongoDB || Crafting Scalable, User-Centric Applications for Innovation
India
Rodrigo Mesquita
alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP @ GHC Team Portugal
Xavier Góngora
ninioArtillero
Mathematician and musician doing research in music DSLs, live coding and functional programming.
Founding member of @sptm-unam. Software engineer at @tweag.
@tweag Tepoztlán, Mexico
Alcides Fonseca
alcides
Associate Professor at University of Lisbon, Portugal
Researcher at LASIGE
LASIGE, University of Lisbon Lisboa, Portugal
David Binder
BinderDavid
Researcher in type theory and programming languages
University of Kent Canterbury, UK
Henry Blanchette
rybla
programming languages, formal verification, game dev, game theory
CS PhD student at UMD Washington, DC
PreviousNext