Maxim Schuwalow
mschuwalow
Lead Engineer @ Golem Cloud.
Khajit has code, if you have coin. 🐱
Golem Cloud Germany
Rafael Saraiva Figueiredo
saraiva132
Functional programming and distributed systems enthusiast
@coralogix Portugal
Cal
calvinlfer
Be kind to others 😊
Continuously improve yourself 📈
Functional Programming forever 🔄
@kaizen-solutions Toronto
Anton Sviridov
keynmol
I work hard at the intersection of "interesting" and "impossible to make money from"
London, United Kingdom
Ralph Matthes
rmatthes
until 2005 at LMU München (Germany) first as mathematician then as computer scientist, since then researcher in computer science at CNRS (France)
IRIT, Université de Toulouse, CNRS, Toulouse INP, UT3 Toulouse, France
Vladimir Voevodsky
vladimirias
Vladimir Voevodsky died September 30, 2017. This account is maintained in memoriam by Dan Grayson as his academic executor, http://dangrayson.com/.
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Univalent Mathematics
UniMath
A unified approach to formalization of mathematical knowledge based on Univalent Foundations.
ProfunKtor
profunktor
A profunctor is just a bifunctor that is contravariant in the first argument and covariant in the second. What's the problem?
Jakub Kozłowski
kubukoz
Scala developer who likes functional programming and other nice things.
Sometimes I run; sometimes I speak at conferences.
SiriusXM (contractor) Wrocław
Vladyslav Pekker
agilesteel
Scala enthusiast and content creator at https://youtube.com/devinsideyou
@DevInsideYou Brazil
DevInsideYou
DevInsideYou
DevInsideYou is making the world of professional software development accessible to anyone by creating educational content.
Brazil