Skip to content

Users following Infinity-Type-Cafe

@ChiyoYuki
千代有希=> ChiyoYuki
ignoramus et ignorabimus

127.0.0.1

@Stormyisland
Jacques Lavoie Stormyisland
Meet the Visionary: Theodore Jacques Lavoie rad dude | Aerospace Innovator | AI & CAD Expert | UAM Specialist Jacques is a multidisciplinary engineer/coder

Abov-vtol canada

@RWUSTC
Hefeng Xu RWUSTC
Hefeng Xu here, undergraduate at University of Science and Technology of China. hep-th/math-ph/math.AG

HEP-TH@USTC / FB Mathematik@RPTU-KL

@Anillc
Anillc
Anillc dayo~
@skylee03
Yang Ming-Tian skylee03
PhD Student @hkuplg

University of Hong Kong Hong Kong

@jellyterra
Jelly Terra jellyterra
My life is on EECS.

Sein und Zeit

@ck76
CHENG KUN ck76
一期一会 Software Engineering is about tradeoffs, there is no one right answer.

NEUQ -> Keio University China.Hebei -> China.Beijing -> Japan.Tokyo -> Japna.Kansai

@rebornwwp
u rebornwwp

Beijing, China

@definfo
Yuxuan Sun definfo
A random PL/Compiler guy

Shanghai Jiao Tong University Shanghai, China

@catmeow123456
catmeow123456

Peking University

@Freakwill
William Song Freakwill
Anything is possible! Welcome to AI era!

BIMSA China

@odeinjul
Odeinjul odeinjul
Shurang Wu, PhD @ UT Austin
@ahyangyi
Yi Yang ahyangyi

Moonshot AI Beijing, China

@rickylixi
Xi rickylixi

Central South University

@Hubert-YH
Yonghuang Hu 胡永煌 Hubert-YH
PhD candidate in Sustech( Southern University of Science and Technology,南方科技大学 )

Southern University of Science and Technology shenzhen,guangdong province,China

@floatshadow
ZHU Siyuan floatshadow
PhD student; programming language, compiler; participated in ASC'22, ISC'23

Peking University Beijing, China

@cervoliu
Cervol Liu cervoliu
Master Student, Interested in {PL, Formal Verification, Compilers, HPC}

Beijing

@RedBlack23
toaster RedBlack23
mathematics and logic
@ShreckYe
Yongshun Ye ShreckYe
Kotlin full stack developer; programming language theory (functional programming, type theory, formal math, etc.) enthusiast

@huanshankeji Chengdu

@AuruTus
AuruTus AuruTus
🦄 Pony Mage Merly! 🦄

China

@rn7s2
Ruiqi K. LEI rn7s2
Governance as a Service

Imperial College London

@SynMagik
Synth Magic SynMagik
I like making useless but fun stuff

Cyberspace

@m4p1e
maplgebra m4p1e
PhD student interested in cybersecurity and some theories. PWN player of @Nu1LCTF

ShanghaiTech University, China.