🍉
WFH
CS PhD @ IUB
"Algorithms are the computational content of proofs." (Robert Harper)
-
TikTok Inc.
- Santa Clara, CA
-
06:47
(UTC -07:00) - hiroki-chen.github.io
Highlights
- Pro
Block or Report
Block or report hiroki-chen
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseEarned achievements
Public Sponsor
Public Sponsor
Loading
Pull Shark
x3
Pull Shark
x3
Loading
YOLO
YOLO
Loading
Quickdraw
Quickdraw
Loading