Bài giảng Nix NixOS (phần cài đặt/cấu hình cơ bản) phần 1

Chào mừng đến với bài giảng NIx (NixOS).

Nix là gì?
Một ngôn ngữ dùng để tự động hóa cài đặt gói, được tạo ra từ năm 2003.
Một ngôn ngữ lập trình chức năng thuần túy cho phép bạn biết xu hướng phát triển của thế giới~*

Môi trường phát triển ngôn ngữ lập trình mới nhất và
Tất cả các môi trường phát triển ứng dụng và
Bất kỳ ai muốn theo kịp những phát triển mới nhất của nguồn mở
Làm cho môi trường phát triển hoàn chỉnh với một lệnh trên tất cả các hệ điều hành,
Làm cho việc xây dựng trở nên đơn giản
Bất kỳ ai muốn xây dựng một máy chủ giống như NAS tự chế.

Bất kỳ ai muốn kết hợp các công cụ Ai mới hoặc nhiều công cụ/ứng dụng khác nhau
Hiện tại, tính đến ngày 15 tháng 4 năm 2025, hệ thống môi trường phát triển nội bộ Firebase Studio, chẳng hạn như trình chỉnh sửa AI con trỏ từ Google Gemini, chỉ có thể được phát triển bằng Nix.
Sự kết hợp giữa hệ thống trí tuệ nhân tạo không xác định và hệ thống xác định Nix đã được xác nhận.

Biết quá nhiều đôi khi có thể trở thành gánh nặng trong quá trình phát triển.
Nix khiến bạn suy nghĩ về những gì bạn đã học.
Nó giải phóng rất nhiều thời gian trong cuộc sống của bạn bằng cách giảm bớt sự phức tạp để bạn có thể tập trung hoàn toàn vào công việc.

Ngôn ngữ Nix của NixOS có cảm giác giống như bộ đồ này

Những gì bạn mặc bên trong những bộ quần áo này là đủ loại ngôn ngữ trên thế giới và mã của chúng. (Mã được tự động hóa hoặc mã lập kế hoạch tình huống = gọi là cung cấp.)

(Nó sẽ được thiết lập như đã viết trong plannix)

Nix Code = (Bộ đồ Người Sắt + Bộ đồ Symbiote) = Viên nang Hoi Poi

Nếu bạn ném Viên nang Hoi Poi từ Dragon Ball, nó sẽ ngay lập tức chuyển sang trạng thái sản xuất (hoàn thành)/phát triển (đang tiến hành).

Một số người đã bắt đầu phát triển, trong khi những người khác đang sử dụng nix để hoàn tất quá trình xây dựng và phân phối cùng một lúc.

Nix là một loại trang phục (viên nang) có chức năng đó.

Cho dù đó là phát triển trí tuệ nhân tạo hay bất cứ điều gì khác, tất cả đều phức tạp. Thật khó để nhớ mọi thứ, dù là trong giai đoạn phát triển hay sau khi hoàn thành.

Tất cả các quy trình đó có thể được trả về khi thiết lập hoặc hoàn tất mọi hoạt động cung cấp (bắt đầu là kết thúc = quy trình).

Đó là lý do tại sao Firebird Studio cũng được chọn làm trình quản lý gói để sử dụng trong thế giới trí tuệ nhân tạo.

Các nhà phát triển trên toàn thế giới sử dụng nó như một tiêu chuẩn không chuẩn, nhưng chỉ có các nhà phát triển ở nước ta mới là ếch ngồi đáy giếng.

Bạn có muốn bắt đầu lại từ giai đoạn phát triển đầy đau đớn như mọi khi, bắt đầu lại và lặp lại các thiết lập phát triển từ đầu đến cuối không?

Công ty hoặc cá nhân

Mã = Quản lý tài sản cũng được thực hiện cùng lúc.

Ngôn ngữ cuối cùng!!! Ngay cả khi kỷ nguyên AI đến thì các khái niệm vẫn sẽ như vậy!!!

Nix: Xây dựng và triển khai theo khai báo

Xu hướng Google

Xu hướng Google
https://trends.google.com/trends/explore?date=all&q=nixos&hl=ko

Những meme MEME hài hước thể hiện Nix~*

Các công ty (tổ chức) sử dụng Nix

Mozilla Foundation cũng phân phối các bản dựng Rust được quản lý bằng Nix.
Nó cũng được sử dụng rộng rãi bởi sinh viên trên toàn thế giới.
https://github.com/ad-si/nix-companies
Sau đây là danh sách nhanh các công ty sử dụng Nix hoặc NixOS:

1. Anduril (Hoa Kỳ, California) Một công ty phát triển công nghệ công nghiệp quốc phòng, giải pháp quốc phòng sử dụng AI và hệ thống tự động.

2. Antithesis (Hoa Kỳ, Virginia) Giải pháp kiểm tra và xác minh phần mềm

3. Arista (Hoa Kỳ) Một công ty cung cấp giải pháp mạng đám mây, trung tâm dữ liệu và thiết bị mạng hiệu suất cao.

4. Các giải pháp dựa trên AI và máy học nhân tạo (Anh)

5. Cachix (Estonia) Một công ty cung cấp giải pháp lưu trữ đệm gói Nix để cải thiện tốc độ phát triển và hiệu quả quản lý gói.

