mrtz-j
Follow
Ryan Lahfa
RaitoBezarius
Formal verification, systems engineering, network engineering and more. A love for Public Interest projects and a passion for simple & elegant systems.
Independent Contributor France
Julian Stecklina
blitz
Low-level systems hacker with interest in (user space) device drivers, Rust, microkernels and virtualization.
@cyberus-technology Palma de Mallorca, Spain
Julien Malka
JulienMalka
Aka Luj. Software supply chain security researcher, NixOS enthusiast & contributor.
Other interests: PL theory, software security, formal verification.
PhD Student at Télécom Paris // Self employed consultant Paris
Dag Brattli
dbrattli
Creator of RxPY, Expression, Fable Python, Oryx, AsyncRx, aioreactive, OSlash, ... ✨
@cognitedata Tromsø, Norway
Tromsøstudentenes Dataforening
td-org-uit-no
Computer Science student organization at UiT The Arctic University of Norway
UiT The Arctic University of Norway, Department of Computer Science, Hansine Hansens vei 54, 9019 Tromsø, Norway
Jon Gjengset
jonhoo
Rust educational streamer. At @helsing-ai. Previously at AWS. A fan of making things secure, fast, scalable, and well-documented.
@helsing-ai Oslo, Norway
Alfonso Garcia-Caro
alfonsogarciacaro
Software developer. Creator of Fable: F# to JS compiler.
Japan
Jonas Juselius
juselius
Quantum chemist and HPC aficionado turned functional programmer. CTO at Oceanbox.io.
Oceanbox.io Tromsø
Kamilla Emi Bentsen
kamillaebentsen
Computer science student at the University of Tromsø, Norway
Tromsø, Norway
