sport
-
ISCAS
-
15:31
(UTC -12:00) - https://simplexiaohu.github.io/home/
- https://orcid.org/0009-0004-6928-6032
Li Haoyi
lihaoyi
I'm a software engineer. If you like using my libraries or reading my blog https://www.lihaoyi.com/, you should check out my book https://www.handsonscala.com
Amanda Stjerna
amandasystems
PhD student in ”web security”. .i mi na se bangu la lojban. Ask me about Polonius!
Uppsala university Sweden
Zhilei Han
linusboyle
PhD student @ Tsinghua University. Research on formal verification.
Tsinghua University Beijing, PRC
Clexma
SpencerL-Y
A Phd. student of University of China Academy of Sciences (UCAS).
Institute of Software, CAS Beijing
Jianlin Li
ljlin
I work with turnstiles. ⊢ ⊨ ⊤⊥ ∀ ∃ λ →
UWaterloo / ISCAS / UdS Waterloo / Beijing / Saarbrücken
ribo
WanQiyang
Wan Qiyang, PhD candidate in Institute of Computing Technology, Chinese Academy of Sciences (ICT, CAS).
ICT, CAS Beijing, China
Yuanhang Zhang
sailordiary
Interested in vision, language, and everything that shapes our understanding of the world -- in the past or the present. Ph.D. student in CS @ UCAS & ICT, CAS
Chinese Academy of Sciences Beijing, China
flynn
ucasfl
Working on ClickHouse at Tencent WeChat. Telegram/WeChat: flynn_0122
Tencent WeChat Shenzhen, China