programming Oct 29, 2026 Kubernetes + Go の中断耐性設計:ワーカー・Job・バッチ処理と Karpenter の consolidation Kubernetes 上の Go のワーカー・Job・バッチ処理を、Pod の退避や Karpenter の Consolidation に耐える形で設計する方法を kind での実測をもとに整理します。終了コードが Job の判定を左右する落とし穴や、tail sampling のようなステートフルなサービスの限界も扱います。
programming Oct 27, 2026 「情報漏洩が起きないことを数学的に保証」を手元で確かめた ―― Lean 製バックエンド Nyxis の敵対的レビュー Lean で認可の安全性を形式証明したバックエンドフレームワーク Nyxis を手元でビルドし、公開時のポストの主張を一つずつ確かめました。定理は検査を通る一方、POST リクエストの 403/201 の差から他人の下書きの有無が分かる経路を再現しています。
gadgets Oct 10, 2026 SECRID スリムウォレット レビュー|紙の財布 KAMINO から乗り換えて比較 KAMINO のスリムな二つ折り財布(紙製)から SECRID Slimwallet(Matte Black)に乗り換えたレビュー。サイズ・重量・カード収納の比較と、小銭入れを持たなくなった生活での使い勝手をまとめます。
gadgets Aug 8, 2026 5社のIoT機器をHome Assistantに束ねる——IRハブ計画が崩れて「制御=Nature・センシング=Aqara」に行き着くまで Nature・Aqara・SESAME・Tapo——メーカーがバラバラの IoT を Home Assistant に一本化した記録。Aqara を IR ハブにする計画が Matter ブリッジの制約で崩れ、制御は Nature、センシングは Aqara という二面分業に落ち着くまでの経緯と、各社の統合経路(Cloud API / Matter / Zigbee)を書きます。
gadgets Jul 17, 2026 ¥20,760の中古Tiny PCで組むHome Assistant基盤——Proxmoxと、VLANをまたぐHAの置き場所問題 ヤフオクで落とした Lenovo M920q に Proxmox VE を入れ、Home Assistant OS を VM で動かすまで。中古機の受け入れ検査、一度は「不要」と切り捨てた Proxmox に転んだ経緯、そして本題の「HA をどの VLAN に住まわせるか」問題をデュアル NIC で決着させるまでを全部書きます。