6. CircuitHub (Anh) Nền tảng tự động hóa sản xuất thiết bị điện tử

7. Phần mềm và giải pháp bảo mật Cyberus Technology (Đức)

8. DE Shaw (Hoa Kỳ) Một công ty quản lý đầu tư và tài chính định lượng tối ưu hóa các khoản đầu tư thông qua các mô hình tài chính phức tạp.

9. Determinate Systems (Hoa Kỳ) Các giải pháp hệ thống và cơ sở hạ tầng dựa trên Nix

10. Dfinity (Zürich, Thụy Sĩ) Phát triển cơ sở hạ tầng internet phi tập trung

11. Edgeless Systems (Đức) Giải pháp điện toán đám mây tập trung vào bảo mật

12. Feram (Đức) Tự động hóa đánh giá mã và phân tích mã nguồn

13. Flox (Hoa Kỳ): Một giải pháp giúp đơn giản hóa việc quản lý gói Nix và bảo trì hệ thống.

14. Flyingcircus (Đức) Dịch vụ lưu trữ đám mây và quản lý cơ sở hạ tầng

15. FPComplete (Hoa Kỳ) Phát triển phần mềm, tư vấn và giải pháp đám mây

16. Glimpse (Hoa Kỳ, Boston) Giải pháp phân tích dữ liệu và học máy

17. Google (Hoa Kỳ, California)

18. HAMBS (Úc) Phần mềm y tế và bảo hiểm của Úc

19. Heilmann Software (Đức) Tư vấn hỗ trợ phát triển phần mềm chất lượng cao

20. Helsinki Systems (Đức) Giải pháp mạng và đám mây

21. Hercules CI (Hà Lan) cung cấp nền tảng CI/CD (tích hợp và triển khai liên tục).

22. IO Global (Hoa Kỳ, Wyoming) Một công ty cung cấp các giải pháp blockchain, đặc biệt là blockchain Cardano.

23. JusPay (Ấn Độ, Bengaluru) Giải pháp thanh toán kỹ thuật số

24. Mercury (Hoa Kỳ, California) Nền tảng dịch vụ tài chính sử dụng Haskell

25. Mlabs (Anh) Tư vấn cung cấp các giải pháp công nghệ tài chính và blockchain sử dụng Haskell và Rust

26. Monzo (Anh, Hoa Kỳ) Nổi tiếng với các dịch vụ ngân hàng số

27. Nix.How (Hoa Kỳ) Một trang web cung cấp tài nguyên để xây dựng và tìm hiểu về các hệ thống dựa trên Nix.

28. Numtide (Thụy Sĩ) Giải pháp cơ sở hạ tầng dựa trên Nix sử dụng Rust

29. Obsidian Systems (Hoa Kỳ, New York) Tư vấn hỗ trợ phát triển phần mềm sử dụng Haskell.

30. PDT Partners (Hoa Kỳ, Vương quốc Anh) Một công ty tài chính cung cấp các giải pháp đầu tư định lượng dựa trên dữ liệu.

31. Platonic Systems (Hoa Kỳ) Giải pháp phần mềm sử dụng Haskell, Elm và PureScript

32. Replit (Hoa Kỳ, California) Một nền tảng cung cấp môi trường phát triển trực tuyến và hỗ trợ nhiều ngôn ngữ lập trình khác nhau.

33. Scarf (Hoa Kỳ) Một công ty cung cấp các giải pháp quản lý gói và phân phối phần mềm sử dụng Haskell.

34. Serokell (Hoa Kỳ) Một công ty phần mềm phát triển các hệ thống phân tán hiệu suất cao sử dụng Haskell và Rust.

35. Shopify (Canada) cung cấp nền tảng thương mại điện tử và sử dụng Ruby, Go, TypeScript, v.v.

36. Smallbrooks (Copenhagen, Đan Mạch) Giải pháp phần mềm sử dụng Elm

37. Stack Builders (Hoa Kỳ) Dịch vụ phát triển phần mềm sử dụng Haskell và Ruby

38. Supabase (Hoa Kỳ) Cung cấp nền tảng cơ sở dữ liệu nguồn mở sử dụng Rust, TypeScript và Go.

39. TextQL (Hoa Kỳ) Một công ty cung cấp giải pháp phân tích văn bản và xử lý dữ liệu bằng Haskell.

40. Tweag (Hoa Kỳ) Một công ty cung cấp các giải pháp phần mềm tiên tiến sử dụng Haskell và Rust.

41. Typeable (Hoa Kỳ) Một công ty cung cấp nhiều giải pháp phần mềm sử dụng Haskell.

42. Well-Typed (Hoa Kỳ) Một công ty tư vấn và phát triển phần mềm chuyên về Haskell.

Hiện tại, trong vài tháng trước ngày 15 tháng 4 năm 2025, Synology NAS đã gặp phải sự cố cài đặt hệ thống do vấn đề về quyền (cài đặt home-manager có vấn đề. Chúng tôi đang cố gắng giải quyết sự cố này nhưng không chắc liệu có thể khắc phục được hay không. Có vẻ như cộng đồng đã cố tình chặn sự cố này.)