Skip to content
View jiangsy's full-sized avatar
82 followers · 455 following

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: Starstruck

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: Starstruck

Block or report jiangsy

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
@ztatlock
Zachary Tatlock ztatlock
Associate Professor, UW Allen School (CSE)

University of Washington Seattle, WA

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

Higher Order Company Rio de Janeiro, Brazil

@andrevidela
André Videla andrevidela
@LLM4Rocq
LLM4Rocq
@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

@logsem
Logic and Semantics @ Aarhus University logsem

Aarhus, Denmark

@kbuzzard
Kevin Buzzard kbuzzard
Professor of pure mathematics at Imperial College London. Currently learning about theorem provers.

@ImperialCollegeLondon London

@simran-arora
Simran Arora simran-arora
stanford cs
@aliang8
Anthony Liang aliang8
Fourth year PhD student at USC studying RL and robot learning, UG and MS at UMich

University of Southern California New York

@neel-krishnaswami
Neel Krishnaswami neel-krishnaswami

University of Cambridge

@brunocdsoliveira
brunocdsoliveira
@yiyunliu
Yiyun Liu yiyunliu
PhD Student studying Programming Language Theory

University of Pennsylvania

@maxsnew
Max S. New maxsnew

University of Michigan CSE Ann Arbor, MI

@alimuldal
Alistair Muldal alimuldal
Research Scientist @ DeepMind

DeepMind London, UK

@Sakits
Jiaming Tang Sakits
Ph.D. student @ MIT; MLSys & Algo.

MIT, EECS Cambridge, MA

@jikechao
Qingchao Shen jikechao
A Ph.D. student focusing on AI compilers.

Tianjin University Tianjin, China

@ammarfaizi2
Ammar Faizi ammarfaizi2

@TeaInside @llvm @GNUWeeb Jakarta, Indonesia

@zhuohan123
Zhuohan Li zhuohan123
building @vllm-project at Meta | 🎓 cs phd @ 🌁 uc berkeley | machine learning system | the real agi is the friends we made along the way

vLLM / Meta San Francisco Bay Area

@hkust-taco
HKUST TACO Lab hkust-taco
Types, Abstraction, Compilers & Optimization – research group at HKUST

Hong Kong

@cj-xu
Chuangjie Xu cj-xu

SonarSource Bochum, Germany

@zhaohengyin
秋名山猫 zhaohengyin
To feel is to create.

California

@langston-barrett
Langston Barrett langston-barrett
Researcher with experience in functional programming, formal methods, programming languages, and security.

@GaloisInc Brooklyn

@x35f
x35f x35f
RL & Quant is all I need.

Nanjing University

@mfridman
Michael Fridman mfridman

@bufbuild Toronto, Canada

@Frank-ZY-Dou
Frank Zhiyang Dou Frank-ZY-Dou
PhD @ MIT. Visiting @ UPenn. MPhil @ HKU. Research interests: Character Animation, Geometry Processing, Graphics.

PhD at MIT, MPhil at HKU, Visiting Student at UPenn Cambridge

@vkurenkov
Vladislav Kurenkov vkurenkov
Someone @ dunnolab.ai

Kazan

@Dou-Yiming
Yiming Dou Dou-Yiming
CS PhD student @ Cornell Tech

Cornell Tech Shanghai ↔️ New York

@andrejbauer
Andrej Bauer andrejbauer
Professor of computational mathematics

University of Ljubljana Slovenia

@berlino
Bailin berlino
Postdoc @ MIT CSAIL, writing inefficient code for parsing
@yvting
Yuting Wang yvting
Faculty member at Shanghai Jiao Tong University
@Peefy
Peefy
Focus on Programming Language, Compiler. Interested in Developer Tools, IaC, DevOps, Cloud-Native, AI and Web3.

Hangzhou

@ccodel
Cayden Codel ccodel
Fourth-year formal methods PhD student at Carnegie Mellon University.
@awodey
Steve Awodey awodey

CMU Pittsburgh PA

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

@apple Cupertino, CA

@whitequark
Catherine whitequark
the catgirl knows where it is at all times

@SCISemi UK

@AliasQli
Alias Qli AliasQli
Multilingual user & Type Theory enthusiast

Qliphoth Tech.

@Marwes
Markus Westerlind Marwes

Stockholm

@sustcsonglin
Songlin Yang sustcsonglin
An INTP 🐱. PhD student @ MIT CSAIL. Member of Technical Staff @ Thinking Machines Lab. she/her/hers

MIT Cambridge

@tausbn
Taus tausbn
@jonweinb
Jonathan Weinberger jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.

Chapman University Orange, CA

@comaniac
Cody Yu comaniac
LLM systems

@openai San Francisco, CA

@backtracking
Jean-Christophe Filliatre backtracking
@andyk
Andy Konwinski andyk
UC Berkeley PhD, Co-founder Databricks.

UC Berkeley Berkeley CA

@yufansong
Yufan Song yufansong

ByteDance Seed Seattle

@LighghtEeloo
LighghtEeloo
Looking into PL, System, and Arch

University of Michigan Ann Arbor

@UniverseFly
Yuxiang Wei UniverseFly
PhD student @illinois. Code LLM training.

University of Illinois at Urbana-Champaign Champaign, IL

@Lukas-Skystedt
Lukas-Skystedt
@yaoyaoding
Yaoyao Ding yaoyaoding
PhD student at UofT. Engineer at NVIDIA. Previously CS undergrad at SJTU.

University of Toronto Toronto, ON, Canada

@tripack45
Yue Yao tripack45
CMU CSD PhD in PL. Types (for) Systems FTW. Previously CMU MSCS and NVidia PTX Compiler Eng.

Pittsburgh, PA

@LLLgoyour
東雲 LLLgoyour
一直游到海水变蓝

@Colby-ICPC 红魔馆, Colby College