Description

Self-taught Haskell and NixOS free software developer since 2015,

former self-taught OCaml software developer from 2005 to 2015,

and self-taught GNU/Linux system administrator since 2010.

Most of my work so far has consisted in understanding and (re)implementing algorithms found in scientific papers, with my main focus being on correctness.

I do my best to understand what I do. I'm passioned by developing algorithms or fixing bugs. I am hardworking and a fast learner with communication skills for teaching and being accurate on technical matters.

Industry field of expertise

Languages

French
Native or bilingual
English
Fluent

Workplace preferences

Remote only

Primarily works remotely

CNRS/ISC-PIF
Pro bono Nix and Haskell engineer for the French National Centre for Scientific Research, focusing on reproducibility
PUBLIC SECTOR
June 2023 - Today (3 years)
Paris, France
Written a flake.nix based upon haskell.nix for haskell-gargantext: https://gitlab.iscpif.fr/gargantext/haskell-gargantext/merge_requests/258
And reimplemented from scratch and improved the main algorithm for computing phylomemetic networks: https://radicle.sourcephile.fr/nodes/radicle-mermet.sourcephile.fr/rad:z2364hmzZUAGy1nKdSFa1gLSoUE2M
NixOS
Developing and maintaining NixOS/Nixpkgs, focusing on security
TECH
January 2017 - Today (9 years and 5 months)
Limoges, France
Creating or maintaining dozens of packages and services for NixOS:
https://github.com/NixOS/nixpkgs/pulls?q=author%3Aju1m
Haskell
Understanding and reimplementing several scientific papers in Haskell, focusing on correctness
TECH
January 2015 - Today (11 years and 5 months)
Limoges, France
- Reimplemented parts of Utrecht University/Bastiaan Heeren's thesis [Top: Constraint solving framework employed by the Helium Compiler](https://hackage.haskell.org/package/Top) in https://hackage.haskell.org/package/lol-typing

- Implemented CNRS/Balinski & Laraki's voting method [Majority Judgment](https://mitpress.mit.edu/9780262545716/majority-judgment/) in https://git.sourcephile.fr/majurity.git/tree/HEAD:/hjugement

- Reimplemented parts of CNRS/LORIA's [Helios-C e-voting protocol](https://www.belenios.org) in https://git.sourcephile.fr/majurity.git/tree/HEAD:/hjugement-protocol

- Reimplemented parts of [servant](https://hackage.haskell.org/package/servant) in https://git.sourcephile.fr/haskell/symantic-http.git and parts of [ema](https://hackage.haskell.org/package/ema) in https://git.sourcephile.fr/haskell/literate-web.git

- Reimplemented parts of Imperial College/Jamie Willis' thesis [Parsley: A fast parser combinator library backed by Typed Template Haskell](https://hackage.haskell.org/package/parsley) in https://git.sourcephile.fr/haskell/symantic-parser.git

- Reimplemented parts of IOHK/Matt Noonan's [Ghosts of Departed Proofs](https://iohk.io/en/research/library/papers/ghosts-of-departed-proofs-functional-pearls/) in
https://radicle.sourcephile.fr/nodes/radicle-mermet.sourcephile.fr/rad:z3795BqJN8hSMGkyAUr8hHviEEi2H

- Reimplemented parts of CNRS/ISC-PIF Chavalarias & Lobbé & Delanoë's paper [Draw me Science: Multi-level and multi-scale reconstruction of knowledge dynamics with phylomemies](https://doi.org/10.1007/s11192-021-04186-5) in https://radicle.sourcephile.fr/nodes/radicle-mermet.sourcephile.fr/rad:z2364hmzZUAGy1nKdSFa1gLSoUE2M