Ara Adkins
iamrecursion
Compilers, type-theory, runtimes, formal verification, cryptography. Audio mixing, mastering and music. Skiing, parkour, martial arts and sailing.
CTO & CFO @tactile-metrology Amsterdam, NL
HigherOrderCO
HigherOrderCO
we are getting to the very core of what makes computers capable of reasoning.
Karol Herbst
karolherbst
nouveau since Sep 2015
Most of my activity can be seen on the Freedesktop gitlab instance: https://gitlab.freedesktop.org/karolherbst
Red Hat Cyberspace
Sylvestre Ledru
sylvestre
Mozilla France
Fredrik Harrysson
folsen
Programmer for 20+ years. I like Haskell, Rust, p2p distributed systems, compilers/PLT, startups, Red Bull and hiking.
Sweden
Alex Gaynor
alex
I program computers, and build teams that program computers, with a heavy focus on security.
Anthropic Washington D.C.
gnzlbg
gnzlbg
Physics, HPC, Heterogeneous computing, SIMD, Systems programming, C++, Rust
RWTH Aachen University Munich, Germany
Dan Gohman
sunfishcode
I'm working on Wasmtime, WASI, and lots of things related to WebAssembly.
Arve Knudsen
aknuds1
Full stack software developer, specializing in Go, Rust and JavaScript, living in Lachen, Switzerland. Working at Grafana Labs, developing Grafana Mimir.
@grafana Lachen, Switzerland
Robin Freyler
Robbepop
🦀Rustacean with C & C++ origins - Enthusiastic about WebAssembly, compiler technology, virtual machines & SAT solving.
Berlin
James Munns
jamesmunns
Bringing Rust to new places, big and small.
Resources Team @ Rust Embedded Working Group
@oxidecomputer Berlin, DE
PreviousNext