systemreboot – blog
Complex end-to-end tests using Guix G-expressions
Sep 10, 2025
Complex end-to-end tests in development repositories involving packages written in several languages are a chore to describe and maintain. Often, the only recourse is to pull in pre-built binaries or haul around heavy Docker images. Could there be a better way? Could it be Guix (spoiler alert: yes!)?
Propagator networks very briefly
Jun 30, 2025
Propagator networks are a novel way to express computation that allow us to escape the expression-orientedness of traditional programming languages. This is a quick primer that introduces the concept very briefly.
Tags: software, propagator networks
Factory farming is bad
Jun 17, 2025
I spoke at a debate on factory farming at my department in University College London. This was my initial argument.
Tags: environment
Using Guix despite uncooperative HPC admins—the ultimate solution
Feb 11, 2024
How do you use Guix on HPC when your friendly HPC admins are uncooperative? This is the ultimate solution.