Michael Sproul
michaelsproul
Building Ethereum at Sigma Prime. I like types, specs and proofs.
@sigp Sydney, Australia
Joomy Korkut
joom
Formal verification and programming languages researcher.
@Bloomberg New York City
Matheus Albuquerque
ythecombinator
Staff SWE, Front-End • Consultant • Speaker • Traveler
@medallia Europe
youkaichao
youkaichao
Ph.D. from Tsinghua University. Core maintainer of @vllm-project .
@vllm-project Beijing, China
David Myers
davidmyersdev
Hello! My name is David, and I build tools to help you be more productive. If you find my work useful, I would really appreciate a sponsorship or donation. 🪴
@Doximity Columbus, Ohio
Spencer Tupis
Idyllei
EN-ES biglot. Student at SUNY Genesee Community College. Linguistically-inspired.
Holley, New York
Flavius Aspra
flavius
Clean, testable architectures. Language doesn't matter (PHP/C/Rust/Golang/Typescript/Python/Java). I eat two technology stacks and a Linux meal a day
Austria
邢
xingdl2007
Interested in distributed systems, storage and infrastructure.
kuaishou Shenzhen, China
Tommaso Urli
tunnuz
Optimisation scientist, migrant, programmer, learner, crafter, struggler, worrier, father of one.
Satalia United Kingdom