Yongxi (Aaron) Lin
CoolRmal
PhD student in math at Carnegie Mellon Univeristy. Interested in PDE, harmonic analysis, probability, and formal verification of math.
Allan Paiz
allanpaiz
Computer Science Student at the University of South Carolina.
Columbia, South Carolina
Yoichi Hirai
pirapira
Using this account for activities of Flamingo Ponderado Unipessoal LDA since 2025-07-09.
Flamingo Ponderado Unipessoal LDA Portugal
Michał Dobranowski
mdbrnowski
Computer Science & Mathematics student at AGH University of Krakow.
@esl Kraków, Poland
davideger
Long time Googler who built up: Books, Maps, Travel, and Personalization. Alumnus of GaTech, CMU, and Budapest Semesters in Mathematics.
ADA
a-dangelo
Hi! I'm Alessandro, Math PhD working on AI and ML engineering and formal verification. Building reliable agentic systems and verification tooling.
James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
@facebook The edge of knowing
Tyler Perkins
Clortox
Software Developer at Etactics. I like to do a little bit of everything
Etactics USA
Yongshun Ye
ShreckYe
Kotlin full stack developer; programming language theory (functional programming, type theory, formal math, etc.) enthusiast
@huanshankeji Chengdu
Matteo Cipollina
or4nge19
BA Philosophy (Università Cattolica - Milano)
MA Mathematical Logic & Philosophy of Science (Università Cattolica - Milano)
Barton Rhodes
bmorphism
"Parametrised optics model cybernetic systems, namely dynamical systems steered by one or more agents. Then ⊛ represents agency
being exerted on systems"
@plurigrid san francisco
PreviousNext