Skip to content
View xiyuzhai's full-sized avatar
🏠
Working from home
🏠
Working from home
49 followers · 92 following
  • MIT
  • Cambridge, MA
  • 07:54 (UTC -04:00)

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: QuickdrawAchievement: Starstruck

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: QuickdrawAchievement: Starstruck

Organizations

@xiyuzhai-husky-lang
Block or Report

Block or report xiyuzhai

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
@abs0luty
Adi Salimgereyev abs0luty
15 years old C++/Rust compiler enthusiast from Almaty, Kazakhstan. Maintainer of axum-server and tokio-rusqlite and I also like @gleam-lang ❤

Quantumatic Almaty, Kazakhstan

@teorth
teorth
@facebookresearch
Meta Research facebookresearch

Menlo Park, California

@EricLBuehler
Eric Buehler EricLBuehler
Attention. It's all you need.
@Peefy
Peefy
Focus on Programming Language, Compiler. Interested in Developer Tools, IaC, DevOps, Platform Engineering, AI and Web3.

Ant Group Hangzhou

@kcl-lang
The KCL Programming Language kcl-lang
KCL is an open-source constraint-based record & functional language mainly used in configuration and policy scenarios.

China

@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@Seasawher
Kitamado Seasawher
I like mathematics and Lean language.

Japan

@gavrilikhin-d
Gavrilikhin Daniil gavrilikhin-d

Russia

@PatrickMassot
Patrick Massot PatrickMassot

Paris

@metamath
Metamath metamath
@eudoxia0
Fernando Borretti eudoxia0
Interests: compilers, programming language theory, chemistry, atomically-precise manufacturing, formal systems.

Sydney, Australia

@AI0228
AI AI0228
I am Experienced AI & ML Engineer|| Full Stack Data Scientist with 6 years of experiences.
@HigherOrderCO
HigherOrderCO HigherOrderCO
Building the massively parallel future of computers
@namin
Nada Amin namin
Assistant Professor of Computer Science

Harvard University Cambridge, MA

@brendanzab
Brendan Zabarauskas brendanzab
I'm interested in how computers can extend human creativity, and how how type systems can be used as tools for thought. 👨‍🎨👨‍💻👨‍🔬

@yeslogic Melbourne, Australia

@Aurel300
Aurel Aurel300
PhD student in Rust verification at ETH Zurich. Haxe enthusiast, game developer, CTF player and author.
@fpoli
Federico Poli fpoli
@hardfist
hardfist hardfist
Project Lead of Rspack Project at ByteDance Web Infra team

beijing

@yangky11
Kaiyu Yang yangky11
Research Scientist @ Meta, FAIR

Meta Fundamental AI Research (FAIR) New York, NY

@ConnorGray
Connor Gray ConnorGray
Mojo Library Engineer @modularml

@Modularml Champaign, Illinois

@gabemeikle
Gabe Meikle gabemeikle

@unknotxyz

@guohaoxiang
Haoxiang Guo guohaoxiang
Graphics guy

Shanghai

@jtmaher
jtmaher
@laurmaedje
Laurenz laurmaedje

@typst Berlin

@remysucre
Yisu Remy Wang remysucre

UCLA

@H-Freax
Freax Ruby H-Freax
🔬 RA @ Helping Hands Lab @ Information Experience and Accessibility Lab | 🎓 IS @ NEU | 🤖 | 🦾 Robotic Arm | 📚 LLM | 🧠 NLP & ML | 👁️ CV 🐱🐶🐯🦁🦋

Northeastern University Boston

@LechenQian
Selina Qian LechenQian
Joint PhD student between Nao Uchida lab and Venkatesh Murthy lab

Harvard University Cambridge, MA, USA

@Zhang-Liao
Zhang-Liao Zhang-Liao
@adrianmartir
Adrian Marti adrianmartir
@gfx-rs
Rust Graphics Mages gfx-rs
Portable Graphics and Compute in Rust

Earth

@PENGUINLIONG
PENGUINLIONG PENGUINLIONG
Associate Wizard in Computer Magics.

Meshy.ai Tree

@EmbarkStudios
Embark EmbarkStudios
The future belongs to the curious

Stockholm, Sweden

@aya-prover
The Aya Theorem Prover aya-prover
@Kensuke-Hinata
ypcpy Kensuke-Hinata
greedy is bad

redocpot Shenzhen, China

@lsrcz
Sirui Lu lsrcz
PhD candidate at the University of Washington.

@uwplse Seattle, WA

@TianhaoFu
Tianhao Fu TianhaoFu
Finance AGI is coming

Peking University

@PingchuanMa
Pingchuan Ma PingchuanMa
Learning.

MIT CSAIL

@tmcdonell
Trevor L. McDonell tmcdonell
@rerun-io
rerun.io rerun-io
Visualize streams of multimodal data. Fast, easy to use, and simple to integrate. Built in Rust using egui.

Sweden

@zed-industries
Zed Industries zed-industries
The fast and social code editor.
@kristoff-it
Loris Cro kristoff-it
vp of community @ziglang • curator of software you can love (https://sycl.it)

@ziglang Milan, Italy

@emilk
Emil Ernerfeldt emilk
Rust coder, creator of egui, CTO of rerun.io

Stockholm, Sweden

@junqingqiao
BUGMAN junqingqiao

MIT

@LukasKalbertodt
Lukas Kalbertodt LukasKalbertodt
I like teaching and coding.

@elan-ev Heidelberg, Germany

@drkostas
Kostas Georgiou drkostas
Computer Vision Researcher & PhD Student

University of Tennessee, Knoxville

@tomwetherell
Tom Wetherell tomwetherell
@jindavid
David Jin jindavid
PhD @ MIT
@cptq
Derek Lim cptq
Deep learning at MIT & Liquid AI
@mdibaiee
Mahdi Dibaiee mdibaiee
Programmer. Love mathematics, philosophy, low-level programming and functional programming. Opensource guy. Mozillian.

@estuary Dublin, Ireland