Published on April 3, 2026 Making a Type Checker/LSP for Nix nixtypes Building a TypeScript-style type checker and LSP for Nix with algebraic subtyping and negation types Read more →
Published on December 9, 2024 Advent Of Code 2024 in Nix - Days 04-06 nixadvent-of-code trying to do advent of code in "pure" nix eval Read more →
Published on December 5, 2024 Advent Of Code 2024 in Nix - Days 01-03 nixadvent-of-code trying to do advent of code in "pure" nix eval Read more →
Published on August 18, 2024 Making a Chess Engine in Zig zigchessnix Learning zig by making a chess engine Read more →
Published on December 2, 2023 Efficient Nix Derivations with File Sets nixnix-pkgsroc Using nix's new file set API to make efficient derivations Read more →