Skip to content
View glyh's full-sized avatar
🐫
Made with OCaml
🐫
Made with OCaml
33 followers · 32 following
  • o1Labs
  • 02:28 (UTC +08:00)

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: StarstruckAchievement: Galaxy BrainAchievement: Quickdraw

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: StarstruckAchievement: Galaxy BrainAchievement: Quickdraw

Organizations

@o1-labs @MinaProtocol

Block or report glyh

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
@seckinyasar
Seckin Yasar seckinyasar

@Metakorteks Turkey

@helallao
Ali Yaşar helallao

@Metakorteks Adana, Turkey

@svv232
Sai Vegasena svv232
NYUSEC

NYC

@Captainfly19
Baicheng Qu Captainfly19
always apprentice

Hangzhou,China

@myfreess
NSlash951 myfreess
万万千千说不尽，不如编程去归休
@hehelego
hehelego hehelego
stay focused,be motivated. It is either meaningful or inspiring otherwise just a waste of time.
@qicfan
dean qicfan

Beijing

@ck76
CHENG KUN ck76
一期一会 Software Engineering is about tradeoffs, there is no one right answer.

NEUQ -> Keio University China.Hebei -> China.Beijing -> Japan.Tokyo -> Japna.Kansai

@never615
王荣 never615
devops

墨兔 深圳

@WillEhrendreich
Will Ehrendreich WillEhrendreich
Jesus, who is Yahweh incarnate, took your place on the cross, died, and then got back up again on the third day. I love Jesus, my wife, and my daughters.

Hagerman & Company Wisconsin

@slbln
slbln
@jhonyuan
jhonyuan
@Yokymia32
Yokymia Roberts Yokymia32

@mention

@RainAutumnZero
RainAutumnZero
@Lazerbeak12345
Lazerbeak12345
A big fan of *nix, Racket lisp (it's a lispy .NET alternative), and Rust.

UT

@Westsi
Westsi
Python, JS, C, Go, Java.

UK

@belayejigu
belayejigu
@chopfitzroy
Otis Sutton chopfitzroy
Be a pragmatist not a purist 🙊

New Zealand

@algebraic-dev
Sofia Rodrigues algebraic-dev
i like functional programming languages
@Rolemodel01291
Ramon Carrion Rolemodel01291
@wangsy503
YJazz wangsy503

University of Pennsylvania Philadelphia, PA

@bluepapaya77
bluepapaya77
@Flash-Hu
Flash Hu Flash-Hu
@gabriel-fallen
Alexander Chichigin gabriel-fallen
ML/Software Engineer. Commit juggler.

Kontur Tbilisi, Georgia

@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@imsomedev
SomeDev imsomedev
@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@nick-yf
Yifan Qin nick-yf
Master Student majoring in Computer Science at ShanghaiTech University

ShanghaiTech University Shanghai

@caoster
Suting Chen caoster

Northwestern University Evanston

@ZERONE182
Zeng Yan ZERONE182
Ph.D. student @ ShanghaiTech

ShanghaiTech University Shanghai

@B1ngFeng
B1ngFeng
@restkhz
restkhz
[A normal student, nothing special.]

pb

@Krit-Creator
Krit-Creator