Nix NixOS Tutorial (Basic Installation/Configuration) Part 1

Welcome to the NIx (NixOS) lecture.

What is Nix?
A language for automating package installation settings, created since 2003.
A pure functional programming language that lets you know the world's development trends~*

The latest programming language development environment and
All app development environments and
Anyone who wants to keep up with the latest open source developments
Making the development environment complete with one command on all operating systems,
Making builds simple
Anyone who wants to build a server like a homemade NAS.

Anyone who wants to combine new Ai tools or various tools/apps
Currently, as of April 15, 2025, the Firebase Studio internal development environment system, such as the cursor AI editor from Google Gemini, can only be developed with Nix.
The combination of the non-deterministic system artificial intelligence and the deterministic system Nix has been confirmed.

Knowing too much can sometimes be a burden in development.
Nix makes you think about what you've learned.
It frees up a lot of time in your life by reducing complexity so you can focus solely on your work.

The Nix language of NixOS has this kind of suit feel

What you wear inside these clothes is all kinds of languages in the world and their codes. (Code to be automated or scenario planning code = called provisioning.)

(It will be set up as written in plannix)

Nix Code = (Iron Man Suit + Symbiote Suit) = Hoi Poi Capsule

If you throw the Hoi Poi Capsule from Dragon Ball, it will immediately set it to production (complete)/development (in process) status.

Some people have started development, while others are using nix to complete the build and distribution process all at once.

Nix is a garment (capsule) that plays that role.

Whether it's AI development or anything else, it's complicated. It's hard to remember everything, whether it's during the development stage or after it's completed.

All of those processes can be returned to the setup or completion of all provisioning (start is end = process).

That's why Firebird Studio was also chosen as the package manager for use in the artificial intelligence world.

Developers all over the world use it as a non-standard standard, but only developers in our country are frogs in a well.

Do you want to start over again, like always, from the painful development stage, starting over, and repeating the development settings from the beginning to the end?

Company or individual

Code = Asset management is also done at the same time.

The last language!!! A language whose concepts will remain the same even when the AI era comes!!!

Nix: Declarative Build and Deploy

Google Trends

Google Trends
https://trends.google.com/trends/explore?date=all&q=nixos&hl=ko

Funny MEME memes expressing Nix~*

Companies (Organizations) that use Nix

Mozilla Foundation also distributes Rust builds managed with Nix.
It is also widely used by students all over the world.
https://github.com/ad-si/nix-companies
Here's a quick rundown of companies that use Nix or NixOS:

1. Anduril (USA, California) A company that develops defense industry technologies, defense solutions using AI and autonomous systems.

2. Antithesis (USA, Virginia) Software Testing and Verification Solutions

3. Arista (USA) A company that provides cloud networking solutions, data centers, and high-performance network equipment.

4. Artificial (UK) AI and machine learning based solutions

5. Cachix (Estonia) A company that provides Nix package caching solutions to improve development speed and package management efficiency.

6. CircuitHub (UK) Electronic Device Manufacturing Automation Platform

7. Cyberus Technology (Germany) Security Software and Solutions

8. DE Shaw (USA) A quantitative finance and investment management firm that optimizes investments through complex financial models.

9. Determinate Systems (USA) Nix-based systems and infrastructure solutions

10. Dfinity (Zürich, Switzerland) Developing a decentralized internet infrastructure

11. Edgeless Systems (Germany) Security-focused cloud computing solutions

12. Feram (Germany) Code review automation and source code analysis

13. Flox (USA): A solution that simplifies Nix package management and system maintenance.

14. Flyingcircus (Germany) Cloud hosting and infrastructure management services

15. FPComplete (USA) Software development, consulting and cloud solutions

16. Glimpse (USA, Boston) Data analytics and machine learning solutions

17. Google (USA, California)

18. HAMBS (Australia) Australian medical and insurance software

19. Heilmann Software (Germany) Consulting supporting high-quality software development

20. Helsinki Systems (Germany) Cloud and Network Solutions

21. Hercules CI (Netherlands) provides a CI/CD (continuous integration and deployment) platform.

22. IO Global (USA, Wyoming) A company that provides blockchain solutions, particularly the Cardano blockchain.

23. JusPay (India, Bengaluru) Digital Payment Solution

24. Mercury (USA, California) Financial services platform using Haskell

25. Mlabs (UK) Consultancy providing blockchain and financial technology solutions using Haskell and Rust

26. Monzo (UK, USA) Known for its digital banking services

27. Nix.How (USA) A website that provides resources for building and learning about Nix-based systems.

28. Numtide (Switzerland) Nix-based infrastructure solution using Rust

29. Obsidian Systems (USA, New York) Consulting to support software development using Haskell.

30. PDT Partners (USA, UK) A financial firm providing data-driven quantitative investment solutions.

31. Platonic Systems (USA) Software solutions using Haskell, Elm, and PureScript

32. Replit (USA, California) A platform that provides an online development environment and supports various programming languages.

33. Scarf (USA) A company that provides software distribution and package management solutions using Haskell.

34. Serokell (USA) A software company developing high-performance distributed systems using Haskell and Rust.

35. Shopify (Canada) provides an e-commerce platform and uses Ruby, Go, TypeScript, etc.

36. Smallbrooks (Copenhagen, Denmark) Software solutions using Elm

37. Stack Builders (USA) Software development services using Haskell and Ruby

38. Supabase (USA) Provides an open source database platform using Rust, TypeScript, and Go.

39. TextQL (USA) A company that provides text analytics and data processing solutions using Haskell.

40. Tweag (USA) A company that provides advanced software solutions using Haskell and Rust.

41. Typeable (USA) A company that provides a variety of software solutions using Haskell.

42. Well-Typed (USA) A software consulting and development company specializing in Haskell.

Currently, for several months before April 15, 2025, Synology NAS has been experiencing system installation issues due to permission issues (home-manager installation is problematic. We are trying to resolve this, but we are not sure if it will be resolved. It seems that the community has blocked it on purpose.)