コンテンツへスキップ
Ryota Ikezawa

フナイログ

買わない後悔のほうがきっと大きい

ガジェット・仕事道具・乗り物、そして技術についても綴る個人メディア。 シンプルで気分を上げるモノやエンジニアリングの知見を紹介しています。

最新の記事

「情報漏洩が起きないことを数学的に保証」を手元で確かめた ―― Lean 製バックエンド Nyxis の敵対的レビュー
programming

Lean で認可の安全性を形式証明したバックエンドフレームワーク Nyxis を手元でビルドし、公開時のポストの主張を一つずつ確かめました。定理は検査を通る一方、POST リクエストの 403/201 の差から他人の下書きの有無が分かる経路を再現しています。

Home AssistantにNature Remoなど5社のIoT機器を束ねる:IRハブ計画が崩れて「制御=Nature・センシング=Aqara」に行き着くまで
gadgets

Home Assistant に Nature Remo(HACS 統合)・Aqara・SESAME・Tapo など 5 社の機器を束ねた記録。Aqara を IR ハブにする計画が Matter ブリッジの制約で崩れ、制御は Nature、センシングは Aqara という二面分業に落ち着くまでの経緯と、各社の統合経路(Cloud API / Matter / Zigbee)を書きます。