mini-ml
2022A lambda-calculus type checker and evaluator: Hindley-Milner type inference, unification and evaluation, written in F#.
- F#
- .NET
- Hindley-Milner
Lanathanel
Backend C#/.NET developer
Three years in corporate & investment banking, on treasury then market data systems. The rest of the time I write rendering engines, type checkers and automata.
Currently — Backend developer on a market data platform — Natixis CIB
A lambda-calculus type checker and evaluator: Hindley-Milner type inference, unification and evaluation, written in F#.
A reimplementation of the egrep command: regular expression parsing, NFA construction, then determinization to a DFA.
A personal budget manager I designed, built and deployed on my own server — and use daily.
A self-administered VPS: a dozen containerised services, reverse proxy, VPN, private NuGet registry and backups. This site is one of them.
A small rendering engine written from scratch, backing the creative-coding projects below.
April 2026 — present · Paris
Natixis CIB
Building a market data platform that serves static and dynamic data to the bank’s entire equity and pre-trade branches.
November 2023 — March 2026 · La Défense
SG Corporate & Investment Banking
In-house treasury and short-term risk manager, used by treasurers in London, Paris and Tokyo. Migration from .NET Framework to .NET 8 and from a desktop client to the web, at high data volume.
September 2022 — October 2023 · Paris
Budgetbox
Designed and delivered the company’s new store reference system, from requirements to production: technical choices, data model, Kotlin API, Angular front end, CI/CD and Kubernetes deployment. Architecture presented to the CTO.
March 2020 — August 2020 · Constantine
Fablab — Université Abdelhamid Mehri
Development and maintenance of the computer science department’s distance learning application.
September 2022 — September 2023 · Paris
Sorbonne Université
Software Science and Technology track: typing and static analysis, object-oriented and functional programming, random generation algorithms.
September 2021 — July 2022 · Paris
Université Sorbonne Paris Nord
Databases and big data, advanced data structures, distributed programming and systems, compilers.
September 2017 — July 2020 · Constantine
Université Abdelhamid Mehri
Software engineering track.
Île-de-France, France