Jon Nadal
jonnadal
I'm interested in formal verification and am working on the @stateright model checker for verifying the correctness of distributed systems.
James Munns
jamesmunns
Bringing Rust to new places, big and small. Available for consulting @OneVariable!
Resources Team @ Rust Embedded Working Group
@OneVariable Berlin, DE
Laurence Tratt
ltratt
Programmer, researcher. Software Development Team, King's College London
@softdevteam Somerset / London
Herb Sutter
hsutter
Author, speaker, chair of ISO C++ committee. Designer or co-designer of various ISO C++ features.
Innes Anderson-Morrison
sminez
Staff software engineer at @apollographql
Writing personal tooling for fun
@apollographql UK
Andy Grove
andygrove
Apache Arrow & Apache DataFusion PMC Member. Original creator of Apache DataFusion query engine. Author of https://www.howqueryengineswork.com/
@Apple Broomfield, CO
Joran Dirk Greef
jorangreef
Creator, Founder and CEO of @tigerbeetle, the financial transactions database for mission critical safety and performance.
@tigerbeetle
Peter Todd
petertodd
Applied Cryptography Consultant (what the cool kids call 'blockchain tech')
Toronto
protty
kprotty
Programmer with a focus on server side optimization, compilers and all things close to hardware.
Thorsten Ball
mrnugget
Author of interpreterbook.com and compilerbook.com. I like to program where the rubber hits the road — wherever that may be.
@sourcegraph Bavaria, Germany
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
PreviousNext