Skip to content

@leanprover-community leanprover-community

@daniel-polaske
Daniel Polaske daniel-polaske
@KyrieXiao25
Xiao Feng KyrieXiao25
Incoming PhD candidate at HKBU

HKBU Hong Kong

@sarnthil
Laura Oberländer sarnthil

alcemy Freiburg im Breisgau

@ccianos
Charles Cianos (Charlie) ccianos
Wassup friends! I'm Charlie a beautiful Homo Sapien of hominization only for peace. BLM, BIPOC, LGBTQ+, the Working Class, the Poor and the Homeless matter.

Hagginwood, Sacramento, CA

@MarkusFerdinandDablander
Markus Ferdinand Dablander MarkusFerdinandDablander
Research Mathematician | Recent Doctoral Graduate, Mathematical Institute, University of Oxford | Theoretical & Applied AI, Machine Learning & Data Science
@ewdlop
Raymond Lei(雷菩宇); 䨻-Ficus religiosa-Cousin ewdlop
Hello there! A mathematics enthusiast.智造未来！42 = (-80538738812075974)^3 + 80435758145817515^3 + 12602123297335631^3. Algorithm >> language. Praticing 黑色幽默;

(+1)732-740-5036 Panthalassa, Not New Jersey United States of America 07712

@autistic-helper
autistic-helper
@autistic-symposium's chief spacial assistant

some mempool 🦈

@fmontesi
Fabrizio Montesi fmontesi
Professor of Computer Science, Danish Institute for Advanced Study (DIAS) and University of Southern Denmark

Danish Institute for Advanced Study / University of Southern Denmark / italianaSoftware s.r.l.

@joancliment
joancliment
@wjjpku
Justin Wu wjjpku
hi~
@XwanXuanX
Wanxuan Li XwanXuanX
little innocent cat (`~`)

University of Waterloo Canada

@joelriou
Joël Riou joelriou
Mathematician at University Paris-Saclay

Orsay, France

@Chenshize0104
Li CHEN Chenshize0104
I'm a PhD student in Ecology working with plant–mycorrhizal fungi networks and plant-pollinator interaction networks in Invasion Ecology.

CAS (Chinese Academy of Sciences) Kunming, Yunnan, China

@aaspeel
Antoine Aspeel aaspeel
I am a postdoc in control and optimization

CentraleSupélec Paris

@shikil
shiki shikil
@notch1p
Evan Gao notch1p
Caffeine-driven copy/paste-ing master

Shenzhen

@tangwei94
tangwei94
@zhuzhizhan
JustOneCore zhuzhizhan
@adec33
adec33
@CobusL
Cobus Labuschagne CobusL
@nathansolomon1678
Nathan Solomon nathansolomon1678
@BOSSzzy
Bosszzy BOSSzzy

jiangsu

@pedrofutura95
pedrofutura95
@A-Alaa
Asem A-Alaa
Migration from Microsoft/GitHub to Gitea is planned.
@edbertkwesiek
edbert Gator (edgar) edbertkwesiek
i am a Reader and learner @ heart who believes in the power of Quantum and Blockchain technologies to transform society. I love Programming and mathematics.

GHANA

@Jiaye2009
Jiaye2009
@Elbehery
Mustafa Elbehery Elbehery

Red Hat

@gm8xx8
gm8xx8
@IanWangg
Yiran Wang IanWangg
PhD Student at UCLA Reinforcement Learning | Large Language Models | Automated Theorem Proving

LA

@orange-you-glad
R.A. Jacob Martone orange-you-glad
Giving oranges and compassion in Radio Park, Fresno. Building monuments of meaning and mathematics — one of them is a spectral proof of RH.

OOI Radio Park

@xoelcouselo
Xoel Couselo xoelcouselo
👋 Hi, I’m @xoelcouselo 👀 I’m interested in Data Science and Web SaaS Development 🌱 I’m currently Student of Degree in Computational Mathematics💞

Spain, Galician, Santiago de Compostela

@sambellet
sambellet
@Question406
Jiabao Ji Question406
Third-year Phd student at UCSB, Linux lover, TLM/vim user, prev KDE/Archlinux user, now I use Aerospace with Macos

UCSB CA

@alxg78
alxg78
@ApplenWorm
Emomalijon (Emom) Murodzoda ApplenWorm
I remember when

This world

@ozt-j
Oz ozt-j
@AmyRouillard
Amy Rouillard AmyRouillard
PhD student at Stellenbosch University, South Africa.

Stellenbosch

@hariharansrc
Hariharan Ramanathan hariharansrc
Software Engineer

Bengaluru, India

@du-jc
Jiancheng du-jc
@mmpokharanakar
Mugdha Pokharanakar mmpokharanakar
Integrated PhD student, Department of Mathematics, IISER Bhopal
@sins921
Jesús Jiménez lozano sins921
por favor alguien que me explique

apichi gadalajara

@ChachiTheGhost
Marcus Acosta ChachiTheGhost
@Eicmlye
Eric Monlye Eicmlye

Beijing Institute of Technology

@smthxt
smthxt
@RitinkarDB
Ritinkar Das Bhaumik RitinkarDB
PhD scholar in Economics. Decision theory, game theory, behavioural and experimental economics

University of East Anglia Norwich

@eiodnsd
eiodnsd
@njwhtdyjr
zireal njwhtdyjr
a student of Beihang University

China ,Beijing

@stephendor
stephendor
@ia-androsov
Androsov Ilya ia-androsov
@nelbetancur
nelbetancur
art & architectural historian #nelbetancur

National University of Colombia