🥮
I really enjoy birds. And machine learning, and homotopy type theory, and functional programming, and...
-
Meta
- New York, NY
-
08:16
(UTC -04:00) - calwoo.github.io
Dan Piponi
dpiponi
Using an IBM Port-a-Punch I wrote my first program in Fortran in around 1978.
San Anselmo, CA, USA
Kevin Frans
kvfrans
PhD @ UC Berkeley. Previously at MIT, CrossLabs, Sizigi, Autodesk, OpenAI.
United States
Matt Harvey
harvitronix
CTO at Coastline Academy. Full-stack & machine learning.
Coastline Academy Los Angeles, CA
Stephanie Weirich
sweirich
Wish I had more time to code. And by code, I mean prove things.
University of Pennsylvania Philadelphia
Victor Taelin
VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.
Higher Order Company Rio de Janeiro, Brazil