Nicholas Nethercote
nnethercote
Working on @rust-lang for @futurewei-tech. Previously worked on Valgrind and Firefox. No interest in cryptocurrencies, blockchain, or AI. he/him (or they/them)
@futurewei-tech Melbourne, Australia
Bartosz Milewski
BartoszMilewski
Author of Category Theory for Programmers
Programming Cafe Paris, France
Matthew Brecknell
mbrcknl
Working on the formal verification of the @seL4 microkernel.
@seL4 @Kry10-NZ Sydney, Australia
Curtis Millar
xurtis
Student at the school of Computer Science and Engineering at UNSW Sydney and engineer in the Trustworthy Systems Group ad Data61.
@seL4 NSW, Australia
Gerwin Klein
lsf37
Proves stuff. Chief Scientist and Co-Founder at Proofcraft
Proofcraft Sydney, Australia
Robert Twomey
roberttwomey
Johnny Carson Center for Emerging Media Arts, UNL | Arthur C. Clarke Center for Human Imagination, UCSD
Carson Center for Emerging Media Arts Lincoln, NE
Joel Grus
joelgrus
engineering / ML / NLP / AI / author "Data Science from Scratch" / speaker / coder / dad
Boerne, TX
John Cramb
jcramb
I'm a human passionate about space, security, science and technology.
@dropbox San Francisco, US