Skip to content
View Hughshine's full-sized avatar
💠
💠
96 followers · 219 following

Achievements

Achievement: StarstruckAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report Hughshine

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
@funemy
Yanze Li funemy
Misunderstanding math and PL
@yongweiy
Yongwei Yuan yongweiy
PhD student @ Purdue

West Lafayette

@WuYff
Yi Wu WuYff

Purdue University West Lafayette, United States

@shanyu-sys
Shan Yu shanyu-sys
Ph.D. student @uclasystem

UCLA Los Angeles

@jingtao8a
jingtao8a jingtao8a

Wuhan University

@Jan-nku
Jan Jan-nku
@DNXie
Danning XIE DNXie
Technophobia

Purdue University West Lafayette, United States

@Jdkhnjggf
Ruiyi Zhang Jdkhnjggf
Ph.D. Student at CISPA - Microarchitectural Security

CISPA Helmholtz Center for Information Security Saarbrücken, Germany

@trinhminhtriet
Triet Trinh trinhminhtriet
✅ Platform Engineer | AWS Certified | Scrum Master PSMI | Golang | NodeJS | Java | PHP | Android | Remote

Rust EVM

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@xcg6459
Quitt xcg6459
@Pat-Lafon
Patrick LaFontaine Pat-Lafon
@CraftOldWang
CraftOldWang
@andongfan
Andong Fan andongfan
PhD student in PL
@zhen8838
郑启航 zhen8838
learning probabilistic
@c8ef
c8ef
@ivanium
Yifan Qiao ivanium
Graduate Student in Computer Science

UC Berkeley Berkeley

@wuc9521
Chentian Wu wuc9521
Junior of MATH & CS @UW-Madison

University of Wisconsin-Madison Madison, WI

@Chen-Rong-Zi
Chen-Rong-Zi
@myttc
段静迪 myttc
一切福田，不离方寸
@Lin23299
Ling Zhang Lin23299
PL | Compiler Verification | Hacking on CompCert

Shanghai Jiao Tong University

@joulook
Mohammad Hossein Khoshechin Jorshari joulook
Ph.D. Student @ MPI-SWS & RPTU / Computer Science / Interested in Formal Methods / Distributed Systems / Concurrency Theory

Germany

@juniorxxue
Xu Xue juniorxxue
@werifu
Chen werifu
PL/SE/Web | PhD student of PurPL @Purdue

West Lafayette, IN

@Xuanbai-Chen
Xuanbai-Chen
@Robin-Y-Ding
Robin-Y-Ding
Ph.D. student @ Columbia ARiSE lab

Columbia University New York City, NY, USA

@ya0guang
Hongbo ya0guang
Becoming a *REAL FULLSTACK* engineer and a little bit more than that...
@XZ-X
XZ-X
@hiroki-chen
Hiroki Chen hiroki-chen
CS Ph.D. @ IUB "Algorithms are the computational content of proofs." (Robert Harper)

Unemployed Saratoga, CA

@OrangeX4
OrangeX4 OrangeX4
A student in Nanjing University.

Nanjing University 中国

@ADSWT518
Yazhou Tang ADSWT518
rabbit lover 🐰 ❤️

Bilibili Inc. Shanghai, China

@apples0226
apples0226
@zhaosiying12138
流霞祭司曌曦潆 zhaosiying12138
黑暗深处是谁的心念不肯改幻作成五光十色的梦？

流月城先进偃甲技术研究院 无言伽蓝

@liuliususu
liuliususu
@NijikaIjichi
伊地知虹夏 NijikaIjichi

結束バンド

@UshioA
UshioA
@jjppp
jpwang jjppp
DARE MIGHTY THINGS

NJU 南京

@xu-mk
Mingkai Xu xu-mk

Nanjing University

@StardustDL
StardustDL StardustDL
Automate most things.

Nanjing University Nanjing, Jiangsu, China

@Coder-Colder
Leee Coder-Colder
@RookieOHY
ouhuanyu RookieOHY
@pinhe91
Han Mei pinhe91
寒梅小站

United States

@xieyuheng
谢宇恒 / Xie Yuheng xieyuheng
我们对一个物体所形成的概念，就是在我们所关心的情况下，这个物体的具有实际影响的效果的总和。

China

@toum120
Follow自动机 toum120
@Kensuke-Hinata
ypcpy Kensuke-Hinata
greedy is bad

redocpot Shenzhen, China

@lzy0505
Zongyuan Liu lzy0505
PhD student in formal verification

@logsem Aarhus

@Roxanne718
范蕊 Roxanne718
Graduate student in NKU.

NKU Tianjin, China

@linyinfeng
Lin Yinfeng linyinfeng
(LIN Yinfeng)

China

@Hua-hana
Jinhua Wu Hua-hana
PL | Formal Verification | Working on Rust verified compiler

Shanghai Jiao Tong University

@yjl9903
XLor yjl9903
🚀 Bread Engine Active.

Afterglow 羽丘女子学園