Jeremy Kun
j2kun
Author of Math ∩ Programming and pimbook.org, currently at Google. Currently writing pmfpbook.org
@googlers Portland, OR
Tristan Hume
trishume
Open source enthusiast. Projects in Rust, Ruby, C++, JS, Objective-C and more.
San Francisco
Alex Chi Z
skyzh
building database systems @databricks, previously @cmu-db; a bubble tea every day makes me happy right away
Databricks 🧱 Bellevue, WA, USA ⇌ Shanghai, China
Tristan Rice
d4l3k
Hi! ML+Self Driving+Security.
Maintainer for @pytorch Distributed, TorchX and TorchElastic
@pytorch @facebook Seattle/Vancouver
Songlin Yang
sustcsonglin
An INTP 🐱.
PhD student @ MIT CSAIL. Member of Technical Staff @ Thinking Machines Lab.
she/her/hers
MIT Cambridge
Mario Carneiro
digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.
Chalmers University of Technology Gothenburg, Sweden
Principled Systems @ MPI-SWS
principled-systems
The Principled Systems Group designs, implements, and verifies systems software, focusing on the advancement of tooling and methodology for systems verification
임기정
KiJeong-Lim
I'm a master's/Ph.D. student majoring in Computer Science and Engineering at Yonsei University.
https://sites.google.com/view/fcai-lab Seoul, Republic of Korea
verus-lang
The Verus verification project. Logo usage info at https://verus-lang.github.io/verus/verus/logo.html
Tej Chajed
tchajed
Professor at UW-Madison. I write software and prove that it does what it's supposed to.
UW-Madison Madison, WI