Skip to content
View euisuny's full-sized avatar
92 followers · 14 following

Achievements

Achievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Organizations

@plclub @vellvm @cs4110 @cornellacsu @upenn-cis198 @inria-cambium

Block or report euisuny

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
@era
Elias era
Interested in Libre Software and autonomy. Free Palestine.

Japan

@cyberglot
april cyberglot
PLT + compilers; haskell champion; agda newbie.

Glasgow, UK

@Prahitha
Prahitha Movva Prahitha
@Grain
Paul He Grain
Assistant Professor, Teaching Stream in Computer Science

University of Toronto Toronto, Ontario

@ilovejs
Michael Zhuang (Hao) ilovejs
0 headache approach Write code IN [go, python, js] Domain knownledge IN [oauth, crypto, jose]
@i-walker
Settuba i-walker
Sr Software Engineer | 𝌻 Do more with less, be kind. Research: Pure Maths 🧮, heterogeneous memory-centric Computing on  Apple Silicon @settubaDev

▒ Munich, Germany

@silky
Noon van der Silk silky
ن

Edinburgh, UK

@amir
Amir M. Saeid amir

Dublin, Ireland

@plaidfinch
finch plaidfinch
control plane engineer @oxidecomputer; founder & cryptography consultant @starlingcyber; previously: @penumbra-zone, @boltlabs-inc, @GaloisInc, @plclub

@oxidecomputer

@cdstanford
Caleb Stanford cdstanford
Assistant professor at UC Davis in programming languages, formal methods, systems.

Davis, California, USA

@Geoffrey1014
Geoffrey Geoffrey1014
Love Freedom
@nvasilakis
Nikos Vasilakis nvasilakis

Boston, MA

@Liby99
Ziyang Li Liby99
No Code No Life | Assistant Professor in CS at Johns Hopkins University

Johns Hopkins University Baltimore, MD

@moqingyan
Jiani Huang moqingyan
@mytxd
尹名洋 mytxd
Haskeller
@Lysxia
Xia Li-yao Lysxia
@bnjw5jhyxn
Steve Hsu bnjw5jhyxn
@angelhof
Konstantinos Kallas angelhof
Assistant Professor of CS at UCLA

UCLA Computer Science Los Angeles, CA - Athens, GR

@dunnl
Lawrence Dunn dunnl
@BotBitmap
Arthur Carvalho BotBitmap

Natal, Rio Grande do Norte, Brazil

@Chobbes
Calvin Beck Chobbes

Philadelphia

@bourbakis
bourbakis
Aggregator of differential programming.

Shanghai

@emarteca
Ellen Arteca emarteca
Android security engineer at Google

@google Mountain View, California

@liyishuai
Yishuai Li liyishuai
PhD'22 @plclub @DeepSpec; Mentor @SIGPLAN -M; Maintainer @rocq-community @ocaml-community; Editor @Coq-zh; Contributor @rocq-prover.

@PingCAP Shanghai Hongkou

@hakandingenc
Hakan Dingenc hakandingenc
@haze
haze
it was revealed to me in a dream

@netflix nyc

@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@rachitnigam
Rachit Nigam rachitnigam
prof at MIT. creator of @calyxir. up to no good.

Massachusetts Institute of Technology

@aatxe
ariel aatxe
programming language designer. @nuprl and @plasma-umass alum.

@Roblox Redwood City, California

@peteli3
Pete Li peteli3
I build ☁️ security stuff

@akamai Mountain View, CA

@dev4sep
4SEPDev dev4sep
Hello, I'm SivLay Yi. I'm a Java Developer.

Cam Info Service Phnom Penh, Cambodia

@lovejavaee
Jeff M lovejavaee
🌱Eat, Code, No Sleep👩🏼‍💻
@Yuji1078
Yuji Yuji1078
@mukeshtiwari
Mukesh Tiwari mukeshtiwari
Lecturer (Assistant Professor), Swansea University

Swansea

@xinyuzhao23
Xinyu Zhao xinyuzhao23
@bennn
Ben Greenman bennn
asst prof

University of Utah Salt Lake City

@nwtnni
Newton Ni nwtnni
Cornell CS '19. Interested in PLT, systems, education, and music.

Cambridge, MA

@plh97
plh plh97
Digital nomad

Japan

@TonyZhangND
Tony Zhang TonyZhangND
PhD Student at the University of Michigan
@KevinHock
KevinHock
0.01x Engineer. The (Myspace) Tom of GitHub. 11% of pre-tax income to effective altruism charities.

SecEng @sierra-inc Formerly @grammarly, @pinterest, @Yelp I love San Francisco

@jinnyz
Jinny Zhou jinnyz
i am a dandelion seed floating on the wind

@HBOCodeLabs

@mcsosa121
Mike Sosa mcsosa121