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
610
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
600
🔨 小さなビルドシステムを作る
momeemt
4
1.4k
情報科学類で学べる専門科目38選
momeemt
0
1.1k
❄️ tmux-nixの実装を通して学ぶNixOSモジュール
momeemt
1
1.1k
Wasmで拡張できる軽量マークアップ言語 Brack
momeemt
0
750
❄️ NixOS/nixpkgsにSATySFiサポートを実装する
momeemt
2
960
Intel系FPGA上へのRISC-Vプロセッサの実装
momeemt
0
610
情報科学若手の会 2024 LT「WebAssemblyで拡張可能な軽量マークアップ言語の開発」
momeemt
0
79
Nixでつくるdotfiles
momeemt
3
1.7k
Other Decks in Programming
See All in Programming
kubernetes コンポーネント開発入門 / 新卒N年目の勉強会&交流会!〜〇〇への誘い〜 #n_study
mazrean
0
150
Claude Codeを組織的に動かして月400PRを実現した話
happy_ryo
0
250
Discordを用いたラボオートメーション関連情報収集の自動化
noguhiro2002
0
490
数年滞っていたダークモード対応をおよそ2週間で完了させる
chigichan24
0
440
【デモ】Kiroで体験する仕様駆動開発|設計からコーディングまでAIと進める開発フロー
cmkudo
0
550
GKE アップグレード前に知っておきたい Blue/Green と PDB の関係
stkk
0
130
まずはプロンプトガイドを読もう、話はそれからだ
kiakiraki
1
250
PyO3 で既存 Python 評価器を Rust core 化する ー wasm-bindgen でブラウザにも配るための設計
kdash
1
280
Seeing Through Serverless: Observability for AWS Lambda with ADOT and CloudWatch Application Signals
seike460
PRO
1
110
AWS Step Functions 大規模並列の壁を越える / jaws-sonic-2026-niigata-step-functions
kasacchiful
PRO
0
230
Can LLMs Replicate 4 Years of Compose Migration? Exploring the boundaries of automation with 279 XML files from a real product
makun
0
130
私のClaude Code活用法 (個人開発編) - PHPerKaigi mini #4(2026/08/24)
panda_program
1
200
Featured
See All Featured
AI: The stuff that nobody shows you
jnunemaker
PRO
9
960
Build your cross-platform service in a week with App Engine
jlugia
234
19k
AI Search: Implications for SEO and How to Move Forward - #ShenzhenSEOConference
aleyda
1
1.4k
The Director’s Chair: Orchestrating AI for Truly Effective Learning
tmiket
1
290
SERP Conf. Vienna - Web Accessibility: Optimizing for Inclusivity and SEO
sarafernandez
2
1.6k
Sam Torres - BigQuery for SEOs
techseoconnect
PRO
0
510
Dealing with People You Can't Stand - Big Design 2015
cassininazir
367
27k
Building a Modern Day E-commerce SEO Strategy
aleyda
45
9.2k
Google's AI Overviews - The New Search
badams
0
1.6k
Why Our Code Smells
bkeepers
PRO
340
58k
技術選定の審美眼(2025年版) / Understanding the Spiral of Technologies 2025 edition
twada
PRO
120
120k
Money Talks: Using Revenue to Get Sh*t Done
nikkihalliwell
0
480
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で連絡しておくのがおすすめ