Hello world!

My name is Paul-Nicolas Madelaine, often shortened to PNM. I am a research engineer at Inria and a Nix enthusiast. My pronouns are he/him.

norm_cast was upstreamed to Lean4

I am now a contributor to Lean!

February 21, 2024

Typhon: Nix-based continuous integration

Announcing Typhon!

February 8, 2024

A Nix Flake Template

I wrote a Nix ❄ Template

November 7, 2023

Nix registry

A quick note about a small trick I implemented in my NixOS configurations.

June 9, 2022