Skip to content

@agda-web Agda Web

@0x73970
0x73970
@cwhy
Chen Yu cwhy
I am working on machine learning theory and algorithms.
@jojoid
JoJo jojoid
@hmltn-0
Julius Hamilton hmltn-0
Developer honing skills in system design, project management, and full stack. Focused on SQL, data science, and category theory. Let's innovate together.

Hamilton, Inc. Salt Lake City

@YunXiuRZ
YunXiuRZ
@Lisanju
LIS-λ Lisanju
Semanticist

Federal University of São Carlos São Paulo, Brazil

@celsobonutti
celso celsobonutti
hey i'm celso | i write haskelly things on my day job

@NoRedInk Salvador, Bahia

@wenkokke
Wen Kokke wenkokke
tries to walk the line between programming languages and a̸i̸ | good job, y'all ruined ai

Scotland

@YuRen-tw
Yu-Ren YuRen-tw
Mathematics student. Combinatorics, Algebra, Number theory. @NTUOSC

Taipei, Taiwan

@skylee03
Yang Ming-Tian skylee03
HKU CS '25

University of Hong Kong Hong Kong

@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@L-TChen
Liang-Ting Chen L-TChen

Institute of Information Science, Academia Sinica Taiwan