Simon Cruanes
c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.
Imandra (@imandra-ai) washington DC
Chris Pressey
cpressey
Unhappy ex-GitHub product who made like a turn and left. Using a non-profit code host instead now. Follow me if you dare.
Office... submarine!
Steve Klabnik
steveklabnik
All i'm trying to do is enjoy every day to the fullest with my Pokémon.
@oxidecomputer Austin, TX
Brendan Zabarauskas
brendanzab
I'm interested in how computers can extend human creativity, and how how type systems can be used as tools for thought. 👨🎨👨💻👨🔬
@yeslogic Melbourne, Australia
Adam Chlipala
achlipala
Researcher in tools and platforms to help do niftier things with software and hardware
MIT Cambridge, MA
Stephanie Weirich
sweirich
Wish I had more time to code. And by code, I mean prove things.
University of Pennsylvania Philadelphia
Robert Harper
RobertHarper
I am a Professor in the Computer Science Department at Carnegie Mellon University, where I have been a member of faculty since 1988.
Carnegie Mellon University Pittsburgh PA
Sean Corfield
seancorfield
Veteran software architect, focusing on web / JVM / Clojure these days.
Bay Area, California
Steve Arnold
sarnold
VCTLabs, Inc. California
Ivan Ilves (Old)
vyatta4people
This account is no longer active. I use @ivanilves one. Please use my new account to connect me. ;) Thanks!