Skip to content

@homotopy-io homotopy.io

@sorceressofmathematics
sorceressofmathematics
@drzo
drzo
@lane-core
Lane Biocini lane-core
type theory researcher, programmer based in nyc

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