Skip to content
View gavinleroy's full-sized avatar
33 followers · 0 following

Achievements

Achievement: Starstruckx3Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Starstruckx3Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report gavinleroy

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
@ironsoul0
Temirzhan Yussupov ironsoul0
!memdump

Nazarbayev University Astana, Kazakhstan

@jamestiotio
James R T jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke

@facebook The edge of knowing

@justinlubin
Justin Lubin justinlubin
Co-designing programming systems with domain experts

University of California, Berkeley

@bhargavkulk
Bhargav Kulkarni bhargavkulk
Ph.D. Student @ University of Utah

Salt Lake City

@Carol25170
Carol25170
@Gravifer
Tci Gravifer Fang Gravifer
Stars are manual not crawled; it's just mark-and-recapture searching.

Tsinghua University Beijing

@Zeta611
Jay Lee Zeta611
Programming programming languages 🪄 λᠻ.(λ᥊.ᠻ(᥊ ᥊))(λ᥊.ᠻ(᥊ ᥊))

@ropas @KoreanTUG Seoul, Republic of Korea

@xlxs4
Orestis Ousoultzoglou xlxs4
“And we’re still not scared. Nothing new here, this is stuff you already know. This isn’t confusing; we’re not scared.” — Brian Beckman, Don’t fear the Monad

EMTECH SPACE S.A. Marousi, Athens, Greece

@jcp19
João Pereira jcp19
Formal Methods & PL, Program Analysis, Distributed Systems

ETH Zurich

@ameaninglessname
CodingBot ameaninglessname
moo~🐮 neigh!🐴

Pasture Left-Up-Corner

@ahuoguo
Alex Bai ahuoguo

New York University

@mirryi
Eric Zhao mirryi

Brown University

@juliofleitas
Julio Fleitas juliofleitas
@devtempmac
devtempmac
@kavin-kr
Kavin kavin-kr
@rudynicolop
Rudy Peterson rudynicolop
@gdrosos
Giorgos Drosos gdrosos
MSc student at ETH Zurich

ETH Zurich Zurich, Switzerland

@lucat1
Luca Tagliavini lucat1
Into languages, compilers and infrastructure.

Zurich

@hvickychoudhary
hvickychoudhary
@trastopchin
Tal Rastopchin trastopchin
MSc in Computer Science Student at ETH Zürich | SGI 2021 Research Fellow | Interested in geometry processing, fabrication, and computer graphics

Zürich, Switzerland

@jhoobergs
Jesse Hoobergs jhoobergs
@ghishadow
Suraj ghishadow
我也爱你
@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@calm-furious
Junchi Chen calm-furious
Embedded Software Engineer @espressif
@mandulaj
Jakub Mandula mandulaj
Hi

Zurich, CH

@fundon
Fangdun Tsai fundon
Learn, create, share, enjoy, and feel.

@viz-rs @pindash-io @vue-bulma @atom-minimap Space

@clatisus
Junjie Wu clatisus
ACM-ICPC World Finalist (2019) / Full-Stack Engineer @airbnb

@airbnb Beijing, China

@fpoli
Federico Poli fpoli
@EricCrosson
Eric Crosson EricCrosson
Maybe the real tests were the types we made along the way
@lucidBrot
Eric Mink lucidBrot

Switzerland

@dunxen
dunxen dunxen
PGP: 9484 44FC E03B 05BA 5AB0 591E C37B 1C1D 44C7 86EE ₿pay@dunxen.dev

@nexedworks South Africa

@jon-ton
jon-ton
@gauravssnl
GAURAV gauravssnl
It's not magic. It's the code.

localhost