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
Sponsored
·
SiteGround - Reliable hosting with speed, security, and support you can count on.
→
Mutsuha Asada
October 17, 2025
Programming
620
0
Share
Embed
Copy iframe code
Copy JS code
Copy link
Start on current slide
❄️ NixCon2025に参加した
Nix meetup #4 2025/10/17
Mutsuha Asada
October 17, 2025
More Decks by Mutsuha Asada
See All by Mutsuha Asada
Reproducible Containers (ASPLOS'20)
momeemt
0
610
🔨 小さなビルドシステムを作る
momeemt
4
1.5k
情報科学類で学べる専門科目38選
momeemt
0
1.1k
❄️ tmux-nixの実装を通して学ぶNixOSモジュール
momeemt
1
1.1k
Wasmで拡張できる軽量マークアップ言語 Brack
momeemt
0
750
❄️ NixOS/nixpkgsにSATySFiサポートを実装する
momeemt
2
980
Intel系FPGA上へのRISC-Vプロセッサの実装
momeemt
0
620
情報科学若手の会 2024 LT「WebAssemblyで拡張可能な軽量マークアップ言語の開発」
momeemt
0
79
Nixでつくるdotfiles
momeemt
3
1.7k
Other Decks in Programming
See All in Programming
GKE アップグレード前に知っておきたい Blue/Green と PDB の関係
stkk
0
140
typoなんかねぇよ
raspython3
0
660
週末にAI-DLCを本気で回したら$1,600溶けた
hbashimizu
0
120
初心者DevRelとして参加者だった私が、DevRel Talks!#2に登壇するまでにしてきたこと
sokohirai
0
330
AWS Step Functions 大規模並列の壁を越える / jaws-sonic-2026-niigata-step-functions
kasacchiful
PRO
0
290
Flow は今どうなっているか
mizdra
PRO
0
870
Swift愛好会100回記念 第1回を振り返る
jollyjoester
0
100
高専キャリア LT 発表内容
crysta1221
6
5.5k
LoopHub - ローカルで動く GitHub で、AI と共同開発
jugyo
0
360
Can LLMs Replicate 4 Years of Compose Migration? Exploring the boundaries of automation with 279 XML files from a real product
makun
0
130
AIは賢い。でも実行環境は? CLIおじさんがAI時代に伝えたいこと ~ CLIおじさんがAI時代に伝えたいこと ~
curekoshimizu
1
120
AI時代に学ぶ 好きなルール 嫌いなルール Linter編
shorty5121
0
800
Featured
See All Featured
Introduction to Domain-Driven Design and Collaborative software design
baasie
1
970
Leo the Paperboy
mayatellez
8
2.2k
Code Review Best Practice
trishagee
74
20k
Evolution of real-time – Irina Nazarova, EuRuKo, 2024
irinanazarova
9
1.5k
Bioeconomy Workshop: Dr. Julius Ecuru, Opportunities for a Bioeconomy in West Africa
akademiya2063
PRO
1
340
How Software Deployment tools have changed in the past 20 years
geshan
1
34k
The State of eCommerce SEO: How to Win in Today's Products SERPs - #SEOweek
aleyda
2
11k
B2B Lead Gen: Tactics, Traps & Triumph
marketingsoph
0
230
svc-hook: hooking system calls on ARM64 by binary rewriting
retrage
2
550
RailsConf 2023
tenderlove
30
1.5k
職位にかかわらず全員がリーダーシップを発揮するチーム作り / Building a team where everyone can demonstrate leadership regardless of position
madoxten
69
65k
Building Experiences: Design Systems, User Experience, and Full Site Editing
marktimemedia
0
590
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で連絡しておくのがおすすめ