spacer spacer spacer meaningless logo

See also https://docs.google.com/document/d/1ExLgFYqDY5NfDiqKOQJWyTuKBToI9JZFR9wc_Qq9vDo/edit

Orthogonality in the configuration of operating systems

  • orthogonality in general

  • the mess that is the standard way of configuring operating systems

  • declarative configuration in NixOS (using an almost pure functional language)

  • the original idea of OO (see "The Computer Revolution Hasn't Happened Yet", and the citations from http://web.cecs.pdx.edu/~black/publications/egal.pdf) suggests configuring an operating system as a large number of independently configured VMs (a bit like containers, only much less messy because containers are a terrible compromise)

  • where does GNU HURD fit into this?