Zhehao 0xFF
KCN-judu
The price of reliability is the pursuit
of the utmost simplicity.
@Luna-Flow @moonbit-community Tokyo, Japan
Linxuan M
linxuanm
CMU SCS '27 | I write bad compilers that sometimes work if they decide to be nice to me
Kalimdor, Azeroth
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
Yiwei Yang
vickiegpt
Ph.D. student @SlugLab, try to make the system fast and reliable.
Baskin Engineering Santa Cruz, California
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
Jiachen LIU
AmberLJC
CS PhD @ UMich | Systems for {Agent, LLM, Private ML} | Ex Meta, Apple, SJTU, MIT
amberljc@umich.edu Ann Arbor
Rasmus
rsms
Personal Software, languages, compilers, Humans & Computers, and other fun things.
Past professional life at Figma, Facebook, Spotify, Dropbox, etc.
Playbit San Francisco
Orestis Melkonian
omelkonian
PhD @ University of Edinburgh
Formal Methods @input-output-hk
Interests: Programming Languages, Functional Programming, Type Theory, Formal Verification
Input Output (IOG) Kirkwall, Orkney, Scotland
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