Creating a Linux Desktop World with Language: The Philosophy of NixOS Programs from a Linguistic Perspective

infoivonblog.nkfjt@aleeas.com (Ivon Huang) — Thu, 23 Oct 2025 09:00:00 +0800

Creating a Desktop World with Language: The Philosophy of NixOS from a Linguistic Perspective

Creating a Desktop by Language: The Philosophy of NixOS

This article is something I impulsively had ChatGPT help me bullshit into existence after I took a linguistics Semantics course and played with NixOS for a while. I wrote the outline, then asked AI to help fill in the details. When I presented it on stage, everyone, including the professor, was completely baffled.

Actually, I also had no idea what the fuck I was doing.

1. The Third Operating System
#

Master Yoda once said: There’s another.

In the world of operating systems, besides Windows and macOS, there is actually a third powerful system world: Linux.

If Windows is a convenience store and macOS is a boutique coffee shop, then Linux is like a coffee lover who grows their own beans, roasts them, and brews them themselves. And Linux can have many branches, each with its own recipe. These are called Linux distributions.

One special Linux distribution: NixOS.

It is not only a system, but also a philosophy of “describing the computer world with language.”

Let us talk about NixOS starting from language.

If the meaning of language can be expressed with mathematical or logical rules, then we can turn language into something as precise as a program.

Speaking is also creating a world. All input and output can be seen as a function: a certain input necessarily produces a certain result, with no exceptions.

This sounds a little crazy, right? But the linguist Montague also once tried to turn language into mathematical formulas, so I am merely continuing the tradition (laughs

2. Linguistic Concepts
#

The British philosopher John Austin proposed “speech acts” (Speech Act Theory), where saying a sentence can change reality, such as “I now pronounce you married.”

Then what if we could use language not merely to marry people, but to “make an entire computer software world appear”?

NixOS lets you write a configuration file, and then the entire system generates itself.

NixOS is a declarative system composed using the Nix package manager.

In a typical Linux system, you have to install every piece of software yourself and configure it yourself.

NixOS, by contrast, only requires you to describe the world you want with a few lines of text, and it automatically builds it.

Declarative vs. Imperative

Traditional Linux is imperative: you operate the system “step by step” with commands.

NixOS is declarative: you “describe” the ideal state with a configuration file, and it can be reached in one move.

System as Code: the embodiment of language.

Nix configuration file = the syntax tree of the operating system.

Every package setting is a linguistic unit (lexeme).

The entire operating system is the realization of an utterance.

Written as a formula:

For a NixOS system:

Nix on Ivon's Blog

Creating a Linux Desktop World with Language: The Philosophy of NixOS Programs from a Linguistic Perspective

1. The Third Operating System #

2. Linguistic Concepts #

1. The Third Operating System
#

2. Linguistic Concepts
#