Nix AI Weekly - 2025-06-01

📊 Weekly Stats

Total Topics: 50

Filtered Topics: 18

Hot Topics: 8

Significant Discussions: 9

Average Likes: 19.944444444444443

🔥 Hot Topics (10+ Likes)

Category: learn | Likes: 83 | Replies: 12

ソブリン・テック・エージェンシーは、Nixエコシステム向けの開発プログラムに23万ユーロを投資しました。これは、2026年2月までにグローバルなITサプライチェーンのセキュリティを改善し、持続可能性を高め、Nixpkgs内の技術的負債を削減することを目的としています。

Key Discussion Points:

ソブリン・テック・エージェンシーがNixpkgsに23万ユーロを投資。

この投資は、ITサプライチェーンのセキュリティ、持続可能性、技術的負債の削減を目標としている。

この開発プログラムは、2026年2月までに長年の課題に対処する。

主要な焦点分野は、CIパフォーマンス、再現性、ブートプロセスの簡素化、評価器のパフォーマンス、ルートレスNixデーモンの実装である。

この資金提供は、NixOSが重要なデジタルインフラとしての役割を強化するものである。

Category: general | Likes: 51 | Replies: 15

NixCon 2025は、2025年9月5日から7日にスイスのラッパースヴィル＝ヨーナで開催される予定で、チケット販売が公式に開始されました。参加者は、雇用主が会議手当を提供している場合、法人チケットの購入を検討することが推奨されており、企業はスポンサーシップの機会を検討するよう招待されています。

Key Discussion Points:

NixCon 2025のチケット販売が開始されました

会議は2025年9月5日から7日まで開催されます

開催地はスイスのラッパースヴィル＝ヨーナです

個人チケットと法人チケットのオプションが利用可能です

企業向けにスポンサーシップの機会が提供されています

近日中にCall for Papers (CFP) が発表されます

Category: general | Likes: 76 | Replies: 16

Lixは、ドキュメントに詳述されている通り、文字列補間内での整数型への型強制を可能にする新機能を導入しました。

Key Discussion Points:

Nixパッケージマネージャーの実装であるLixは、文字列補間における整数型への型強制をサポートするようになりました。

この機能は、Lixマニュアルの「rl-next/integer-coercion.md」に記載されています。

Category: learn | Likes: 33 | Replies: 0

本レポートは、2025年5月に成功裏に開催された第6回Zürich Friends of Nix (ZHF) ハッカソンについて詳述しています。このイベントでは、コミュニティメンバーが集まり、Nixに関する開発、Nixpkgsにおけるビルドの失敗の修正、およびオープンソースプロジェクトでの共同作業が行われ、特に協力関係の促進と初心者へのサポートに重点が置かれました。

Key Discussion Points:

Zürich Friends of Nix (ZHF) は、2025年5月に東スイス応用科学大学 (OST) で第6回目となる2日間のハッカソンを開催しました。

このイベントは、ネットワーキング、Nix関連の開発、およびオープンソースでの共同作業を促進することを目的としました。

NixOS 25.05のリリースがイベントと同時期であったにもかかわらず、Nixpkgsにおける多数のビルド失敗が参加者に作業を提供しました。

ハッカソンの準備は2ヶ月前から開始され、以前のイベントからのフィードバックが体験の改善のために取り入れられました。

主要な焦点は、共同作業を可能にし、初心者へのガイダンスを提供することでした。

Category: general | Likes: 19 | Replies: 12

Key Discussion Points:

チャンネルはキャッシュされるため、上流の参照が変更されてもすぐに更新されない。

一般的なユースケースは開発ブランチのチャンネルをテストすることだが、キャッシュによって妨げられている。

ユーザーは、flakeではないNixシステム構成でNixパッケージをテスト/ドッグフーディングするためのより良い方法を探している。

チャンネルキャッシュの根拠（例：帯域幅の削減）について疑問が提起された。

Category: learn | Likes: 15 | Replies: 3

Key Discussion Points:

Optnixは、様々なNixモジュールシステム全体のオプションを検索・評価するための新しいツールです。

ユーザーはオプションを検索し、その値をプレビューできます。

ツールのセットアップのための設定レシピが提供されています。

Category: general | Likes: 10 | Replies: 1

