Skip to content

@homotopy-io homotopy.io

@noahdiewald
Noah Diewald noahdiewald

Ohio State University Columbus, OH USA

@damhiya
SoonWon Moon damhiya
An undergraduate student majoring in Computer Engineering and Mathematics at Inha University. Interested in PL.

Seoul, Republic of Korea

@micahscopes
Micah micahscopes
curious creative; working on tools for learning, creative expression and play

Minneapolis

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@RRs52s2s
RRs52s2s
@sorceressofmathematics
sorceressofmathematics
@drzo
drzo
@lane-core
lane lane-core
formal verification, (homotopy) type theory, and categorical nonsense

brooklyn

@elacosse
Eric Lacosse elacosse
Neuroscientist, Applied ML and Statistics
@sitch
sitch sitch

NYC

@exxjob
exxjob
i have no mouth and i must beatbox
@agentofuser
Helder S Ribeiro agentofuser

UTC-4

@4ad
Aram Hăvărneanu 4ad
Mathematical engineer bringing type safety to the cloud.

@cue-lang Vienna, Austria

@jackli777
jackli777

Shanghai

@hmltn2
hmltn-2 hmltn2
🇩🇰 Computational Linguist Entrepreneur 🇩🇰

Prosody Copenhagen

@filonik-tud
Daniel Filonik filonik-tud
@chabulhwi
Bulhwi Cha chabulhwi
I aim to create video games and other media for learning STEM disciplines.

Semmalgil Seoul, Republic of Korea (South Korea)

@lfrestrepog
Luis Fernando Restrepo lfrestrepog
@rinarakaki
Rin Arakaki rinarakaki