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.
I am now a contributor to Lean!
I wrote a Nix ❄ Template
A quick note about a small trick I implemented in my NixOS configurations.