mini-ml
2022Un typeur et évaluateur de lambda-calcul : inférence de types Hindley-Milner, unification et évaluation, écrits en F#.
- F#
- .NET
- Hindley-Milner
Lanathanel
Développeur backend C#/.NET
Trois ans en banque de financement et d'investissement, sur des systèmes de trésorerie puis de market data. Le reste du temps, j'écris des moteurs de rendu, des typeurs et des automates.
En ce moment — Développeur backend sur une plateforme de market data — Natixis CIB
Un typeur et évaluateur de lambda-calcul : inférence de types Hindley-Milner, unification et évaluation, écrits en F#.
Une réimplémentation de la commande egrep : parsing d'expressions régulières, construction d'un automate non déterministe puis déterminisation.
Un gestionnaire de budget personnel que j'ai conçu, développé et déployé sur mon propre serveur — et que j'utilise au quotidien.
Un VPS auto-administré : une douzaine de services conteneurisés, reverse proxy, VPN, registre NuGet privé et sauvegardes. Ce site en fait partie.
Un petit moteur de rendu écrit from scratch, support des projets de creative coding ci-dessous.
avril 2026 — aujourd'hui · Paris
Natixis CIB
Développement d'une plateforme de market data qui diffuse données statiques et dynamiques à l'ensemble des branches equity et pre-trade de la banque.
novembre 2023 — mars 2026 · La Défense
SG Corporate & Investment Banking
Gestionnaire interne de trésorerie et de risques court terme, utilisé par les trésoriers de Londres, Paris et Tokyo. Migration de .NET Framework vers .NET 8 et du client lourd vers le web, sur de forts volumes de données.
septembre 2022 — octobre 2023 · Paris
Budgetbox
Conception et livraison du nouveau référentiel magasin, du recueil du besoin à la mise en production : choix techniques, modèle de données, API Kotlin, front Angular, CI/CD et déploiement Kubernetes. Architecture présentée au CTO.
mars 2020 — août 2020 · Constantine
Fablab — Université Abdelhamid Mehri
Développement et maintenance de l'application d'enseignement à distance du département d'informatique.
septembre 2022 — septembre 2023 · Paris
Sorbonne Université
Parcours Science et Technologie du Logiciel : typage et analyse statique, programmation objet et fonctionnelle, algorithmes de génération aléatoire.
septembre 2021 — juillet 2022 · Paris
Université Sorbonne Paris Nord
Bases de données et big data, structures de données avancées, programmation et systèmes distribués, compilation.
septembre 2017 — juillet 2020 · Constantine
Université Abdelhamid Mehri
Parcours génie logiciel.
Île-de-France, France