Hello world!
My name is Paul-Nicolas Madelaine, often shortened to PNM. I am
a software engineer in Paris and a Nix enthusiast. My pronouns are
he/him.
norm_cast was upstreamed to Lean4
I am now a contributor to Lean!
Typhon: Nix-based continuous integration
Announcing Typhon!
A Nix Flake Template
I wrote a Nix ❄ Template
Nix registry
A quick note about a small trick I implemented in my NixOS configurations.