Skip to content
@LinPoly
Pengyun Lin LinPoly
Interested in ML and System

China

@skylee03
Yang Ming-Tian skylee03

University of Hong Kong Hong Kong

@OlingCat
Oling Cat OlingCat
Just a little cat.

Hakurei Shrine Gensokyo

@thefundamentaltheor3m
Sidharth Hariharan thefundamentaltheor3m
3rd Year Maths at Imperial | Exchange Student at EPFL

@ImperialCollegeLondon

@JamieVaughn
Jamie Vaughn JamieVaughn
Frontend Software Engineer @ Altana.ai MCC React Instructor

Altana.ai Rochester, NY

@olorin37
Jakub A. G. olorin37

@nokia Wrocław, Poland

@sammorozov
Sam Morozov sammorozov
Data Scientist / Web3 dev / ex-Analyst in fintech 🇷🇺

FTTTTI Russia

@Formal-Mathematics-Lab
Formal-Mathematics-Lab

@FormalMathematicsLab

@L1feiyu
L1feiyu

Washington D.C.

@Sachink003
Sachin Kumar Sachink003
Mathematician

@UWaterloo Ontario, Canada

@iamoeg
Oussama EL GHANNAMI iamoeg
Just a nerd doing nerdy things 🤖

Morocco

@pickaxe828
Pickaxe828 pickaxe828
A student that is learning coding...

Asia, China, Hong Kong

@wargrey
WarGrey Gyoudmon Ju wargrey
Knowledge guides behavior; Practice accompanies discipline. Serving back to the world; To gain a delightful life.
@kurhula
Musa Baloyi kurhula

Madyondza Consulting Johannesburg

@dom-liu
Dom dom-liu
software developer

shenzhen,china

@qkniep
Quentin Kniep qkniep
PhD Student at ETH Zurich

ETH Zurich Zurich, Switzerland

@Jyny
Jerry Y. Chen Jyny
always starting new side projects, working at @jynychen

Taiwan

@kands-code
Kevin Stephen kands-code
I am nobody but love kiyohi.

China

@zeyutt
Zeyu Liu zeyutt
Ph.D student at Shanghai Jiao Tong University

Shanghai, China

@mikolajkapica
Mikołaj Kapica mikolajkapica

Politechnika Wrocławska

@Laeeth
Laeeth Isharc Laeeth
Hacker, trader, aspiring live player. Former co-CEO / Executive Committee member of Symmetry Investments ($11bn hedge fund) where I directed tech across firm

Kaleidic Associates Advisory Limited London

@renardyreveur
Jeehoon Kang renardyreveur

PlainBagel Seoul, South Korea

@vishallama
Vishal Lama vishallama
Software Engineer (Scala/ZIO/Rust), building distributed/concurrent applications. Interested in using formal verification methods in business applications.

USA