Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
❄️ NixCon2025に参加した
Search
Mutsuha Asada
October 17, 2025
Programming
0
250
❄️ NixCon2025に参加した
Nix meetup #4 2025/10/17
Mutsuha Asada
October 17, 2025
Tweet
Share
More Decks by Mutsuha Asada
See All by Mutsuha Asada
Reproducible Containers (ASPLOS'20)
momeemt
0
220
🔨 小さなビルドシステムを作る
momeemt
4
1k
情報科学類で学べる専門科目38選
momeemt
0
820
❄️ tmux-nixの実装を通して学ぶNixOSモジュール
momeemt
1
580
Wasmで拡張できる軽量マークアップ言語 Brack
momeemt
0
370
❄️ NixOS/nixpkgsにSATySFiサポートを実装する
momeemt
2
540
Intel系FPGA上へのRISC-Vプロセッサの実装
momeemt
0
330
情報科学若手の会 2024 LT「WebAssemblyで拡張可能な軽量マークアップ言語の開発」
momeemt
0
51
Nixでつくるdotfiles
momeemt
1
480
Other Decks in Programming
See All in Programming
まだ間に合う!Claude Code元年をふりかえる
nogu66
5
920
AI 駆動開発ライフサイクル(AI-DLC):ソフトウェアエンジニアリングの再構築 / AI-DLC Introduction
kanamasa
11
4.6k
AIエンジニアリングのご紹介 / Introduction to AI Engineering
rkaga
8
3.5k
re:Invent 2025 のイケてるサービスを紹介する
maroon1st
0
160
Kotlin Multiplatform Meetup - Compose Multiplatform 외부 의존성 아키텍처 설계부터 운영까지
wisemuji
0
150
從冷知識到漏洞,你不懂的 Web,駭客懂 - Huli @ WebConf Taiwan 2025
aszx87410
2
3.2k
TerraformとStrands AgentsでAmazon Bedrock AgentCoreのSSO認証付きエージェントを量産しよう!
neruneruo
4
2.2k
LLM Çağında Backend Olmak: 10 Milyon Prompt'u Milisaniyede Sorgulamak
selcukusta
0
140
チームをチームにするEM
hitode909
0
420
モデル駆動設計をやってみようワークショップ開催報告(Modeling Forum2025) / model driven design workshop report
haru860
0
290
開発に寄りそう自動テストの実現
goyoki
2
1.6k
「コードは上から下へ読むのが一番」と思った時に、思い出してほしい話
panda728
PRO
39
26k
Featured
See All Featured
Automating Front-end Workflow
addyosmani
1371
200k
Impact Scores and Hybrid Strategies: The future of link building
tamaranovitovic
0
180
DevOps and Value Stream Thinking: Enabling flow, efficiency and business value
helenjbeal
1
75
職位にかかわらず全員がリーダーシップを発揮するチーム作り / Building a team where everyone can demonstrate leadership regardless of position
madoxten
54
48k
Building the Perfect Custom Keyboard
takai
1
670
We Analyzed 250 Million AI Search Results: Here's What I Found
joshbly
0
360
CSS Pre-Processors: Stylus, Less & Sass
bermonpainter
359
30k
What’s in a name? Adding method to the madness
productmarketing
PRO
24
3.8k
WCS-LA-2024
lcolladotor
0
400
AI Search: Implications for SEO and How to Move Forward - #ShenzhenSEOConference
aleyda
1
1k
Producing Creativity
orderedlist
PRO
348
40k
GraphQLの誤解/rethinking-graphql
sonatard
74
11k
Transcript
NixCon2025に参加した Nix meetup #4 2025/10/17 浅田睦葉 @mutsuha_asada
🎓 所属 ・筑波大学情報学群情報科学類 B4 🐣 興味 ・ビルドシステム ・コンパイラツールチェーン、LLVM、開発者体験 ・2年ほどNixOSとNixを利用している (2022/12~)
・OSS ・NixOS/nixpkgs: 最近お休み中です 自己紹介 2 @momeemt @mutsuha_asada @momee.mt https://momee.mt
概要 ・NixCon2025に参加した話をします ・どんな話をしていたか + 何が得られたか 📚 目次 1.NixConとは 2.NixCon 2025で話した内容の概要
3.NixCon 2025で聴いた発表 4.思い出 5.まとめ 3
1. NixConとは 4
NixConとは ・1年に1度行われる、コミュニティ主導のNixのイベント ・NixCon 2025 ・2025/09/05〜07 ・ 🇨🇭スイス Rapperswil-Jona 東スイス応用科学大学 (OST)
・さまざまなNixに関する発表やワークショップに参加できる 5
チケット代 ・個人だとチケットは€128で買えます ・ここで重要なのは、NixOS配下のプロジェクトに貢献しているユーザは無料に ・具体的な基準は年度(予算)により変わる ・コミュニティにおける投票資格(25コミット)よりは低く設定 ・コントリビュートすると... 👉 お得 ‼️ 6
▲ 急に22000円が浮いてゴキゲン
Call for papers ・NixConでは開催数ヶ月前から発表者が募集される(CFP, Call for papers) ・発表はいくつかの種目に分けられる ・LT(5分) ・Short
Talk(25分) ・Workshop(2時間)など 7 ▲ 4月くらいには今年は NixConに行くぞ!と思っていた
CFP提出① ・CFPでは発表概要のみを提出 ・その他、撮影可否、難易度など ・時間短縮されても採択されたいか? ・今年度のNixConでは採択率は約6割 ・枠もたくさんあるので気軽に出せます 8 ▲ タイトル、説明、補足など
CFP提出② ・何を出そうか? ・卒研の時間に探した先行研究で、ビルドシステムの自動エラー修復があったな... ・それをNixに適用する作業をして、上手くいってもいかなくても話そう ・5月〜8月は基本的にNixConの準備に時間を費やしていた ・先行研究の調査、データセットの作成、GNNの勉強、実装、その他... 9 ▲ 8月1日にCFP提出
CFP提出③ ・8月8日に採択通知 ・開催は9月上旬 → 準備何もしてないが...? 🤔 ・渡航1週間前に航空券確保、4日前に宿泊地確保、渡航前日にパスポート受け取り ・正気ではないスケジュールに... ・採択されるつもりで提出してください 10
▲ ダメ元で出したつもりだったので慌てる
2. NixCon 2025で話した内容の概要 11 スライド移動します
12 3. NixCon 2025で聴いた発表
聴いた発表 ・たくさん発表を聴きました ・YouTubeで見返せる発表で、面白かったものを紹介します ・ぜひ聴いてみてください 13
Rewriting the Hydra Queue Runner in Rust ・Helsinki Systemsの社員2名による発表 ・Hydra
Queue RunnerをRustで書き直した → 旧Queue RunnerはSSH接続や単一キューがボトルネックだったが 非同期通信や並列処理により解消、ビルドを捌くのが効率的に 14
Life without Kubernetes: Hosting Mirrors with NixOS ・NixOS CN Meetupの共催者による発表
・Kubernetesを使って管理していたが、2台構成の小さなインフラ環境では 複雑さが上回って嬉しくない → NixOS + systemedのオーケストレーションで解決 15
Flatpaks the Nix way ・Linux向けのパッケージ管理システムであるFlatpaksをNixで管理したい → nix-flatpakを提案 ・flatpak-state.json から状態の差分を計算してバージョン固定やロールバックを 可能にする
16
17 4. 思い出
交流① ・色々な方とお話しできました(特に、StepBroBDさん) ・OCamlPackages、vbgl氏しかメンテしてないから頑張ってくれよ〜と言われた ・僕もそう思います ・英語力はもちろんとして積極性が重要であることを感じました 18 ▲ 一緒にお昼ご飯を食べた
交流② ・日本人の方ともお会いできました ・Nix以外の設定言語を利用してsops-nixと 組み合わせて柔軟な構成を実現する ・という発表をされていた方 ・海外のカンファレンスやコミュニティにおける 日本人のプレゼンスが低すぎる、という話を していました ・いきなり発表に行ったり参加するのは 主に経済面で難しいこともありますが
ぜひnixpkgsやnix-communityに 貢献してみませんか ・渡航費については交渉の余地があります 19 ▲ 一緒に夜ご飯を食べた
交流③ ・ホテルはNixConの運営の方の交渉により比較的安価に確保できます ・実際、朝食会場でNixConのTシャツを着ている方をちらほら見かけました ・最終日に発表者の方とお話できました、とにかく交流がしやすい環境でした 20 ▲ 一緒に朝ご飯を食べた
白鳥 21 ▲ 優雅
景色 22 ▲ たくさん散歩しました
23 まとめ ・NixCon、総じてとても楽しかったのでぜひ参加しましょう!! ・学生の方は研究室が援助してくれたりグラントを獲得したりできるかも(私はこれです) ・自費で行くと、破産します泣(破産しない方は参加してください) ・Nix、nixpkgsに貢献していると話がしやすいので軽率なコントリビューションもおすすめ ・英語ができなくてもコミュニケーションを取るのは大事 ・英語はできた方がいい ・あと人と話せた方がいい 積極性 自発的に話しかける 知り合いを作る など ・Matrixで気になる人に連絡しちゃお〜と思っていたら、なんと前々日からMatrixが落ちて
連絡不可能になりました。事前にメールやSNSで連絡しておくのがおすすめ