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.
AS13-November-01
Trebor Huang
Trebor-Huang
I'm an undergrad at Tsinghua University. / I like mathematics and dependent type theory.
Internal cat of a doughnut
Brendan Zabarauskas
brendanzab
I'm interested in how computers can extend human creativity, and how type systems can be used as tools for thought. 👨🎨👨💻👨🔬
@yeslogic Melbourne, Australia
Leah Amelia Chen
pluiedev
Unassorted creative \\
🏳️⚧️ 🏳️🌈 🎨 🎵 💻 🌏 ✍🏼 💜
Stuttgart, Germany ↔ Suzhou, China
Litao Zhou
ltzone
Ph.D. student @hkuplg, Programming Languages
The University of Hong Kong Hong Kong
Xiang Chendong
Xiang-cd
Second-year PHD at THU CST, major in generative model.
Tsinghua University Beijing, China
Yiwei Yang
vickiegpt
Ph.D. student @SlugLab, try to make the system fast and reliable.
Baskin Engineering Santa Cruz, California
Luyu Cheng
chengluyu
PhD candidate at HKUST supervised by @LPTK
@hkust-taco, HKUST Hong Kong SAR, China
Nix community projects
nix-community
A project incubator that works in parallel of the @NixOS org
HKUST TACO Lab
hkust-taco
Types, Abstraction, Compilers & Optimization – research group at HKUST
Hong Kong
Frank Zhiyang Dou
Frank-ZY-Dou
PhD @ MIT.
Visiting @ UPenn.
MPhil @ HKU.
Research interests: Character Animation, Geometry Processing, Graphics.
PhD at MIT, MPhil at HKU, Visiting Student at UPenn Cambridge