LM
emptymalei
I build ML models in Germany. Applied Scientist, PhD in Physics. Worked on neutrino physics, cosmology, spiking neuron models, interplanetary immigration (scif
@spikinglabs Germany
Yifeng Wang
doodlewind
王译锋 (雪碧) / founder @spool-lab / ex @lovartai / ex-cofounded @toeverything / juggling parenting and code commits.
China ⇔ Singapore
Yishuai Li
liyishuai
PhD'22 @plclub @DeepSpec; Mentor @SIGPLAN -M; Maintainer @rocq-community @ocaml-community; Contributor @rocq-prover.
@DeepSpec Tokyo
Michael Sproul
michaelsproul
Building Ethereum at Sigma Prime. I like types, specs and proofs.
@sigp Sydney, Australia
郑诚 (Cheng Zheng)
1c7
AI Engineer & Full-Stack Builder. Focused on applied AI, RAG architectures, and shipping robust business tools.
奇绩创坛 MiraclePlus 广州南沙区
Boyuan Yang
hosiet
PhD Candidate / Univ. of Pittsburgh
@Debian Developer
University of Pittsburgh Pittsburgh, PA