Infinity-Type-Cafe
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
Jelly Terra
jellyterra
Focus on architecture, formal, compiler and HLS. Qed.
Gensokyo Silicon East China
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
Yonghuang Hu 胡永煌
Hubert-YH
PhD candidate in Sustech( Southern University of Science and Technology,南方科技大学 )
Southern University of Science and Technology shenzhen,guangdong province,China
ZHU Siyuan
floatshadow
programming language, compiler;
participated in ASC'22, ISC'23
Hangzhou, China
Yongshun Ye
ShreckYe
Kotlin full stack developer; programming language theory (functional programming, type theory, formal math, etc.) enthusiast
Chengdu
maplgebra
m4p1e
PhD student interested in cybersecurity and some theories. PWN player of @Nu1LCTF
ShanghaiTech University, China.