From c094981d8690e6c20a0ff242c93106a238a5bb8a Mon Sep 17 00:00:00 2001 From: Daniel Langbein Date: Tue, 29 Aug 2023 12:22:31 +0200 Subject: [PATCH] update README --- README.md | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 62140ff..2d2af20 100644 --- a/README.md +++ b/README.md @@ -150,6 +150,7 @@ appimage-run ~/Downloads/ubports-installer_0.10.0_linux_x86_64.AppImage ## General Notes * There is controversy about flakes, rather use channels (e.g. with niv) +* Prins, P., Suresh, J. and Dolstra, E., "Nix fixes dependency hell on all Linux distributions," [Archived](https://web.archive.org/web/20081226010942/http://www.linux.com/feature/155922) December 26, 2008, at the Wayback Machine linux.com, December 22, 2008 ### Nix Pills @@ -158,9 +159,14 @@ appimage-run ~/Downloads/ubports-installer_0.10.0_linux_x86_64.AppImage It provides a tutorial introduction into the Nix package manager and Nixpkgs package collection, in the form of short chapters called 'pills'. -### Thesis +### Papers -There are two (?) theses about Nix. One is https://edolstra.github.io/pubs/phd-thesis.pdf +Papers about Nix: + +* The Purely Functional Software Deployment Model (2006). http://nixos.org/~eelco/pubs/phd-thesis.pdf, https://edolstra.github.io/pubs/phd-thesis.pdf, https://github.com/edolstra/edolstra.github.io/blob/master/pubs/phd-thesis.pdf + * May 2023: Some insights from the thesis in short form. https://jonathanlorimer.dev/posts/nix-thesis.html +* NixOS: A Purely Functional Linux Distribution (2008): https://github.com/edolstra/edolstra.github.io/blob/master/pubs/nixos-icfp2008-final.pdf, https://github.com/edolstra/edolstra.github.io/blob/master/pubs/nixos-jfp-final.pdf +* Nix: A Safe and Policy-Free System for Software Deployment (2004): https://edolstra.github.io/pubs/nspfssd-lisa2004-final.pdf ### Search for packages