Skip to content
View alpaylan's full-sized avatar
290 followers · 166 following

Achievements

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

Achievements

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

Highlights

  • Pro

Block or report alpaylan

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
@janpaulpl
Jan-Paul Vincent Ramos-Dávila janpaulpl
programming language theory enthusiast

Boston University United States

@githubnext
GitHub Next githubnext
Exploring the future of software development

United States of America

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

University of Pennsylvania Philadelphia

@ZippeyKeys12
Zain K Aamer ZippeyKeys12
PhD Student | CIS @ UPenn

Pennsylvania, United States

@nyu-acsys
NYU ACSys nyu-acsys
NYU Analysis of Computer Systems (Formal Methods) group

New York City, NY

@fitzgen
Nick Fitzgerald fitzgen

right behind you

@changmg
Chang Meng changmg
Postdoc at EPFL studying EDA, focusing on synthesis, verification, and AI applications of emerging computing systems. Open to collaborations on research.

École Polytechnique Fédérale de Lausanne Laussane, Switzerland

@euisuny
Irene Yoon euisuny
@shwestrick
Sam Westrick shwestrick

New York University New York, NY

@krishvishal
Krishna Vishal krishvishal
Building Apache Iggy | Rustacean | Perf Enthusiast

@iggy-rs

@nrioux
Nick Rioux nrioux

University of Pennsylvania Philadelphia

@anfelor
Anton Felix Lorenzen anfelor

Edinburgh, UK

@disconcision
andrew blinn disconcision
PL 😘 UI

@hazelgrove @fplab

@tomdjong
Tom de Jong tomdjong
@dlicata335
Dan Licata dlicata335
@alcides
Alcides Fonseca alcides
Associate Professor at University of Lisbon, Portugal Researcher at LASIGE

LASIGE, University of Lisbon Lisboa, Portugal

@wkrozowski
Wojciech Rozowski wkrozowski
PhD candidate in Programming Principles, Logic and Verification group @ University College London | Research Software Engineer @ Lean FRO

@UCL-PPLV @leanprover London

@jbytecode
Mehmet Hakan Satman jbytecode
Professor of Numerical Methods @ Istanbul University

Istanbul University Istanbul

@kulkalkul
Bora kulkalkul
Indie game dev. Experimenting with Odin.

Ankara, again...

@y1ca1
Yi Cai y1ca1
CMU −∘ UMD ⊗ (PL & Systems)

University of Maryland College Park, MD, US

@willcrichton
Will Crichton willcrichton
Assistant professor of computer science. Bringing cognitive science to programming.

Brown University Providence, RI

@echoumcp1
Ethan Chou echoumcp1
@jamii
Jamie Brandon jamii
Feral man-ape.

Vancouver, BC

@el-yawd
Diego Reis el-yawd
Stay hungry, stay foolish

tursodatabase Brazil

@sjunges
Sebastian Junges sjunges
Assistant Professor at the Radboud University Nijmegen. Previously at Berkeley @BerkeleyLearnVerify and RWTH Aachen University @moves-rwth

Radboud University Nijmegen

@oxcaml
OxCaml oxcaml
OCaml - Oxidized!
@ozgurakgun
Özgür Akgün ozgurakgun
Academic @ St Andrews CS. Interested in Constraint Programming and a bunch of other things. Call me Oz if you cannot pronounce Özgür.

University of St Andrews St Andrews

@cassiatorczon
cassiatorczon
@alpha-convert
Joseph Cutler alpha-convert
PhD student at Penn
@charliermarsh
Charlie Marsh charliermarsh
Building @astral-sh: high-performance developer tools for Python, starting with uv and Ruff.

@astral-sh Brooklyn, NY

@mirryi
Eric Zhao mirryi

Brown University

@julesjacobs
julesjacobs
@pdarragh
Pierce Darragh pdarragh
PhD student at the University of Maryland, interested in programming languages and their usability.

UMD College Park, MD

@Zac-HD
Zac Hatfield-Dodds Zac-HD
Researcher, maintainer of libraries, speaker at conferences, PSF Fellow.

Anthropic San Francisco

@01mf02
Michael Färber 01mf02

Innsbruck

@itchyny
itchyny itchyny
Professional of jq.

Cybozu, Inc. Kyoto, Japan

@pedrocarlo
Pedro Muniz pedrocarlo
23 - 🇧🇷
@ngernest
Ernest Ng ngernest
CS PhD Student @ Cornell

Ithaca, NY

@PThorpe92
Preston Thorpe PThorpe92
Systems, Cloud, Databases | Rustacean + CLI enthusiast

@tursodatabase MVCF

@dtolnay
David Tolnay dtolnay

0xF9BA143B95FF6D82 Redwood City, California

@penberg
Pekka Enberg penberg
Founder/CTO at @tursodatabase. Previously @scylladb & Linux kernel.

Finland

@alex-ozdemir
Alex Ozdemir alex-ozdemir
@omergk28
Omer Kocaoglu omergk28
Lead Software Engineer @ Ford Pro
@ayberkt
Ayberk Tosun ayberkt
PhD student at the University of Birmingham.

University of Birmingham Birmingham, UK

@wader
Mattias Wadman wader

Umeå, Sweden

@cmovcc
Antonin Reitz cmovcc
PhD student at Inria Paris, France

@INRIA (previously @PrincetonUniversity )

@xldenis
Xavier Denis xldenis
formal verification hacker
@AD1024
Mike He AD1024
Ph.D. student @PrincetonUniversity Applied Scientist Intern @aws; Working on formal methods for distributed systems

@PrincetonUniversity @aws Santa Clara, CA

@slyubomirsky
Steven S. Lyubomirsky slyubomirsky
Senior Software Engineer, @NVIDIA. Alumnus of @uwplse and @uwsampl. Previously at @octoml

@NVIDIA New York City

@simonw
Simon Willison simonw

Datasette Half Moon Bay, California