Nix meetup #2
Nix meetup #2 - connpass
Peacock さん
『NixConf 読書会の紹介』 #Slidev
/nix-ja/NixConf読書会
隔週日曜日 20 時でやっている
Nix に関するコードやドキュメントを読んで設計や知見について共有
vim-jp でバズっているらしい
Comavius さん
『学生サークルでの集団開発における Nix の採用事例』
競プロのジャッジサーバを作りたい
候補
Ansible, Aqua, Nix
メタデータを簡単に記述できる
使ってみたかったからってのが一番
GitHub - traP-jp/traO-Judge-docs: traO Judge ドキュメント
SBOM
SPDX
Mac でビルドできないのは Docker コンテナ内で
GitHub Actions が使えない
メンテ、オンボーディングができるかどうか
Nix 側のエコシステムが弱い言語とかもある
yasunori さん
『flake-parts と devenv で作る Kotlin/SpringBoot 環境』
flake-parts
devenv
Kotlin
Kotlin/SpringBoot
Nix Flake
やりたいことに対して記述量が多い
nixpkgs.lib.genAttrs
flake-utils
プロジェクトの中だけで使う便利コマンドとかを充実させたい
flake-parts で複数の環境に対する設定が簡単に書ける
flakeModule
devenv で開発用のツール、スクリプトの定義
Cachix
HCL
OrbStack
Sumi-Sumi さん
『妥協しない!宣言的マシン環境構築』
nixos-unstable の安定的な運用
宣言的 deploy
Arch Linux
AUR
Infrastructure as Code IaC
nvimdots
chezmoi
ROCKTAKEY さん
『Nix と Guix と ld.so と』
Guix
ld.so
Guile
Lisp
GNU
Emacs
Nix と Guix の似たところ
ユーザのプロファイルにインストール
チャンネルを指定するかどうかの違いはある
再現性のあるビルド
ハッシュ値
1 bit 単位でのミスマッチすら許さない
code:sh
guix challenge
バイナリを落としてくる
手元でビルドすると遅い
substitute
デフォルトで利用可能
パッケージを手軽に自分で書ける
最終的に derivation に変換
他のパッケージマネージャと干渉しない
実行ファイルのパスは store 上の絶対パス
ロールバック可能
完全に元に戻せる
お試し用の shell を簡単に立ち上げできる
開発環境を用意
flake.nix と manifest.scm
Nix の利点
圧倒的パッケージ数とユーザ数
Non-free のソフトが手軽かつ豊富
macOS で利用できる
出力がカラフルで読みやすい
NixOS で 非 Nix のバイナリを動かせる
nix-ld
devenv
Guix の利点
Graft によるビルド回数の削減
接木とか移植みたいな意味
Nix には patchelf がある
Stat Storm の回避
momeemt さん
『NixOS/nixpkgs に SATySFi サポートを実装する』
SATySFi
gfngfn 氏によって開発された静的型付け組版処理システム
LaTex に比べて可読性が高い
OCaml
Opam
Satyrograpohs
mt-caret
direnv
S 式
Satyristes
Yojson
フォントハッシュ
M. Ian Graham さん
『disko 入門:ディスクの初期設定を宣言的に!』
disko
diskoプレゼン共同参照ページ - HedgeDoc
NixOS に欠けているところを改善しようとしている
パーティション
parted, mkfs の使い方を忘れがちで毎回調べるのが大変
luks
btrfs
nixos-anywhere
kexec
UEFI
Nix meetup Nix Nix.icon