NixOS on the Lenovo Carbon X1 (Gen 12)
Building Nix packages for the Raspberry Pi with GitHub Actions
Managing the development of large software systems
Building container images with Nix
Deploying with GitHub Actions and more Nix
Concurrency in Go, Clojure, Haskell and Rust
The essence of a CI/CD pipeline
O’Reilly Velocity Conference 2019
Consistent vocabulary in control flow
Prototypes for stepper motor control