Skip to content
View clairew's full-sized avatar
👾
👾
83 followers · 80 following

Achievements

Achievement: StarstruckAchievement: Pair Extraordinairex2Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Pair Extraordinairex2Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Block or report clairew

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
@elizabethdinella
Elizabeth Dinella elizabethdinella

Bryn Mawr College

@Zellic
Zellic Zellic
Security reviews and research that keep winners winning. We apply unmatched hacking talent to secure critical software for the most innovative teams.

United States of America

@junjihashimoto
junji hashimoto junjihashimoto

Japan

@trailofbits
Trail of Bits trailofbits
More code: binary lifters @lifting-bits, blockchain @crytic, forks @trail-of-forks

New York, New York

@mrigankpawagi
Mrigank Pawagi mrigankpawagi
I didn't test my software. Now it tests my patience.

Indian Institute of Science Bengaluru, Karnataka, India

@P-bibs
Paul Biberstein P-bibs
CS Ph.D at UPenn
@stong
cts stong
Security researcher and co-founder @Zellic. CTFs with @perfectblue. Previously @Vector35, @sslab-gatech.

@Zellic 0x4141414141414141

@fdeitylink
Eloise Christian fdeitylink
Computer Science student with interests in functional programming, programming languages, and CS theory

Rochester Institute of Technology

@Ericson2314
John Ericson Ericson2314
*x* should be designed not by piling feature on top of feature, but by removing the weaknesses and restrictions that make additional features appear necessary.

@ObsidianSystems New York

@ashasoroushpoor
ashasoroushpoor

Iran, Tehran

@daneshvar-amrollahi
Daneshvar Amrollahi daneshvar-amrollahi
Computer Science PhD Student

Stanford, CA

@ahuoguo
Alex Bai ahuoguo

New York University

@DeSevilla
DeSevilla
@Chobbes
Calvin Beck Chobbes

Philadelphia

@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@lenianiva
Leni Aniva lenianiva
Researcher in Machine-Assisted Theorem Proving; Director of NorCal Hakkero Factory No. 1

Stanford University Centaur Lab San Francisco Bay Area, Gensokyo

@InnovativeInventor
Max Fan InnovativeInventor
CS PhD at Cornell. PL things mostly.

Cornell University

@zilberstein
Noam Zilberstein zilberstein
PhD Student at Cornell University researching Programming Languages, Logic, and Semantics

Cornell University New York, NY

@thomasporter522
Thomas Porter thomasporter522
@disconcision
andrew blinn disconcision
PL 😘 UI

@hazelgrove @fplab

@janpaulpl
Jan-Paul Vincent Ramos-Dávila janpaulpl
programming language theory enthusiast

Boston University United States

@omentic
JJ omentic
I like all languages.

Vancouver, BC

@wuc9521
Chentian Wu wuc9521
UW-Madison 25' -> UIUC 3_'
@aaronleewk
Aaron Lee aaronleewk

London

@movinglinguini
Luis Angel Garcia movinglinguini
PhD Student at Northeastern University

Northeastern University Boston

@chenson2018
Chris Henson chenson2018
PhD student at Drexel University studying Programming Languages. Interested in formalizations of categorical semantics in Lean.
@dobios
Amelia Dobis dobios
PhD Candidate at Princeton Universtiy | PL for Hardware | MSc ETHZ, BSc EPFL

Princeton University Montréal QC, Canada

@javathunderman
Arjun Vedantham javathunderman
ECE PhD student @ UIUC

Urbana, IL / Allentown, PA

@kiranandcode
Kiran Gopinathan kiranandcode
Researcher working on proof repair and maintenance

Research Scientist NYC

@yangky11
Kaiyu Yang yangky11
@ngernest
Ernest Ng ngernest
CS PhD Student @ Cornell

Ithaca, NY

@Gediminas19
Ethan Chu Gediminas19
PhD Student in PL @ CMU CSD

Carnegie Mellon University Pittsburgh, PA, USA

@hitomi-nakayama
Hitomi Nakayama hitomi-nakayama
@amandasystems
Amanda Stjerna amandasystems
PhD student in ”web security”. .i mi na se bangu la lojban. Ask me about Polonius!

Uppsala university Sweden

@llllvvuu
Lawrence Wu llllvvuu

@harmonic-ai @lawrence-harmonic

@aadityanaik
Aaditya Naik aadityanaik
@euisuny
Irene Yoon euisuny
@david-christiansen
David Thrane Christiansen david-christiansen

Copenhagen, Denmark

@wiwa
Win Wang wiwa
still compiling

@hypermorphic-io New York

@JuliaMerz
Julia Merz JuliaMerz
@VictorTaelin
Victor Taelin VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.

Higher Order Company Rio de Janeiro, Brazil

@teorth
teorth
@rodrigotellom
Rodrigo Tello rodrigotellom
Designer, Product Designer @tailscale, Chief Imagination Officer @gethopscotch

Tailscale Brooklyn, NY

@QuinnWilton
Quinn Wilton QuinnWilton

Fission Codes Mountain View

@bitonic
Francesco Mazzoli bitonic

London

@increpare
increpare increpare

Berlin, Germany

@emmanueljs1
Emmanuel Suárez Acevedo emmanueljs1
PhD Student

Cornell University

@sailorfrag
Adrian Dewhurst sailorfrag
Professional software developer in Waterloo Region, Ontario, Canada. I have a background in embedded systems and networking. Xoogler. Currently at @tailscale.

@tailscale Waterloo Region, Ontario, Canada

@raggi
James Tucker raggi
Currently: Tailscale Previously: Fuchsia, GCP, Google stuff, Wildfire, ECL, ...

@Tailscale California or Bermuda

@danderson
Dave Anderson danderson

Canada