☸️
Researcher,
Developer
Alok Singh
alok
If you’re a smooth operator, you can infinitely differentiate yourself.
Berkeley, CA
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Veronika Romashkina
vrom911
#Learn4Haskell mentor 👩🏼🏫
Haskell Developer. Check out @kowainik to see more projects I'm working on.
I also do @bindthegap
@kowainik London
Jack McPherson
jmcph4
Securing blockchains and building blocks @sigp
@sigp Brisbane, Queensland, Australia
David Jaz Myers
DavidJaz
A mathematician. Interested in categorical systems theory, modal type theory, and what it means to be a "thing".
Bartosz Milewski
BartoszMilewski
Author of Category Theory for Programmers
Programming Cafe Paris, France
Matteo Capucci
mattecapu
PhD student at University of Strathclyde.
Applied Category Theory + ε.
Retired web dev.
Glasgow, UK
PreviousNext