Riccardo D'Ambrosio
RDambrosio016
Fourth year college student with a concerningly profound interest in Rust and GPUs. I make tools to turn your GPUs into expensive space heaters
Foresight Spatial Labs
Leni Aniva
lenianiva
Researcher in Machine-Assisted Theorem Proving;
Director of NorCal Hakkero Factory No. 1
Stanford University Centaur Lab San Francisco Bay Area, Gensokyo
Songlin Yang
sustcsonglin
An INTP 🐱.
PhD student @ MIT CSAIL. Member of Technical Staff @ Thinking Machines Lab.
she/her/hers
MIT Cambridge
Kevin Buzzard
kbuzzard
Professor of pure mathematics at Imperial College London.
Currently learning about theorem provers.
@ImperialCollegeLondon London
Victor Taelin
VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.
Higher Order Company Rio de Janeiro, Brazil
Patrick Kidger
patrick-kidger
ML+proteins, sciML, numerics, neural ODEs ╱ building 'scipy w/ autodiff+GPU' in JAX: Equinox, Diffrax, Lineax, etc ╱ solo traveller, martial artist, scuba diver
Cradle.bio Zürich
Allen Institute
AllenInstitute
Please visit http://alleninstitute.github.io/ for more information.
Seattle, WA