LilRan
Lil-Ran
Peace & love | Pure tech | Traditional dev | Full stack | Ethical hacker
Zhuhai, China
Young-Flash
Young-Flash
Rust-lang & rust-analyzer team member | Apache Committer | OSPP 2021 & GSoC 2022 & OSPP 2023 | Open Source contributor
itsKayWat
itsKayWat
👋 I'm Chris Loetz, I make stuff. Crafting tools to help stores and teams streamline operations and enhance efficiency - TikTok: @ll_kaywat_ll
- OnPoint
NexusStream Project Ai One Click Away From You =P
Rynco Maekawa
lynzrand
"Never tried hard before, But dreamt to be special."
Mainly doing compilers, but interested in everything.
C++ / Rust / C# / Typescript;
en_US / zh_CN.
@moonbitlang AS13-November-01
Peefy
Focus on Programming Language, Compiler. Interested in Developer Tools, IaC, DevOps, Cloud-Native, AI and Web3.
Hangzhou
Théo Winterhalter
TheoWinterhalter
Researcher, proof assistants and dependent types
INRIA Saclay Saclay
Jinhua Wu
Hua-hana
PL | Formal Verification | Working on Rust verified compiler
Shanghai Jiao Tong University
Qinghao Huang
wfnuser
With great responsibility comes great power
| Remote working.
@36node @ArkTicketTech Beijing, China
Xiao
lambda7xx
Build Systems
千里之行, 始于足下
Think AI in System, Think System in AI.
Shanghai Jiao Tong University Shanghai
Yiwei Yang
vickiegpt
Ph.D. student @SlugLab, try to make the system fast and reliable.
Baskin Engineering Santa Cruz, California
PreviousNext