Développeur libriste

(dernière version: décembre 2021)

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ésident1 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é2 mais aussi en 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 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 (IPv6-only!).

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.

Intérêts en ce moment

  • L’écosystème NixOS / Nix en général3 ;
  • L’infrastructure « à la fonctionnel »4 en tant que code à travers NixOps, NixOps-Proxmox et plus encore ;
  • La sécurité des secrets applicatifs5 ;
  • L’écosystème WireGuard en conjugaison avec Nix/NixOS ;
  • Les réseaux informatiques et datacenters6
  • Les réseaux IPv6 et déploiements IPv6-only7
  • 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 (Intel BootGuard)
  • Les TPMs, Secure Boot, fs-verity, et autres joies ;
  • Le partitionnement déclaratif

  1. Association à but non-lucratif.↩︎

  2. Et trois années de Classe Préparatoire aux Grandes Écoles en MPSI/MP/MP* au lycée Condorcet puis le lycée Chaptal.↩︎

  3. J’ai un NUR ici: https://github.com/RaitoBezarius/nixexprs↩︎

  4. Fonctionnel comme dans Haskell quoi.↩︎

  5. Kernel keyring, LoadCredential dans systemd, memfd_secret, etc.↩︎

  6. J’en ai presque un dans mon garage !↩︎

  7. Comme tout le sous-domaine *.v6.lahfa.xyz et bien d’autres choses↩︎