NixCon 2025のCall for Papers (CFP) が開始されました。Nix関連のトピックに関するトークやワークショップの応募をあらゆるスキルレベルの方向から募集しており、プロダクトトークや登壇者の参加に関する特定のガイドラインが設けられています。

Key Discussion Points:

NixCon 2025のCall for Papers (CFP) が正式に開始されました。

Nix関連の内容であれば、あらゆるスキルレベルのトークやワークショップを歓迎します。

プロダクトに関するトークも許可されますが、適切にタグ付けする必要があります。

複数の提案を提出できますが、一人につき一つのみ採択されます。

応募に関する問題については、cfp@nixcon.org でサポートが受けられます。

登壇者はNixCon 2025に参加するために有効なチケットを購入する必要があります。

Category: links | Likes: 10 | Replies: 8

NixOSサーバーが暗号通貨マイニングソフトウェアによって侵害されました。これは、Jupyter Labのような公開されたサービスが緩いセキュリティ設定で運用されていたことが原因である可能性が高いです。ユーザーは、侵害方法を特定し、今後のデプロイにおけるセキュリティを改善する方法について助言を求めています。

Key Discussion Points:

Oracle Always Free層で稼働していたNixOSサーバーが侵害され、ユーザーアカウント下で暗号通貨マイニングソフトウェア（xmrig）が実行されているのが発見されました。

ユーザーは「緩いセキュリティ」体制をとっており、複数のサービス（Minecraft、Jupyter Labなど）をインターネットに公開していました。

SSHアクセスは鍵認証のみでしたが、Jupyter Labが侵害されたユーザーで実行され、トークン埋め込みリンクで共有されていたため、ユーザーはJupyter Labが侵入経路であると疑っています。

ユーザーは侵害方法を示すログを見つけることができません。

ユーザーはサーバーの再インストール、SSH鍵の変更、および今後のセットアップでの不変性（impermanence）の利用を検討しています。

💬 Significant Discussions

Category: links | Likes: 9 | Replies: 10

ユーザーは、かつて公式NixOSダウンロードページに掲載されていたと記憶しているものの、現在ではリストにないnixos-unstable ISOのダウンロードリンクを探しています。彼らはその入手可能性、場所、または安定版インストール後にunstableチャネルに切り替える正しい方法についてガイダンスを求めています。

Key Discussion Points:

ユーザーは、公式ダウンロードページから見当たらなくなったnixos-unstable ISOを探している。

unstable ISOがまだ利用可能か、そしてどこで見つけられるかを問い合わせている。

unstable ISOが利用できない場合、安定版ISOをインストールしてからunstableチャネルに切り替えるのが正しい手順であるか尋ねている。

unstableチャネルへの切り替えに伴う追加手順について明確化を求めている。

Category: links | Likes: 5 | Replies: 10

ユーザーから、現在Debianパッケージとして提供されている電子署名関連の2つのパッケージ（arksignerおよびAkisKartスマートカードドライバー）をNixOS向けに適合させ、パッケージ化してほしいとの要望がありました。

Key Discussion Points:

特定の電子署名ソフトウェア (arksigner) とスマートカードドライバー (AkisKart) の要望。

要求されたパッケージは現在.deb形式で配布されています。

ユーザーはarksignerパッケージの重要性を強調しました。

Category: links | Likes: 5 | Replies: 10

ユーザーが.NETプログラムのパッケージ化を試みていますが、Nixpkgsで.NET Framework 4.6.2が見つからず、より新しい.NET SDKしか提供されていないため、依存関係の問題に直面しています。

Key Discussion Points:

ユーザーはプログラムのために.NET Framework 4.6.2を必要としている。

Nixpkgsは特定のフレームワークバージョンではなく、.NET SDK（バージョン8、9、10）のみを提供しているようだ。

不足している依存関係がパッケージ化中のビルド失敗を引き起こしている。

Category: links | Likes: 7 | Replies: 13

Key Discussion Points:

SSIDとPSKを直接設定にハードコーディングすると機能する。

📌 Other Topics

Category: general | Likes: 7 | Replies: 0

Cyberus Technologyは、CtrlOS製品向けに、ドイツ、スペイン、カナダの候補者を対象としたソフトウェアエンジニア（NixOS）の職を募集しています。

Key Discussion Points:

職種: ソフトウェアエンジニア（NixOS）

企業: Cyberus Technology

