Danny McClanahan
cosmicexplorer
typing free software to break the shoulders of giants from golden handcuffs
DC baby!!!!!
Arjun Vedantham
javathunderman
PhD student currently at the University of Illinois Urbana-Champaign
/dev/null
Xiao Ling
lingxiao
@penn undergrad/masters in robotics, bioengineering, and math. Research experience in applying machine learning tools to problem computer vision and NLP.
Felipe Péret
felipeperet
Proofs and Types
Universidade Federal de Ouro Preto Ouro Preto, MG - Brasil
Jonathan Weinberger
jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.
Chapman University Orange, CA
Felipe Tavares
felipetavares
People. Business. Travel. Violin. Software. Games. Electronics.
Pragma Team Sydney, Australia
Alcides Fonseca
alcides
Associate Professor at University of Lisbon, Portugal
Researcher at LASIGE
LASIGE, University of Lisbon Lisboa, Portugal
David Teresi
dkter
I like to make things. UWaterloo Computer Engineering alum (class of '25).
Canada
Naïm Camille Favier
ncfavier
aka ncf. PhD student working on cubical type theory.
Chalmers University of Technology Sweden
PreviousNext