Skip to content
View westtide's full-sized avatar
2 followers · 52 following
  • Guangzhou University
  • Guangzhou

Highlights

  • Pro
Block or Report

Block or report westtide

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@paulzfm
Paul paulzfm
Coq & Cocktail

Saarland University & CISPA Saarbrücken, Germany

@5hadowblad3
Heqing Huang 5hadowblad3
Hack your life
@pruemmer
Philipp Ruemmer pruemmer

Uppsala University

@XujieSi
Xujie Si XujieSi

University of Toronto Toronto

@yangky11
Kaiyu Yang yangky11
Research Scientist @ Meta, FAIR

Meta Fundamental AI Research (FAIR) New York, NY

@zhaoyu-li
Zhaoyu Li (李照宇) zhaoyu-li
CS Ph.D. student at the University of Toronto

University of Toronto Toronto, Canada

@dezhangxd
Xindi Zhang dezhangxd
@skylee03
Yang Ming-Tian skylee03
HKU CS '25

University of Hong Kong Hong Kong

@ArabelaTso
ArabelaTso ArabelaTso
What doesn't kill you make you stronger.
@werifu
Chen werifu
PL/SE/Web | Incoming PhD student @Purdue

HKUST Hong Kong SAR

@ChenchengLiang
Chencehng Liang ChenchengLiang
PhD student in Uppsala University

Uppsala University Sweden

@roife
roife roife
Interested in PL, Compiler, Emacs.

@pascal-lab

@xinhjBrant
Huajian Xin xinhjBrant

Sun Yat-sen University

@skyzh
Alex Chi Z. skyzh
building database systems @neondatabase, previously @cmu-db; a bubble tea every day makes me happy right away

@neondatabase Pittsburgh, PA, USA ⇌ Shanghai, China

@lucidrains
Phil Wang lucidrains
Working with Attention. It's all we need

San Francisco

@doctormin
Yimin Zhao doctormin
Ph.D. Student at SJTU

Shanghai Jiao Tong University Shanghai,China

@caiyue1993
Yue caiyue1993
Skateboarder/iOS Engineer/Life Hacker "No is temporary, yes is forever."

Shanghai, China

@ZhiyuanYan
Yan Zhiyuan ZhiyuanYan
PhD student @HKUST(GZ)

HKUST(GZ) Guangzhou

@SoldierChen
Xinyu Chen SoldierChen
Assistant Professor at HKUST(GZ)

HKUST(GZ) China

@xurongchen
Xu Rongchen xurongchen
Devoted to producing more bugs for the world

HUAWEI Shanghai, China

@zhanghongce
Hongce Zhang zhanghongce
Princeton ECE Alumnus, Assistant Professor @ HKUST(GZ)

Hong Kong University of Science and Technology (Guangzhou) Guangzhou, China

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

ShanghaiTech University, China.

@yihozhang
Yihong Zhang yihozhang
PhD student at the University of Washington

Seattle

@jaspervdj
Jasper Van der Jeugt jaspervdj
Haskell programmer. I like to make things.

programmer at @snyk Zurich, Switzerland

@zhoulaifu
Zhoulai Fu zhoulaifu
Computer scientist | Teacher | Software developer (amateur)
@muhanzhang
Muhan Zhang muhanzhang
Assistant Professor at Peking University.
@Jzjerry
JIANG Zijun Jzjerry

HKUST(GZ) @HKUSTGZ-MICS-LYU

@shaowei-cai-group
shaowei-cai-group
@xijunlee
Xijun LI xijunlee

Noah's Ark Lab, Huawei Technologies China mainland

@msoeken
Mathias Soeken msoeken
Researcher in the areas of logic synthesis, quantum compilation, and formal verification.

@microsoft Switzerland

@juyongjiang
John juyongjiang
PhD Student (Sep. 2022-Now) at HKUST. Working on NLP, with a focus on large language models and code generation

HKUST Hong Kong

@grigoryfedyukovich
Grigory Fedyukovich grigoryfedyukovich
@billysx
Shixing Yu billysx
ECE Ph.D. @ Cornell University. Previous undergrad in EECS @ Peking University. Machine Learning.

Cornell University Ithaca, New York

@Blankwonder
Yachen Liu Blankwonder
@Loon0x00
Loon0x00
@Gy-Hu
Guangyu (Gary) HU Gy-Hu
Ph.D. candidate at HKUST. My research interests include formal verification, logic synthesis and quantum computing.

The Hong Kong University of Science and Technology China

@binghe
Chun Tian binghe
Common Lisp programmer and HOL proof engineer

Australian National University Canberra, Australia

@doowzs
Tianyun Zhang doowzs
Coin-coin. :D

Nanjing University Xianlin District, Nanjing, Jiangsu Province, China

@Kinferiority
Kinferiority
@mrnugget
Thorsten Ball mrnugget
Author of interpreterbook.com and compilerbook.com. I like to program where the rubber hits the road — wherever that may be.

@zed-industries Bavaria, Germany

@yetone
yetone yetone
ohh

@BentoML Lyoko

@stonebuddha
Di Wang stonebuddha

Peking University Beijing, China

@NJU-ProjectN
NJU-ProjectN
Nanjing University Computer System Project Series - Build a computer system from scratch!
@isrc-cas
智能软件研究中心 isrc-cas
Intelligent Software Research Center, Institute of Software, Chinese Academy of Sciences

Beijing

@zjhzjh123
Jiaheng Zhang zjhzjh123
I am a third-year Ph.D. student in computer science at UC Berkeley. I obtained my bachelor's in ACM Honors Class, Shanghai Jiao Tong University.

UC Berkeley Berkeley, CA

@wx-csy
Shaoyuan CHEN wx-csy
MadSys@Tsinghua

Tsinghua University Beijing, China

@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@liusy58
Nicholas liusy58
Yet another normal programmer.

China

@zhangyikaii
Yi-Kai Zhang zhangyikaii
Ph.D. Candidate at LAMDA Group@NJU

Nanjing University

@jiangyy
Yanyan Jiang jiangyy
Associate Professor, Nanjing University

Nanjing University Nanjing, China