Skip to content
View cyoon1729's full-sized avatar
162 followers · 25 following
  • New York, New York
  • 01:26 (UTC -04:00)

Achievements

Achievement: YOLOAchievement: Starstruckx2Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: Starstruckx2Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report cyoon1729

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 is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@jonhoo
Jon Gjengset jonhoo
Rust educational streamer. At @helsing-ai. Previously at AWS. A fan of making things secure, fast, scalable, and well-documented.

@helsing-ai Oslo, Norway

@xinhong3
Argyrodite xinhong3
xinhong3.github.io
@logsem
Logic and Semantics @ Aarhus University logsem

Aarhus, Denmark

@rocq-prover
The Rocq Prover rocq-prover
@yoshihiro503
YOSHIHIRO Imai yoshihiro503
CEO of proof ninja, Inc. Coq proof developer

@proof-ninja, Inc Chiba, Japan

@rudynicolop
Rudy Peterson rudynicolop
@toku-sa-n
Hiroki Tokunaga toku-sa-n
Worker

@DeNA Tokyo, Japan

@DistributedComponents
Distributed Components DistributedComponents
@lvkv
Lukas Velikov lvkv
What If ∩ Why Not

New York, New York

@tchajed
Tej Chajed tchajed
Professor at UW-Madison. I write software and prove that it does what it's supposed to.

UW-Madison Madison, WI

@efric
Eric efric
@hannesm
Hannes Mehnert hannesm

@robur-coop

@joshuahahn
Joshua Hahn joshuahahn
Linux Memory Management... Mempolicy & Migration Reviewer

Meta New York

@MrSyee
Kyunghwan Kim MrSyee

Smilegate Seongnam, Gyeonggi, Korea

@j-hui
John Hui j-hui
programming languages, compilers, systems, computer music

@apple Cupertino, CA

@AsahiLinux
Asahi Linux AsahiLinux
Porting Linux to Apple Silicon Macs
@ucsd-progsys
ucsd-progsys
@exaloop
Exaloop exaloop
💻 + 🐍 + 🚀

United States of America

@eh2890
Eumin Hong eh2890
@jaspervdj
Jasper Van der Jeugt jaspervdj
Haskell programmer. I like to make things.

engineer at @digital-asset Zurich, Switzerland

@ekzhang
Eric Zhang ekzhang
An honest, more human kind of software

@thinking-machines-lab New York, NY

@snowleopard
Andrey Mokhov snowleopard
From engineering to abstract mathematics and back

Jane Street UK

@martinristovski
Martin Ristovski martinristovski

New York, NY

@jinhongee
Jinhong Min jinhongee
CS @ Columbia University

Columbia University New York, NY

@jinPrelude
Euijin Jeong jinPrelude

RLLAB @ Yonsei Seoul, South Korea