Développeur libriste

(Dernière version: février 2024)

Brève introduction

Développeur dans le milieu du libre depuis 2013, très rapidement, j’ai joué avec Mandriva Linux en trouvant un CD d’installation dans les cartons de mon père et un livre de C/C++ à 11 ans, armé d’un compilateur, j’ai bidouillé pas mal de projets (Trinity Core ou Warriors of Dreamworld) durant mes années de collège.

En quelques années, je contribue à plus d’une dizaine de projets FLOSS sur GitHub et d’autres forges, dont Mangaki dont je suis actuellement le président¹ et Dissemin.

Aujourd’hui, je suis étudiant à l’École normale supérieure de la rue d’Ulm, après une double licence en mathématiques et informatique à Sorbonne Université² et après une césure au ministère de la Justice dans le cadre du programme d’Entrepreneur d’Intérêt Général sur le projet TRISTAN.

Je suis responsable du projet UEFI SecureBoot support for NixOS financé par la fondation NLnet et la commission Européenne.

J’ai été organisateur de la NixCon 2022.

J’ai été responsable du :

• club réseau de l’ENS Ulm qui effectue toutes sortes d’expérimentation réseaux qu’on peut retrouver sur https://git.rz.ens.wtf.
• hackerspace de l’ENS Ulm qui effectue toutes sortes de choses qu’on peut retrouver sur https://hackens.org.

Je suis disponible pour toutes sortes de réalisations informatique et vous retrouverez mes compétences principales sur https://newtype.fr, vous pouvez m’envoyer un email à ryan at lahfa . xyz.

Vous pouvez aussi me suivre sur Mastodon.

Intérêts en ce moment

• Réinventer Nix en Rust ;
• bcachefs ;
• IRCv3 ;
• Réseaux sociaux fédérés et le protocole ActivityPub ;
• Les systèmes de recommendation appliquée à l’animation japonaise ;
• Éliminer l’écosystème Node.js avec Deno
• L’écosystème NixOS / Nix en général³ ;
• L’infrastructure « à la fonctionnel »⁴ en tant que code à travers NixOps, NixOps-Proxmox et plus encore ;
• La sécurité des secrets applicatifs⁵ ;
• L’écosystème WireGuard en conjugaison avec Nix/NixOS ;
• Les réseaux informatiques et datacenters⁶
• Les réseaux IPv6 et déploiements IPv6-only⁷
• Le langage P4 ;
• Les ASICs qui supportent switchdev ;
• La formalisation des mathématiques avec l’assistant de preuve Lean ;
• Les FPGAs et nMigen appliquée à la sécurité bas niveau
• Les TPMs, SecureBoot, fs-verity, Intel BootGuard, Intel Management Engine, AMD Platform Security Processor ;
• Le partitionnement déclaratif ;