製品: CtrlOS（NixOS長期サポートインフラストラクチャ）

勤務地: ドイツ、スペイン、カナダ

関連求人: IT管理者（ドイツ）

Category: general | Likes: 9 | Replies: 1

Nixフォーマットチームは、進行中の課題とPRについて議論するための会議を開催しました。主な焦点は、以前の空行保持に関する課題の処理に対するチームの不満であり、その結果、新しい議論スレッドが立ち上がりました。その他のトピックには、treefmtとnixpkgsのPRの進捗、および連結のインデント解除に関するnixfmtのPRが含まれ、これにはさらなる作業とドキュメントの更新が必要です。

Key Discussion Points:

フォーマットチームは、課題#298（セミコロン前の空行保持）の処理方法について、誤解を招くシグナルとコミュニケーションの問題を挙げ、不満を表明しました。

空行保持に関する議論を再開するため、その複雑さを認識した上で、新しい課題（#308）が立ち上げられました。

treefmtの標準入力仕様PR（#586）について議論が行われ、@jflyがフォローアップするアクションが決定されました。

Category: general | Likes: 5 | Replies: 1

RFCSC会議は、活動の減少に伴いRFCプロセスをオンデマンドワークフローへ移行すること、定例会議を中止すること、および特定のRFCに関する更新を提供することに焦点を当てました。

Key Discussion Points:

RFCプロセスはオンデマンドワークフローへ移行します。

特定の要求（シェパードの割り当て、FCP）は、GitHubで@NixOS/rfc-steering-committeeをpingすることで行う必要があります。

RFCSCは引き続きRFCリストを整理し、時折レビューを実施します。

RFCSCは非同期で連携し、定例会議は開催されなくなります。

RFC 148（パイプ演算子）は現在議論中です。

RFC 181（リストインデックス構文）はドラフトに変換されました。

RFC 185（再配布可能なソフトウェアの再配布）の著者はこれ以上追求しませんが、他の人が引き継ぐことを歓迎しています。

Category: links | Likes: 5 | Replies: 6

ユーザーがNixOS上のLinuxカーネル6.15環境でNvidiaドライバー（バージョン570.153.02）のビルドエラーに遭遇しており、具体的には「GPL-incompatible module uses GPL-only symbol」というメッセージが表示されています。

Key Discussion Points:

ユーザーはnvidia-x11-570.153.02-6.15をビルドできません。

ビルドは「GPL-incompatible module * uses GPL-only symbol __vma_start_write」というエラーで失敗します。

この問題はLinuxカーネルバージョン6.15で発生します。

Category: links | Likes: 5 | Replies: 7

ユーザーがNixOSシステムのアップグレード時にビルドエラーに直面しており、具体的にはLinuxカーネル（バージョン6.15.0）とのGPL互換性エラーによりNvidiaドライバー（バージョン570.153.02）で問題が発生しています。

Key Discussion Points:

アップグレードプロセスは、Nvidia X11ドライバーのコンパイル中にエラーで失敗する。

主要なエラーメッセージは、「GPL非互換モジュールnvidia.koがGPL専用シンボル'__vma_start_write'を使用している」と示しており、これはプロプライエタリなNvidiaドライバーとLinuxカーネルのライセンス間の競合を指している。

'objtool'と'modpost'に関する警告も存在し、さらに'/etc/nixos'に対する'Git tree dirty'警告も出ている。

Category: links | Likes: 5 | Replies: 8

ユーザーから、NixOSおよびhome-managerによる適切な設定にもかかわらず、XMonadがウィンドウの移動またはサイズ変更時に誤ったカーソルテーマを表示するという問題が報告されました。この問題は、XMonadがlightdmのカーソルテーマを継承していることに関連しているようです。

Key Discussion Points:

XMonadは、ウィンドウのドラッグまたはサイズ変更時に誤ったカーソルテーマを使用します。

カーソルテーマはNixOS (displayManager/lightdm) およびhome-manager (session/user) を介して設定されています。

XMonadはlightdmに設定されたカーソルテーマを継承しているようです。lightdmにテーマが設定されていない場合、XMonadのルートウィンドウも正しいテーマを欠いています。

この問題は、個々のカーソルグリフではなく、カーソルテーマに関連しています。

問題を再現するための最小限のVM構成が提供されています。