🎯
Very restricted availability
Formal verification, systems engineering, network engineering and more. A love for Public Interest projects and a passion for simple & elegant systems.
-
Independent Contributor
- France
- https://ryan.lahfa.xyz
- @raito@nixos.paris
Skyler Grey
Minion3665
Comments/discussions I write are under the license of the repository they were written on, or CC-BY-SA if there's no license. This includes private repositories
@CollaboraOnline In the world, on the internet
Neyts Zupan
zupo
Geek since I was able to walk. Bootstrapped & powered by Open Source. Founder of @ParetoSecurity, @OceanSprint and @teamniteo.
@teamniteo Europe
Julian Stecklina
blitz
Low-level systems hacker with interest in (user space) device drivers, Rust, microkernels and virtualization.
@cyberus-technology Palma de Mallorca, Spain
Martin Weinelt
mweinelt
NixOS committer, security and infra team member.
Also known as hexa- on IRC, Matrix, Mastodon and elsewhere on the Internet.
European Union
Louis Vanhaelewyn
Swarthon
As Github has been bought by Microsoft, I've decided to no longer use it for my personal projects. See https://gitlab.com/Swarthon
Dimitri Fontaine
dimitri
PostgreSQL Major Contributor (Extensions, Event Triggers, pgloader, pg_auto_failover, pgcopydb, ...), working at @citusdata.
@citusdata Paris, France
Farid Zakaria
fzakaria
Engineering. Where the noble semiskilled laborers execute the vision of those who think and dream. Hello, Oompa-Loompas of science.
Santa Cruz, CA
Verified Network Toolchain
verified-network-toolchain
Network programming in P4, C, and other languages, with programs and compilers formally specified and verified for functional correctness
Bastien
bzg
Free software contributor, BlueHats 🧢 and now working at Software Heritage
@SoftwareHeritage Paris
Fabian Affolter
fabaff
Just another engineer working on Fedora, the Fedora Security Lab and @NixOS. Sporadically also on @home-assistant and @alpinelinux.
Switzerland
Jonas Chevalier
zimbatm
@numtide [@x1:~] $