pnm.tf https://pnm.tf/ Recent content on pnm.tf Hugo en Wed, 03 Sep 2025 00:00:00 +0000 Releasing eschac https://pnm.tf/posts/2025-09-03-eschac/ Wed, 03 Sep 2025 00:00:00 +0000 https://pnm.tf/posts/2025-09-03-eschac/ A rust library for computing chess moves norm_cast was upstreamed to Lean4 https://pnm.tf/posts/2024-02-21-norm-cast/ Wed, 21 Feb 2024 00:00:00 +0000 https://pnm.tf/posts/2024-02-21-norm-cast/ I am now a contributor to Lean! Typhon: Nix-based continuous integration https://pnm.tf/posts/2024-02-08-typhon/ Thu, 08 Feb 2024 00:00:00 +0000 https://pnm.tf/posts/2024-02-08-typhon/ Announcing Typhon! A Nix Flake Template https://pnm.tf/posts/2023-11-07-flake-template/ Tue, 07 Nov 2023 00:00:00 +0000 https://pnm.tf/posts/2023-11-07-flake-template/ I wrote a Nix ❄ Template Nix registry https://pnm.tf/posts/2022-06-09-nix-registry/ Thu, 09 Jun 2022 00:00:00 +0000 https://pnm.tf/posts/2022-06-09-nix-registry/ A quick note about a small trick I implemented in my NixOS configurations.