Skip to content

@leanprover Lean

@diversable
Daniel Mantei diversable

BC, Canada

@ConfeitoHS
Hosung Lee ConfeitoHS
uwu

GIST Gwangju, Republic of Korea

@AntiKnot
xxx.Yan AntiKnot
@ToastWithCheddar
ToastWithCheddar
@GoodRoyal
GoodRoyal
@Dim25
Dmytro Filatov Dim25

San Francisco

@ApplenWorm
Emomalijon Murodzoda ApplenWorm
@dkapt
Dimitrios Kapetanios dkapt

Greece

@yutatokoi
Yuta Tokoi yutatokoi

Tokyo or Melbourne

@Peterjsr
Peterjsr
@axiomsss
Jack axiomsss
@SyntakticSugar
Robert Culling SyntakticSugar
Mathematics teacher interested in type theory and functional programming 👨‍💻

Christchurch, New Zealand

@pls331
Shang pls331
Still in the process to figure out who am I.
@naizhengtan
Cheng Tan naizhengtan

Northeastern University Boston

@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@marcodelpin
marcodelpin
@XR-stb
小染 XR-stb
Lazy person, do anything interesting
@333satoru
333satoru 333satoru
@exxjob
exxjob
i have no mouth and i must beatbox
@janmarthedal
Jan Marthedal Rasmussen janmarthedal

@energidata Denmark

@Tridu33
Tridu33
tridu33.github.io
@jpsaha
Jyoti Prakash Saha jpsaha
@naufalD
Naufaldi Maulana Siregar naufalD
Year 4 Physics and Mathematical Science major at Nanyang Technological University

Singapore

@local-ring
Aolong Li local-ring
naive algebraic geometer
@9glenda
9glenda 9glenda
@igarash1
Koki I. igarash1

Japan

@artscam
artscam
@Kiggundug1
GODFREY KIGGUNDU Kiggundug1

DOVE INVESTIMENTS LTD KAMPALA UGANDA

@YichengDWu
Ethan Wu YichengDWu

University of Calgary Calgary, AB

@C919ol
C919ol
@jiangbryan
Jie JIANG jiangbryan
Working on theoretical analysis on partial differential equations of parabolic type, like Keller--Segel equations, etc.

Innovation Academy for Precision Measurement Science and Technology Wuhan, China

@Senthi1Kumar
Senthil Kumar N Senthi1Kumar
Data Scientist | ML | Math

India

@knaeve
ℕaive knaeve
Writing ugly code but hey it works, does math too.

127.0.0.1

@ngrislain
Nicolas Grislain ngrislain
Co-founder and CSO of @sarus-tech

Sarus Technologies Paris

@arroui
Sidon Amedyaz arroui
Consider everything !

Auric Mahogany Everywhere

@swisstackle
Alain Schaerer swisstackle
C# / .NET Fullstack Software Developer @PCA-Technology-Group. Background in Blockchain Technology, i.e. Cosmos and Move. Interested in systematic trading.

PCA-Technology-Group Zurich, Switzerland <-> Buffalo, NY

@alxbnct
Yosef Weissmann alxbnct
@edwardzcn-decade
Edward Zhang edwardzcn-decade
@kernelsoe
Kernel Soe kernelsoe
crafting a tool to craft tools

Milky Way, Earth

@andrewalson
Andrew Alson andrewalson

Raleigh, North Carolina, USA

@Miou-zora
Miouzora Miou-zora




A little CS student looking for some Monsters.

Epitech Nantes

@curenosm
Misael Cureño curenosm

Facultad de Ciencias, UNAM Mexico City

@dada325
Wenda Zheng dada325
5 years Software Development in Life Science. Bioinformatic. ETH Zürich computer science.

Zürich

@nektro
Meghan Denny nektro
27. Local trans witch who prefers to do her magic with a keyboard.

@oven-sh San Francisco, CA, USA

@obj-p
Jason Prasad obj-p

United States

@manuelnetocruz
manuelnetocruz
@andrewdmeier
Andrew Meier andrewdmeier
@snkd
Susant Khadka snkd
@LinPoly
Pengyun Lin LinPoly
Interested in ML and System

China

@Qiu233
Qiu Qiu233