Skip to content
View tchajed's full-sized avatar
344 followers · 16 following

Achievements

Achievement: Pair Extraordinairex2Achievement: Starstruckx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Pair Extraordinairex2Achievement: Starstruckx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

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
@CxBug
Muhammed CxBug

berlin

@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

@Neustradamus
Neustradamus Neustradamus
@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

@JeffCarpenter
Jeff Carpenter JeffCarpenter

Canada

@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

@alanwang67
Alan Wang alanwang67
@stepbrobd
StepBroBD stepbrobd
λƒ.(λ𝑥.ƒ(𝑥 𝑥))(λ𝑥.ƒ(𝑥 𝑥))

@Inria Grenoble, France

@1024th
Lin Tianchuan 1024th
@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

@luckyhlin
Jimmy luckyhlin

US

@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

@MagicRabbitTang
MagicRabbitTang
@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

@zuzmo
Gábor Nagymajtényi zuzmo
@InfiniteEchoes
GY InfiniteEchoes
@Emanon42
Emanon Emanon42
CPDT, CPDT

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

@kraytos17
Soumil Kumar kraytos17
@Yifei-Liu
Yifei Liu Yifei-Liu
Exploring the edge of computer systems

Stony Brook University Seattle, WA

@BradleyYeo
Bradley Yeo Kian BradleyYeo
@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

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

turbopuffer

@izouxv
izouxv izouxv
@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

@Brandon-M-Hartman
Brandon Brandon-M-Hartman
@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

@clairew
Claire Wang clairew

UPenn

@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

@amirahmadi1987
amir amirahmadi1987
@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

@CLRT19
CLRT19 CLRT19
@WetABQ
WetABQ WetABQ
@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