Pinned
There's a new "Containers" chapter out for my "#NixOS in Production" book
In fact, I've actually published a few new chapters since I last mentioned the book on Twitter, including stuff on :
- Terraform
- Integration testing
- CI/CD
Enjoy!
gabby
@GabriellaG439
Author of trygrace.dev, @dhall_lang, and haskellforall.com
I'm a midwife to the hidden beauty in everything
she/her 🏳️⚧️
- I spelled out a complete type inference algorithm for one of the trickiest corners of Nix to typecheck: the biased record concatenation operator ("//") The post even includes a reference implementation in ≈400 lines of Haskell code haskellforall.com/2026/07/mechan…
- I wrote up a post that explains how type inference for anonymous records works, including row polymorphism The post is also a gentle introduction to type theory for newcomers:
- I designed a simpler way to override packages in Nixpkgs which is backwards-compatible with existing Nixpkgs code and idioms
- New blog post: "Type out the code" I wrote this post to explain why I think more people should practice "freecoding" (coding as much as possible from memory)
