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
·
Your Podcast. Everywhere. Effortlessly.
Share. Educate. Inspire. Entertain. You do you. We'll handle the rest.
→
Mutsuha Asada
October 17, 2025
Programming
560
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
560
🔨 小さなビルドシステムを作る
momeemt
4
1.4k
情報科学類で学べる専門科目38選
momeemt
0
1.1k
❄️ tmux-nixの実装を通して学ぶNixOSモジュール
momeemt
1
1.1k
Wasmで拡張できる軽量マークアップ言語 Brack
momeemt
0
700
❄️ NixOS/nixpkgsにSATySFiサポートを実装する
momeemt
2
910
Intel系FPGA上へのRISC-Vプロセッサの実装
momeemt
0
580
情報科学若手の会 2024 LT「WebAssemblyで拡張可能な軽量マークアップ言語の開発」
momeemt
0
77
Nixでつくるdotfiles
momeemt
3
1.5k
Other Decks in Programming
See All in Programming
鹿野さんに聞く!『TypeScriptコードレシピ集』で磨く実践力
tonkotsuboy_com
4
1.1k
エンジニアにデザインハーネスを 〜デザインプロセスを規定するためのハーネス〜 / Design harness from an engineer's perspective
rkaga
2
1.6k
5分で問診!Composer セキュリティ健康診断
codmoninc
0
500
symfony/aiとlaravel/boost
77web
0
140
AIキャラアプリkaiwaの低遅延音声通話基盤をどう作ったか - AWS Gravitonで支える低遅延・低コストAI Agent基盤
mogamit
0
180
なぜ型を書くのか? TSKaigi2026で改めて考える #tskaigi_smarthr
kajitack
0
400
ITヒヤリハットを整理してみた ~ライフサイクルと原因から考える再発防止策~
koukimiura
1
110
Claude Opus 4.6以後の受託開発エンジニアの変化(Claude Code開発ノウハウ大公開スペシャルbyクラスメソッド)
iidatakuma
1
820
作るコストが小さくなった時代 幸せに働くために改めて考えたいこと 〜エンジニアとして価値を出し続けるために注視している二分野〜
yuppeeng
0
120
AI 輔助遺留系統現代化的經驗分享
jame2408
1
1.2k
使用 Meilisearch 建立新聞搜尋工具
johnroyer
0
160
【やさしく解説 設計編・中級 #4】ルールの寿命と、システムの年輪
panda728
PRO
2
160
Featured
See All Featured
Large-scale JavaScript Application Architecture
addyosmani
515
110k
Effective software design: The role of men in debugging patriarchy in IT @ Voxxed Days AMS
baasie
0
450
Taking LLMs out of the black box: A practical guide to human-in-the-loop distillation
inesmontani
PRO
3
2.3k
The Organizational Zoo: Understanding Human Behavior Agility Through Metaphoric Constructive Conversations (based on the works of Arthur Shelley, Ph.D)
kimpetersen
PRO
0
390
Collaborative Software Design: How to facilitate domain modelling decisions
baasie
1
260
職位にかかわらず全員がリーダーシップを発揮するチーム作り / Building a team where everyone can demonstrate leadership regardless of position
madoxten
64
56k
sira's awesome portfolio website redesign presentation
elsirapls
0
300
Kristin Tynski - Automating Marketing Tasks With AI
techseoconnect
PRO
0
410
コードの90%をAIが書く世界で何が待っているのか / What awaits us in a world where 90% of the code is written by AI
rkaga
62
45k
The Success of Rails: Ensuring Growth for the Next 100 Years
eileencodes
47
8.2k
A Tale of Four Properties
chriscoyier
163
24k
Embracing the Ebb and Flow
colly
88
5.1k
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で連絡しておくのがおすすめ