Skip to content
View 7h3kk1d's full-sized avatar

Highlights

  • Pro

Organizations

@palatable

Block or report 7h3kk1d

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
@LighghtEeloo
LighghtEeloo
Looking into PL, System, and Arch

University of Michigan Ann Arbor

@patricoferris
Patrick Ferris patricoferris

University of Cambridge Cambridge, UK

@samth
Sam Tobin-Hochstadt samth
I'm an associate professor at Indiana University, and a core developer of @racket.

PLT @ Indiana University Bloomington, IN

@selbyk
Selby Kendrick selbyk
Hi.

@Tildei New York, NY

@sweirich
Stephanie Weirich sweirich
Wish I had more time to code. And by code, I mean prove things.

University of Pennsylvania Philadelphia

@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@ericgiovannini
Eric Giovannini ericgiovannini
PhD student in Computer Science and Engineering at the University of Michigan. Interested in Programming Language theory.

Ann Arbor, MI

@bennn
Ben Greenman bennn
asst prof

University of Utah Salt Lake City

@goldfirere
Richard Eisenberg goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.

@janestreet Philadelphia, PA

@rtfeldman
Richard Feldman rtfeldman
Creator of the Roc programming language. Author of Elm in Action.

@zed-industries Philadelphia, PA

@bcpierce00
Benjamin Pierce bcpierce00

University of Pennsylvania

@yminsky
Yaron Minsky yminsky

Jane Street New York, USA

@Gabriella439
gabby Gabriella439

@MercuryTechnologies San Jose, CA

@Kleidukos
Hécate Kleidukos
Haskell developer // Technical writer // Community organiser

Montreuil

@aasmart
Alexander Smart aasmart
- If it has anything to do with computers and programming, I'm probably interested in it

United States

@lisa-analyzer
LiSA Analyzer lisa-analyzer
Organization managing and maintaining the 📚LiSA static analyzer project and its frontends
@gcrois
Gregory Croisdale gcrois
Founding Engineer @khakiai, Prev @ University of Michigan

University of Michigan Ann Arbor, MI

@open-spaced-repetition
Open Spaced Repetition open-spaced-repetition
We are developing open-source spaced repetition algorithms for any spaced repetition software/system.
@avsm
Anil Madhavapeddy avsm
Professor of Planetary Computing, University of Cambridge

University of Cambridge Cambridge, UK

@nskh
Nishant Kheterpal nskh
now: phd student @michiganrobotics // before: research @uber-atg, simulation @ ike, @flow-project, berkeley eecs '18

San Francisco, CA

@weimer
Westley Weimer weimer

University of Michigan

@GLaDOS-Michigan
GLaDOS@Michigan GLaDOS-Michigan
Graduate Laboratory for Distributed and Operating Systems @ The University of Michigan in Ann Arbor
@dm0n3y
David Moon dm0n3y
CS PhD student at UMich

@hazelgrove @fplab Ann Arbor, MI

@pavpanchekha
Pavel Panchekha pavpanchekha
University of Utah professor building new web browsers using programming languages techniques.

University of Utah School of Computing Salt Lake City, UT

@MaggieAppleton
Maggie Appleton MaggieAppleton
Design engineer exploring how LLMs can help us think different kinds of thoughts. Enthusiastic about metaphors, EUP, and marmite. Building at @githubnext

@GithubNext London

@xekoukou
Apostolis Xekoukoulotakis xekoukou
Type theory for Social Change.
@TodePond
Lu Wilson TodePond
slightly-surreal creative-coding

tldraw London, UK

@iczelia
Kamila Szewczyk iczelia
21yo. professor of computational heresy. formerly @Dyalog.

Germany

@expede
Brooklyn Zelenka expede
👩‍🔬 Indie dev 🏳️‍🌈 Queer AF 🤝 FOSS, standards, commons ✊ Black Lives Matter & Land Back

@inkandswitch Vancouver, Canada

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

Glasgow, UK

@svishnus
Sundara Vishnu svishnus
PhD in CS @nyu-parcour

Courant Institute, NYU New York, NY

@ngernest
Ernest Ng ngernest
CS PhD Student @ Cornell

Ithaca, NY

@IdrissRio
Idriss Riouak IdrissRio
Software Engineer @github in the CodeScanning Team

@github Billund - Denmark

@robertzhidealx
Robert Zhang robertzhidealx
PhD'ing @ UT Austin | Formerly BS/MS @ Johns Hopkins & Intern @ Meta

UT Austin Austin, TX

@brunorochapaiva
Bruno Paiva brunorochapaiva
PhD student in Computer Science at the University of Birmingham

University of Birmingham Birmingham, UK

@aditya-giri
Aditya Giridharan aditya-giri
backend @ abnormal security

Abnormal Security New York, New York

@cole-k
cole cole-k
Hi

San Diego, CA