Junxiao Shi
yoursunny
push-up specialist, tree stump inspector, AS200690 network operator
@usnistgov Gaithersburg, MD
Celestial Phineas
celestialphineas
Designing and computing shapes of types.
@JadeFoci 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
victoryang00
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 student at Umich | MLSys in {LLM, Private ML, AutoML} | Ex Apple, SJTU, MIT
[email protected] 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
University of Edinburgh Kirkwall, Orkney, Scotland
XLANG NLP Lab
xlang-ai
Building language model agents that ground language instructions into code or actions executable in real-world environments
Jacob Neumann
jacobneu
PhD student, Functional Programming Lab at the University of Nottingham's School of Computer Science;
Former Lecturer at Carnegie Mellon University SCS
Nottingham, England, UK
Anton Ping
AntonPing
An undergraduate at Moscow State University. Write Rust and Haskell most of the time.
Moscow State University Moscow
PreviousNext