Théo Galy-Fajou
theogf
Developer at PlantingSpace, PhD Machine learning at TU Berlin, Master of Physics at EPFL
PlantingSpace Berlin
Victor Taelin
VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.
Higher Order Company Rio de Janeiro, Brazil
Henry Blanchette
rybla
programming languages, formal verification, functional programming, game theory.
CS PhD student at UMD UMD
b-d1
b-d1
CEO and Co-Founder @ TokenSight.
Senior Full-stack and Smart Contract engineer.
https://app.tokensight.io The orderbook
Orestis Melkonian
omelkonian
PhD @ University of Edinburgh
Formal Methods @input-output-hk
Interests: Programming Languages, Functional Programming, Type Theory, Formal Verification
Input Output (IOG) Kirkwall, Orkney, Scotland
Javidx9
OneLoneCoder
I'm a programmer. I'm keen on getting the word out that programming is fun, silly and educational. I don't do much web stuff, I like clock cycles.
http://www.youtube.com/javidx9
Nicholas Sharp
nmwsharp
3D geometry researcher: computer graphics/vision, geometry processing, and 3D machine learning
Seattle, WA