Zhehao 0xFF
KCN-judu
The price of reliability is the pursuit
of the utmost simplicity.
@Luna-Flow @moonbit-community Tokyo, Japan
Celestial Phineas
celestialphineas
Designing and computing shapes of types.
@TrionesType Hangzhou, China
Trebor Huang
Trebor-Huang
I'm an undergrad at Tsinghua University. / I like mathematics and dependent type theory.
Internal cat of a doughnut
Kevin Xiang Li
AlienKevin
MS CS @ Stanford; Post-training @ Marin; prev CS @ UMich
Stanford University
Yiwei Yang
vickiegpt
Ph.D. student @SlugLab, try to make the system fast and reliable.
Baskin Engineering Santa Cruz, California
Ted Li
liweijian
Principal Engineer @walmart (Ex-Tencent/Snapchat). CKS, CISSP. Focusing on Cloud Native Security, Istio, and K8s.
Walmart Inc. Guangzhou, China
Rynco Maekawa
lynzrand
"Never tried hard before, But dreamt to be special."
Building compilers & developer tooling.
OCaml / Rust / C# / C / Typescript;
en_US / zh_CN.
AS16-November-08
Jiachen LIU
AmberLJC
Building AI Co-Scientist for Everyone.
CS PhD @ UMich | Systems for LLM | Meta (MSL), SJTU, MIT
Meta Palo Alto
Rasmus
rsms
Personal Software, languages, compilers, Humans & Computers, and other fun things.
Past professional life at Figma, Facebook, Spotify, Dropbox, etc.
Playbit Berkeley
Orestis Melkonian
omelkonian
2023-2026: Formal Methods @input-output-hk, 2019-2023: PhD @ University of Edinburgh, Interests: Programming Languages, Type Theory, Formal Verification
London, UK
XLANG Lab
xlang-ai
Developing embodied AI agents that empower users to use language to interact with digital and physical environments to carry out real-world tasks.
PreviousNext