5 September 2024

Adding algebraic data types to Nickel

A recent release of Nickel added algebraic data types and pattern matching. This blog post explains the motivation behind this addition, the design choices made, the considerations around backward compatibility and how ADTs can be useful for a configuration language.

Yann Hamdaoui

20 June 2024

Nickel modules

Implementing an equivalent to the NixOS module system in Nickel

Théophane Hufschmitt

26 October 2023

nixtract 0.1.0

Building the foundation to analyze your Software Supply Chain in Nix

Guillaume Desforges

29 September 2022

Four months into The Nix Book

A comprehensive report on what happened in four months of dedicated work on Nix documentation, and what I learned from it.

Valentin Gagarin

3 February 2022

Trustix - Consensus and voting

We discuss existing consensus models and why no global consensus mode is well suited to Trustix, opting for a user-defined algorithm instead.

Adam Hoese, Taeer Bar-Yam

20 December 2021

Nix 2.4 and 2.5

Overview of the new features in Nix 2.4 and 2.5

Eelco Dolstra

28 February 2019

JupyterWith: Declarative, Reproducible Notebook Environments

Millions of Jupyter notebooks are spread over the internet - machine learning, astrophysics, biology, economy, you name it. What a great age for reproducible science! Or that's what you think until you try to actually run these notebooks. Then you realize that having understandable high-level code alone is not enough to reproduce something on a computer. JupyterWith is a solution to this problem.

Juan Simões, Matthias Meschede

6 February 2019

Mapping a Universe of Open Source Software

The repositories of distributions such as Debian and Nixpkgs are among the largest collections of open source (and some unfree) software. They are complex systems that connect and organize many interdependent packages. In this blog post I'll try to shed some light on them from the perspective of Nixpkgs, mostly with visualizations of its complete dependency graph.

Matthias Meschede