Lean で認可の安全性を形式証明したバックエンドフレームワーク Nyxis を手元でビルドし、公開時のポストの主張を一つずつ確かめました。定理は検査を通る一方、POST リクエストの 403/201 の差から他人の下書きの有無が分かる経路を再現しています。
KAMINO のスリムな二つ折り財布（紙製）から SECRID Slimwallet（Matte Black）に乗り換えたレビュー。サイズ・重量・カード収納の比較と、小銭入れを持たなくなった生活での使い勝手をまとめます。
Nature・Aqara・SESAME・Tapo——メーカーがバラバラの IoT を Home Assistant に一本化した記録。Aqara を IR ハブにする計画が Matter ブリッジの制約で崩れ、制御は Nature、センシングは Aqara という二面分業に落ち着くまでの経緯と、各社の統合経路（Cloud API / Matter / Zigbee）を書きます。
ヤフオクで落とした Lenovo M920q に Proxmox VE を入れ、Home Assistant OS を VM で動かすまで。中古機の受け入れ検査、一度は「不要」と切り捨てた Proxmox に転んだ経緯、そして本題の「HA をどの VLAN に住まわせるか」問題をデュアル NIC で決着させるまでを全部書きます。
UCG Fiber + U7 Pro の2台構成で、家族・IoT・来客を VLAN で3つに分離した賃貸2LDKのネットワークを組みました。SSID 設計の考え方、IoT 15台を2.4GHzに隔離した結果のチャネル使用率、有線と Wi-Fi 7（6GHz）の4点実測、そして「AP のアップリンクが知らぬ間に1Gに落ちていた」事件まで全部書きます。
NURO 光 1G から en ひかりクロス with v6 プラス（MAP-E）10G へ乗り換えました。ISP の選定基準、申込から開通までのタイムライン、UniFi ゲートウェイでの MAP-E 終端、30日分の実測データ、乗り換え組が必ず戸惑う「WAN が KDDI 表示になる」問題まで全部書きます。
同棲スタートの引っ越しをClaude Code × Todoist MCPで管理。AIに洗い出させたら9セクション103タスクが生え、各タスクに手順・期限・価格まで埋まっていた体験記です。
ファーストキャリアはネットワークエンジニア。そこからアプリ側のSWEを10年やって、また基盤側のSRE/Platform Engineerへ戻る。一周して気づいた「基盤を提供する面白さ」と、キャリアをどう考えているかを書きました。
賃貸マンション2LDKへの引越を機にスマートホームを本格導入。壁内配線不可の制約下で、ネットワーク・IoT・リモートアクセスの全体像とフェーズ導入の考え方をまとめました。
シリーズ Part 3。完走したクラスタで etcd backup/restore (Tier 1 B) と CoreDNS 手動 deploy (Tier 1 A) を行う。CoreDNS が READY 0/1 で停滞した原因は Hard Way 2024 公式テンプレート 2 ファイル間の Service CIDR 不整合 (G25) という、上流バグだった。lima 関係なく踏む。