jonas's blog

Express your entire production pipeline in code; build, provision, and deploy to EC2 with a single command.

Tutorial for calligraphy, a Haskell source code visualizer.

Adding a salt allows you to capture non-reproducibility, and make poorly-behaved derivations nicer to work with.

Three ways of implementing algebraic data types and pattern matching in Nix, and when to choose which.

A practical guide on securely managing and deploying secrets with agenix

I recently rewrote the parser for my programming language – twice. Here are some of the things I learned along the way.

How to set up a Haskell project using Haskell.nix

Solve Sudokus and other puzzles by monoidally composing rules

Add metadata to record fields, work with higher-kinded data without resorting to Generics and Template Haskell, write safe and efficient FFI code