Skip to content
View hewzhew's full-sized avatar
4 followers · 49 following

Achievements

Achievement: Pull Sharkx3Achievement: Starstruckx2Achievement: Pair Extraordinaire

Achievements

Achievement: Pull Sharkx3Achievement: Starstruckx2Achievement: Pair Extraordinaire

Block or report hewzhew

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
@pelicanhere
Yiming Fu pelicanhere
Student
@qtqz
轻稚天雪 qtqz
Life is weird, but I still want to be cute.

Asia

@AmbroseX
Ambrose AmbroseX
Student of University of Science and Technology of China

University of Science and Technology of China

@turygo
Wally Zhu turygo
Think Different

Alibaba Hangzhou,China

@YzXiao101
Yz Xiao YzXiao101
@NickAdfor
Nick Adfor NickAdfor
@preminstrel
Hanshi Sun preminstrel
Research Scientist @ByteDance-Seed; MS@CMU; BS @seu; MLSys

CMU -> ByteDance Seed Bellevue

@wizardforcel
布客飞龙 wizardforcel
掠夺·扩张·投机·博弈

@258ch @ApacheCN Beijing, China

@1211xuyuanjun
xuyuanjun 1211xuyuanjun

华南理工大学

@gocpicnic
gocpicnic
@mbaillif
mbaillif

Martigny Switzerland

@Light1110
HG Tao Light1110
@alreadydone
Junyan Xu alreadydone
Mathematical Research Engineer working on Lean's mathlib4 and autoformalization of algebraic geometry. Formerly postdoc @ Heidelberg U & NIH, PhD @ Indiana U.

Mathlib Initiative Shenzhen

@Ru5ty0ne
Rusty 0ne Ru5ty0ne
I'm Rust lover, GitHub newcomer and pasta devourer.
@Yi-74
天青 Yi-74
@Dyasxue
Dyasxue
@kojim
kojim
@MANGO1234
MANGO1234
@wongsingfo
Chengke wongsingfo
@tanitanin
tanitanin tanitanin

Tokyo, Japan

@ZRTMRH
ZRTMRH
@tdzl2003
DengYun tdzl2003
FrontEnd React BigData

Hangzhou Meideng @meidengtech Zhejiang.Hangzhou

@xuanluoya
Aislin xuanluoya
(~UwU)~

(OWO) is me Tokyo, Japan

@sinianluoye
Chuang sinianluoye
学以致用

Beijing

@CoderOJ
Yang Zhang CoderOJ

Tsinghua University

@digama0
Mario Carneiro digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.

Chalmers University of Technology Gothenburg, Sweden

@xinhjBrant
Huajian Xin xinhjBrant

the University of Edinburgh

@sparsh35
Sparsh Tewatia sparsh35
@EricTianC
tyllm EricTianC
锦瑟无端五十弦，一弦一柱思华年

中国 湖北

@wangquanlikun
Wang Quan wangquanlikun
A CS learner. Junior majoring in Computer Science.

Beijing University of Posts and Telecommunications Beijing, China

@cppHusky
cppHusky cppHusky
Individual writer and game-master, not a programmer.

Tokyo

@noahBax
Noah Baxley noahBax
@Word2VecT
Zinan Tang Word2VecT
learning NLP/DL/Data4LLM

Tsinghua University Bejing

@hycsy2019
Tracy hycsy2019
Peking University
@subfish-zhou
Ziyu Zhou subfish-zhou

Beijing

@zoryzhang
Zory, Zhang zoryzhang
UIUC'25 UG MATH&CS -> Brown'30 PhD Psychology

Providence, RI

@Matheart
Honam Wong Matheart
CS PhD at UPenn. Previously HKUST CS+MATH. Deep Learning Theory. Content Creator @bilibili.

University of Pennsylvania Philadelphia, PA

@Lean-zh
Lean 中文文档翻译 Lean-zh
@Daucloud
Xinyuan Zhang Daucloud
Student of Tsinghua University

Tsinghua University

@dusign
GangDu dusign
One way to get the most out of life is to look upon it as an adventure.

YUYU HangZhou

@JonneyDong
Jonney JonneyDong
@LaoYutang
LaoYutang LaoYutang
@Nriver
Nate River Nriver
A Python Holic ;) Lumbar disc herniation hurts me, but your support gives me strength.
@RikkaApps
RikkaApps RikkaApps
@SonarSource
Sonar SonarSource
The home of integrated code quality and code security

Switzerland

@Obsoletes
Obsoletes
emmmmmm
@pixiv-cat
Pixiv.Cat pixiv-cat
@luzamm
Mu luzamm
@esterTion
esterTion
https://estertion.github.io/

CN