Mathics3
Xuanzhao Gao
ArrogantGao
PhD student from HKUST working on applied mathematics, programing in Julia.
Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Heidelberg / Shenzhen
Tan Siret A.
tansiret
Free and Open Source Software/Hardware developer
Politecnico di Torino Planet Earth
Kevin Modica
KevinModica
NSF Graduate Student Research Fellow at University of California Santa Barbara
UC Santa Barbara
Ian Cristian Yané
ianCristianAriel
Científico de datos y profe en STEAM
ICARO | Kodland LATAM Argentina, Buenos Aires
S. Alim Reza
stephen256
A multifaceted author whose work explores the realms of weird, speculative fiction—blending cosmic horror, occult mystery, and sci-fi
Canada
voyage200🍬
jexjws
自己不行动，听到的永远是别人的好消息。 /
If you never take action, all you'll ever hear are other people's success stories.
China