Skip to content
View zchcai's full-sized avatar

Block or report zchcai

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
@tlaplus
TLA+ tlaplus
TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.
@NJU-ProjectN
NJU-ProjectN
Nanjing University Computer System Project Series - Build a computer system from scratch!
@google
Google google
Google ❤️ Open Source

United States of America

@honeybeebaby
bee 🐝 honeybeebaby
cloud infrastructure engineer

Google, LLC. California

@lovesegfault
Bernardo Meurer lovesegfault
Rust/Nix @anthropics, previously at @aws, @quantumlib. @NixOS maintainer.

@anthropics NYC

@quantumlib
quantumlib quantumlib
Google's open-source software for the quantum world.
@jiyanjiang
JI, Yanjiang jiyanjiang
Wechat: ianwest

USTB Beijing, China

@ShawnZhong
Shawn Zhong ShawnZhong

Madison, Wisconsin

@zihangm
Zihang Meng zihangm
Graduate student at UW-Madison

UW-Madison Madison

@zhenxingjian
Xingjian Zhen zhenxingjian
PhD

UW-Madison Madison, WI

@yuleisui
Yulei Sui yuleisui
Program Analysis, Software Engineering

UNSW Australia

@ianamason
Ian A Mason ianamason
Logico Programmus Irritabilis

SRI International La Selva Beach, California

@shiblon
Chris Monson shiblon

Facebook Maryland, USA

@Dominator008
Dominator008 Dominator008
Crypto anarchist & metalhead

@celer-network Cosmos

@jfc43
Jiefeng Chen jfc43
Research Scientist at Google.

Google Sunnyvale

@vrastogi
Vaibhav Rastogi vrastogi

University of Wisconsin

@wklken
wklken wklken
Pythonista/Gopher/Vimer.

Tencent ShenZhen China

@teja5832
Surya Teja Chavali teja5832
Grad Student at UW Madison

@pathai Hyderabad, India

@FTRobbin
Haobin Ni FTRobbin
TankEngineer on Codeforces. Ph.D. from Cornell. Postdoc at UW. Does programing language research. これでみんなハッピーハッピだよ

University of Washington, Seattle, WA

@barghouthi
Aws Albarghouthi barghouthi
Computer science professor @ UW-Madison | Scientist at AWS

Madison, WI

@snario
Liam Horne snario
Never stop learning.

Internet

@axic
Alex Beregszaszi axic
Works on decentralised stuff. eipnft:axic.eth

@ethereum @ipsilon @spearbit @ethereumjs Dublin, Ireland

@wweic
Wei Chen wweic
Senior PE @ Unity, Apache TVM

Seattle

@WeixiMa
Weixi Ma WeixiMa

Indiana University

@anders94
Anders Brownworth anders94
Coding and flying helicopters.

Cambridge, MA

@bap2pecs0
b2p bap2pecs0

United States

@bbuenz
Benedikt Bünz bbuenz

Espresso Systems, NYU New York, New York

@stevenlcf
Steven Liu stevenlcf

San Francisco Bay Area

@amiller
Andrew Miller amiller
Distributed systems, applied cryptography, programming languages

University of Illinois Champaign, IL

@toysrtommy
toysrtommy toysrtommy
open protocols

Palo Alto