Skip to content
@ethever
ethever.eth ethever
what's up

Shenzhen China

@Ao-senXiong
Aosen Xiong Ao-senXiong
Ao-senXiong.github.io

University of Waterloo Waterloo, ON, Canada

@ligurio
Sergey Bronnikov ligurio
I make software suck less.
@yiyuan-cao
Yiyuan Cao yiyuan-cao
PhD student in Programming Languages

Peking University Beijing, China

@omasanori
Masanori Ogino omasanori

Japan, or anywhere else

@s3cunDa
s3cunDa

UCAS Beijing

@kailiangji
Kailiang Ji kailiangji
I am a formal verification expert at NIO.

NIO Shanghai

@domandlj
Juan Domandl domandlj
Computer Science @ FaMAF

Argentina

@HurryPeng
Haoran Peng HurryPeng
Ph.D. student at Paul G. Allen School of Computer Science & Engineering, University of Washington

University of Washington Seattle, WA

@Lslightly
Qingwei Li Lslightly
generally debugging

University of Science and Technology of China Hefei, Anhui, China

@johnsonjh
Jeffrey H. Johnson johnsonjh
Not RPM developer Jeffrey Johnson. Not XTree developer Jeffrey Johnson. Not Jeffrey Johnson, Google Senior Software Engineer. Not the robotic engineer, either.

BAN AI Systems https://keybase.io/trnsz