Skip to content
View d01c2's full-sized avatar
🎯
🎯
70 followers · 244 following
  • Seoul, South Korea
  • 09:44 (UTC +09:00)

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Quickdraw

Highlights

  • Pro

Organizations

@HaskellSchoolKR @es-meta @ku-plrg

Block or report d01c2

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
@fwangdo
Doyeon Hwang fwangdo
Good faith and sincerity

Seoul, Republic of korea

@jungwngkim
Jungwoong Kim jungwngkim
@davdar
David Darais davdar
Principal Scientist at Galois, Inc.

Galois, Inc. Salt Lake City, UT

@PnVDiscord
Proof and Verification Discord PnVDiscord
Proof assistant and formal verification community

Korea, South

@taxor03
Sungmin Park taxor03
@thaliaarchi
Thalia Archibald thaliaarchi
PhD student researching compilers

University of Utah

@Botspot
Botspot
College student by day, bash scripter by night, ARM enthusiast 24/7. You may know me as the Pi-Apps founder.

Texas

@vickiegpt
Yiwei Yang vickiegpt
Ph.D. student @SlugLab, try to make the system fast and reliable.

Baskin Engineering Santa Cruz, California

@epi052
epi epi052
@RossComputerGuy
Tristan Ross RossComputerGuy
Low level programmer, OS/Zig/Linux dev, Nixpkgs & LLVM committer. Likes to watch 大空スバル (Subaru Oozora).

@DeterminateSystems California

@netgamesekai
netgamesekai
@mobius29
Seongjin Lee mobius29

Korea Univ. Seoul / Korea

@R9295
Aarnav R9295
I weigh my life and it's got me old fool gold

Marquee Moon & Berlin

@nicolo-ribaudo
Nicolò Ribaudo nicolo-ribaudo

@babel, @igalia Turin, Italy

@addisoncrump
Addison Crump addisoncrump
PhD at CISPA, member at secret.club, sleeping at home

@cispa Saarbrücken, Germany

@kdsjZh
Han Zheng kdsjZh
PhD Student at @HexHive

École Polytechnique Fédérale de Lausanne Lausanne

@sun-jacobi
Chia sun-jacobi
Software Engineer | Interested In PL & Compilers.
@RalfJung
Ralf Jung RalfJung
I am not looking for a new job, please do not contact me for recruiting.
@michaelficarra
Michael Ficarra michaelficarra

@shapesecurity, part of @f5networks Colorado, USA

@teorth
teorth
@jamiebuilds
Jamie Kyle jamiebuilds

@signalapp https://jamie.build

@letta-ai
Letta letta-ai
The platform for stateful AI agents
@magic-akari
magic-akari
Follow your heart.

Beijing, China

@callummcdougall
Callum McDougall callummcdougall
Interpretability Researcher at Google DeepMind. ex-director of the ARENA program.

London

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

Draper Boston

@sohnryang
Ryang Sohn sohnryang
Add a bio *blinking cursor*

POSTECH Pohang || Seoul, South Korea

@ko-success
Seongmin ko-success
@hongyjin
hongyjin
@hikalium
hikalium hikalium

Google Everywhere on the Internet

@neelnanda-io
Neel Nanda neelnanda-io
Mechanistic interpretability researcher at Google DeepMind. Formerly at Anthropic, formerly independent

Google DeepMind London

@privatenumber
Hiroki Osame privatenumber
I'm on a mission to open source my solutions 🚀

@square Tokyo, Japan

@dekirisu
Dekirisu dekirisu
🦀 Rust 🐬 vim on i3🐧 Arch (btw) 🌟 Game Developer 🪐 Animator
@grypp
Guray Ozen grypp
Compiler Research at @NVIDIA

Google Switzerland

@wldfngrs
wldfngrs wldfngrs
I enjoy learning how things work, hoping the knowledge someday transfers. <3 compilers, games, finance and math <3 open to work
@w8385
박근형 w8385
수학 컴퓨터 보안 애호가
@lennart-finke
Lennart Finke lennart-finke
Developing language model evaluations. Statistics student at ETH.

ETH Zürich Europe

@LaurieWired
LaurieWired
Reverse engineer specializing in cross-platform malware analysis with a focus on mobile threats.
@eudoxia0
Fernando Borretti eudoxia0
Interests: compilers, programming language theory, chemistry, atomically-precise manufacturing, formal systems.

Sydney, Australia

@ryansolid
Ryan Carniato ryansolid

San Jose CA

@butterunderflow
butterunderflow
@maximecb
Maxime Chevalier-Boisvert maximecb
PhD in compiler design. Also having fun with graphics, machine learning, electronics, music and DIY. All opinions are my own.

Montreal, Canada

@ita9naiwa
Hyunsung Lee ita9naiwa
最淡的墨水勝過最好的記憶

NVIDIA Suwon, South Korea

@dbp
Daniel Patterson dbp
teaching faculty at Northeastern University. formerly PhD student @nuprl, member/owner at @positiondev.

Northeastern University Boston, MA

@ethanniser
Ethan Niser ethanniser
average typesafety enthusiast

Vercel San Francisco

@EduardoRFS
Eduardo Rafael EduardoRFS
A developer
@DustinBrett
Dustin Brett DustinBrett
Self-Taught Senior Software Engineer, Traveler, Father & Husband

@Coinbase Vancouver, BC, Canada

@cordx56
Yuki Okamoto cordx56
Ph.D. student, Research in Programming Language, 魔法少女

Shibaura Institute of Technology Tokyo, Japan

@jonathanmetzman
jonathanmetzman
Security engineer working on open source and Chrome security

Google

@SeojinSeojin
Seojin Kim SeojinSeojin
z-index:9999;

SungKyunKwan University Seoul, Korea

@mame
Yusuke Endoh mame
World No.1 IOCCC player. http://www.ioccc.org/winners.html#Yusuke_Endoh

@heyinc Japan