update README

This commit is contained in:
Daniel Langbein 2023-08-29 12:22:31 +02:00
parent f21376fd3e
commit c094981d86

View File

@ -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