saulshanabrook
Follow
Donghee Na
corona10
@line Seoul, South Korea
Guilherme Leobas
guilhermeleobas
(prev) Compilers at @lac-dcc. Now, open source at Quansight. Triathlon in my free time.
Paddy Mullen
paddymul
Python/PyData/Jupyter dev. Thoughtful bug filer, aspirant open source messaging crafter, sometimes lisper.
Independent Newport, RI
Mario Carneiro
digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.
Carnegie Mellon University
Caleb Helbling
calebh
Senior Member of the Technical Staff at Draper Laboratory
Draper Laboratory Cambridge, MA
Naomi Liu
dreamsmasher
Try to look at your stack as half-full rather than half-empty. Back-end engineer working with Scala, Rust, Haskell, Docker, and Kubernetes. Happily employed 💍✨
Vancouver
Gus Smith
gussmith23
Computer Architecture and Programming Languages PhD @ University of Washington
University of Washington Seattle, WA
Jakub Bachurski
jbachurski
Cambridge CompSci, problem solver, competitive programmer
University of Cambridge United Kingdom, Cambridge
Brian Skinn
bskinn
MIT ChemE PhD. Pythonista specializing in data analysis, DevOps, and general automation tool/library development. Dabbler in quantum chemistry.
Radial R&D Dayton, OH, USA
Victor Taelin
VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.
Higher Order Company Rio de Janeiro, Brazil
Zachary Tatlock
ztatlock
Associate Professor,
UW Allen School (CSE)
University of Washington Seattle, WA
Li Yao
lastland
Assistant Professor at Portland State University. Functional Programming. Formal Verification. Haskell/Coq.
Portland State University Portland, OR
Marc Wouts
mwouts
PhD in Probability Theory, Itô prize 2009.
I also love programming (C++, Python, R etc)
London
Leo Fang
leofang
Python CUDA tech lead @NVIDIA. Open source contributor on my spare time.
@NVIDIA Greater NYC area
J. Ryan Stinnett
jryans
Exploring how to make programs more malleable and computing more humane | My communities: @malleable-systems, @matrix-org, @mozilla
London, UK
Dawn Foster
geekygirldawn
Director of Data Science at CHAOSS, CHAOSS Board / maintainer, OpenUK Board, CNCF TAG Contributor Strategy co-chair, runner, reader of sci-fi, world traveler.
CHAOSS London, UK
Mario Lezcano Casado
lezcano
@pytorch core dev.
I disguise differential geometry as machine learning.
Quansight
