Skip to content
View zihaoli-cn's full-sized avatar
🎯
Focusing
🎯
Focusing

Block or report zihaoli-cn

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
@xiaolai
xiaolai xiaolai
A lifelong student.

inblockchain beijing

@Zheaoli
Nadeshiko Manju Zheaoli
摇曳露营 S4 制作决定!

@tensorchord Beijing, China

@math-fehr
Fehr Mathieu math-fehr
Research assistant at the University of Cambridge. PhD student at the University of Edinburgh.

University of Cambridge Cambridge, UK

@xudon9
Xudong Wang xudon9
Compiler, program analysis, binary analysis

Beijing

@torvalds
Linus Torvalds torvalds

Linux Foundation Portland, OR

@ChrisCummins
Chris Cummins ChrisCummins
Member of Technical Staff @ Axiom Math. Previously Meta FAIR, DeepMind, Google, Intel.

Palo Alto, California

@merrymercy
Lianmin Zheng merrymercy
Engineer

xAI Bay Arena, CA

@pytorch
pytorch

where the eigens are valued

@brendangregg
Brendan Gregg brendangregg
Cloud computing performance engineer.

Intel Sydney, Australia

@zigtools
zigtools zigtools
We make free and open-source tools for the @ziglang community.
@yuleisui
Yulei Sui (UNSW) yuleisui
Program Analysis, Software Engineering

UNSW Australia

@msoos
Mate Soos msoos
Model counting, SAT solving, symbolic execution, cryptography, and IT security

Berlin, Germany

@dibsonthis
Adib Attie dibsonthis
Software engineer with a passion for creativity and problem solving.

Aginic Sydney

@NikolajBjorner
Nikolaj Bjorner NikolajBjorner

Microsoft Research Redmond, USA

@leodemoura
Leonardo de Moura leodemoura
See https://leodemoura.github.io/about.html

AWS Seattle

@fredericktutu
fredericktutu
program analysis and compilers

HKUST Hong Kong, China

@xnning
Ningning xnning
Types are all you need.

University of Toronto

@soumith
Soumith Chintala soumith
/\︿╱\ _____________________________ \0_ 0 /╱\╱________________________ \▁︹_/

Thinking Machines New York, USA

@facebookexperimental
Meta Experimental facebookexperimental
These are Meta projects that are not necessarily used in production but are being developed in the open nevertheless.

Menlo Park, California

@andrewcmyers
Andrew Myers andrewcmyers
Professor of computer science at Cornell University. Works on programming languages and security.

Cornell University Ithaca, NY, USA

@isabelle-prover
Isabelle isabelle-prover
Isabelle is a generic proof assistant
@Kensuke-Hinata
ypcpy Kensuke-Hinata
greedy is bad

redocpot Shenzhen, China

@PeiMu
Pei Mu PeiMu

The university of Edinburgh Edinburgh

@B-Lang-org
B-Lang B-Lang-org
Open BSV/BH languages and tools
@yegor256
Yegor Bugayenko yegor256
Author of "Angry Tests" and "Elegant Objects" books (buy them on Amazon); architect of @objectionary; founder of @zerocracy; creator of @zold-io

@zerocracy China

@Huawei
HUAWEI Huawei
This is an open platform for Huawei
@IBM
International Business Machines IBM
Opensource at IBM

United States of America

@Azure
Microsoft Azure Azure
APIs, SDKs and open source projects from Microsoft Azure

United States of America

@andongfan
Andong Fan andongfan
PhD student in PL

University of Toronto

@nvdla
nvdla
NVDLA Open Source Project
@graphcore
Graphcore graphcore
Graphcore makes the Intelligence Processing Unit

Bristol UK

@Cerebras
Cerebras Cerebras
Cerebras Engineering
@RTimothyEdwards
R. Timothy Edwards RTimothyEdwards

Open Circuit Design Poolesville, Maryland

@joaocarvalhoopen
João Nuno Carvalho joaocarvalhoopen
Hi, I’m a software engineer - computer science and electronics. I develop in many programming lang. I do command line, GUI and Web, Machine Learning and others.

Portugal - Lisbon

@cjdrake
Chris Drake cjdrake
ABYS: Always be yak shaving

Ampere Computing Cary, NC

@shreyashankar
Shreya Shankar shreyashankar
CS PhD student at UC Berkeley

@ucbepic Berkeley, CA

@PeterSewell
Peter Sewell PeterSewell

University of Cambridge UK