Reproducibility for a fleet, why NixOS?

Tue, 28 Apr 2026 00:00:00 +0000

Selected music: 1000 Airplanes on the Roof by Philip Glass.

In this post, we explore what is NixOS and how to use it to make a hardened OS.

NixOS in deep

NixOS is a Linux distribution that treats an operating system like code. First, NixOS is declarative; we write a configuration that describes exactly how we want our system to look. NixOS is binary: either the installation succeeded, or it failed and nothing happened. Because the system is built from a text file, we can take that one file to a brand-new computer, run the installer, and get an identical twin of our original machine in minutes.

An introduction to Ringil

Fri, 24 Apr 2026 00:00:00 +0000

Selected music: Symphony No. 3 by Henryk Górecki.

In this post, we explore the architecture of autonomous drones, designed with the scalability required for swarm operations.

Current State of the Art

Since the onset of the conflict in Ukraine, drones have become central to modern warfare. Yet, for most people, they remain a hobby. In both contexts, building a resilient system requires a foundation that prioritizes adherence to user instructions.

In fact, in a civilian context, we must prevent catastrophic failures–at high speeds, a drone’s kinetic energy makes it a lethal projectile. From a military perspective, the system must withstand standard cyberattacks and electronic warfare. Naturally, we can rule out Windows Server 2016 for our stack… since our requirements demand peak performance and extreme energy efficiency. Unfortunately, macOS Server no longer lives–a drone may have fallen on it? This leaves us with the following option: Linux. But to manage a fleet reliably, we need a declarative paradigm.

Software Engineering & Autonomous Systems on Software with Hinome

Reproducibility for a fleet, why NixOS?

NixOS in deep

An introduction to Ringil

Current State of the Art