Devops
CI for dotfiles, Too — Verifying a Destructive Installer's Idempotency in Both an Ubuntu and a Kali Role
The Day My Dev Environment Stops Being Reproducible I keep my development environment in a single script. Shell configuration, prompt, terminal …
dotfiles にも CI を — 破壊的インストーラの冪等性を Ubuntu と Kali の二役で検証する
自分の開発環境が、ある日再現できなくなる 開発環境を1本のスクリプトにまとめている。シェル設定・プロンプト・ターミナルマルチプレクサ・言語ランタイム・クラウドCLIを、./setup_env.sh 一発で入れる。最終的に 1,358 行になった。新しいマシンでも、OS を入れ直した後でも、同じ環境が …
「秘密が漏れない」を Lean で証明して CI ゲートにした Rust CLI のリリースパイプライン
「テストが緑」で満足できなかった理由 エージェントに本物の API キーを渡さずに動かす CLI ツールを開発している。守りたい性質はシンプルで、子プロセスに本物の鍵を渡さないこと。ここが崩れれば、このツールを使う意味はない。 ただ、テストが通っているだけでは確認として物足りなかった。テストが言える …
A Rust CLI Release Pipeline That Proves "Secrets Don't Leak" in Lean and Turns It Into a CI Gate
Why “Tests Are Green” Wasn’t Enough I’m building a CLI tool that runs agents without ever handing them a real API key. The …
Codifying a Homelab with Ansible — Fail-Closed Defense-in-Depth Infrastructure
Turning my whole home server into code To run an AI-agent platform on my home server (homelab), I hand-built the entire stack: container runtime, …
homelab を Ansible でコード化する — fail-closed な多層防御インフラ
自宅サーバを丸ごとコードにした話 自宅サーバ（homelab）で AI エージェント基盤を動かすために、コンテナランタイム、ネットワーク分離、暗号化DNS、カーネル緩和、監査ログまで一通り手で組んだ。動くには動いたのだが、ひとつ不安が残った。OS を入れ直したとき、同じものをもう一度作れる自信が無か …