Starling Cybernetics
starlingcyber
Starling Cybernetics creates infrastructure to empower communities of people and machines to harmoniously find collective consensus.
Zero Knowledge Podcast
ZeroKnowledgefm
Zero Knowledge Podcast goes deep into the tech that will power the emerging Web3 and chats with the community that is building it.
Penumbra
penumbra-zone
Penumbra is a fully private proof-of-stake network interoperable with the Cosmos ecosystem.
Shea Leffler
sdleffler
Maximum volume yields maximum results.
Yes, I *am* a violinist, why do you ask?
Briones, California
Stephanie Weirich
sweirich
Wish I had more time to code. And by code, I mean prove things.
University of Pennsylvania Philadelphia
Antal Spector-Zabusky
antalsz
I use GitHub for work and collaboration, but my personal projects have moved to GitLab (same username) because GitHub is contracting with ICE.
@rigetti Brooklyn, NY
Joomy Korkut
joom
Formal verification and programming languages researcher.
@Bloomberg New York City
Langston Barrett
langston-barrett
Researcher with experience in functional programming, formal methods, programming languages, and security.
@GaloisInc Brooklyn
Sofiya Semenova
ssemenova
PhD student at the University at Buffalo. Interested in mobile systems, Visual SLAM, AR / VR, robotics, and Rust.
Dylan McNamee
dylanmc
@GaloisInc emeritus, periodic visiting prof @ReedCollege, student, interested in programming and hardware design
Portland, Oregon
Dominic Orchard
dorchard
Co-director of Institute of Computing for Climate Science,
University of Cambridge and
Senior Lecturer at the School of Computing,
University of Kent
Canterbury, UK
Jeremy Kun
j2kun
Author of Math ∩ Programming and pimbook.org, currently at Google. Currently writing pmfpbook.org
@googlers Portland, OR