chapter 1: add new reference to NixOS

Author: drupol

src/thesis/1-introduction.typ

@@ -168,11 +168,12 @@ constant along the passing years, sadly.
 Transitioning from BASIC, I briefly jumped on Microsoft Windows before moving to
 Linux, a platform that has since become my daily driver. In 2019, I found myself
 grappling with a sluggish laptop running a popular Linux distribution. In search
-of a faster, binary-based alternative, I transitioned to NixOS
-#cite(<NixOS>, form: "normal"). This shift marked the beginning of a totally new
-perspective on software development for me. It was through NixOS that I
-encountered the concept of "reproducibility" which opened my eyes to the
-possibilities of making and shipping more reliable software.
+of a faster, binary-based alternative, I transitioned to NixOS, a Linux
+distribution #cite(<hemel_2024_12906987>,form:"normal") managed by the Nix
+package manager #cite(<NixOS>, form: "normal"). This shift marked the beginning
+of a totally new perspective on software development for me. It was through
+NixOS that I encountered the concept of "reproducibility" which opened my eyes
+to the possibilities of making and shipping more reliable software.
 
 We've seen in the previous section and will detail further in the next chapters
 that this concept originates from researchers and the scientific method. This

src/thesis/literature.bib

@@ -1020,3 +1020,13 @@ @misc{swguix2018
   url    = {https://www.softwareheritage.org/2019/04/18/software-heritage-and-gnu-guix-join-forces-to-enable-long-term-reproducibility/},
   year   = {2019},
 }
+
+@misc{hemel_2024_12906987,
+  author    = {Hemel, Armijn},
+  title     = {NixOS: the Nix based operating system},
+  month     = jul,
+  year      = 2024,
+  publisher = {Zenodo},
+  doi       = {10.5281/zenodo.12906987},
+  url       = {https://doi.org/10.5281/zenodo.12906987}
+}