Skip to content
View tchajed's full-sized avatar

Highlights

  • Pro

Organizations

@mit-pdos @rocq-community

Block or report tchajed

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
@SuperSonicHub1
Kyle Anthony Williams SuperSonicHub1
Just a guy manipulating streams of binary into something neato. MIT '27

@mit New York

@MHQQysh
Shihong Yuan MHQQysh
Junior@Zhejiang University & UIUC 2027

Zhejiang Universiy &UIUC

@sun-jacobi
Chia sun-jacobi
GPU Compiler Engineer | Interested In Program Logic & Verification
@shanyu-sys
Shan Yu shanyu-sys
Ph.D. student @uclasystem

UCLA Los Angeles

@zqy1018
Qiyuan Zhao zqy1018
A beginner. A low-level programmer.

Singapore

@ericwang385
eric wang ericwang385

Gothenburg, Sweden

@KaminariOS
Kosumi KaminariOS
Ray-tracing for fun, systems for real. In Rust we trust.

The University of North Carolina at Chapel Hill Chapel Hill

@stepbrobd
StepBroBD stepbrobd
λƒ.(λ𝑥.ƒ(𝑥 𝑥))(λ𝑥.ƒ(𝑥 𝑥))

@Inria Grenoble, France

@tengjiang
Teng Jiang tengjiang
Just tryna do some cool system stuff.

UCLA Los Angeles

@Snowfall99
Zixuan Chen Snowfall99
MS@CMU; Computer System and Networking

Carnegie Mellon University Pittsburgh, PA

@arindas
Arindam Das arindas
Specializes in distributed systems, deep learning inference and AI SaaS at scale.

@claritas-healthtech India

@mahesh-maximus
Mahesh Dharmasena mahesh-maximus
Loves ❤️ System Programming ⚙️

Virtusa Sri Lanka

@arxgy
Ganxiang Yang arxgy
Off we go into the wild pale yonder.
@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@cyoon1729
Chris Yoon cyoon1729

Palantir Technologies New York, New York

@Emanon42
Emanon Emanon42
CPDT, CPDT

極東魔術昼寝結社 West Lafayette, IN, US

@Yifei-Liu
Yifei Liu Yifei-Liu
Exploring the edge of computer systems

Stony Brook University Seattle, WA

@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@xldenis
Xavier Denis xldenis
databases, verification & rust @ turbopuffer

turbopuffer

@ahuoguo
Alex Bai ahuoguo

New York University

@indradhanush
Indradhanush Gupta indradhanush
Go & Python programmer | Low level systems | Infrastructure automation | Kubernetes | Linux | Emacs

Distributed systems @platform9 | @recursecenter alum India

@XiangpengHao
Xiangpeng Hao XiangpengHao
Database/storage systems

Madison, WI

@aliabdelkader
Ali Abdelkader aliabdelkader
Software Engineer

Cairo, Egypt

@saltatory
Jeffrey Hohenstein saltatory

@ziglet-health Irvine, CA

@Opadc
Opadc Opadc
code is hard, i prefer for talk

BeiJing

@wrsturgeon
Will Sturgeon wrsturgeon
CS & Cognitive Science @ UPenn

Los Angeles

@TheoWinterhalter
Théo Winterhalter TheoWinterhalter
Researcher, proof assistants and dependent types

INRIA Saclay Saclay

@wuc9521
Chentian Wu wuc9521
UW-Madison 25'

University of Wisconsin-Madison Madison, WI

@taooceros
Kevin Zhang taooceros
Member @Flow-Launcher | UW-Madison '24

University of Wisconsin Madison United States

@kkpan11
Gianni Hong kkpan11
Coder. Book lover. Enthusiastic cyclist. T1D.

Taipei, Taiwan

@hippohwj
Wenjie Hu hippohwj
Ph.D. Student in Computer Science | University of Wisconsin–Madison | OLTP Database Research

UW-Madison Madison, WI

@keyboardDrummer
Remy Willems keyboardDrummer
I mainly work on Dafny and on Miksilo, a tool to construct programming languages in a modular way.

@amzn Utrecht, Netherlands