← 2026-03-17 の一覧へ戻るホーム
Home Assistant は、私の植物に水やりを行います。

2026/03/12 19:19

Home Assistant は、私の植物に水やりを行います。

RSS: https://news.ycombinator.com/rss

元のHacker News記事へ ↗
要約▶

Japanese Translation:

著者は、Proxmoxを実行しているBeelink EQ14 Intel Twin Lake N150ミニPC（$259 NZD）にHome Assistant (HA) を設定し、6ゾーンの灌漑システムを稼働させる手順を詳細に説明しています。

ハードウェアとVMセットアップ – Beelinkは500 GB SSD、ギガビットイーサネット、16 GB RAM を備えており、HA はコンテナではなく VM 内で動作するため USB パススルーを使用して Zigbee デバイスを接続できます。NVMe ドライブの既知のブート問題は、NVMe ディープスリープ（

nvme_core.default_ps_max_latency_us=0
）を無効にすることで緩和されます。

MQTT と灌漑 – Proxmox コンテナ内の MQTT ブローカーが Link‑Tap Q1 4ゾーンゲートウェイと通信します。水やりスケジュールは天候駆動で、プッシュ通知をトリガーし、HA ダッシュボードにリアルタイムステータスが表示されます。

Zigbee センサー – SONOFF ZBDongle‑P ゲートウェイと気候・土壌水分・湿度センサーは別のコンテナで zigbee2mqtt を介して接続します。バッテリーセンサーはメッシュ問題により時折失敗します。

リモートアクセスとバックアップ – Cloudflare Tunnel + WARP VPN（著者の Zero Trust アカウントに限定）により安全な遠隔 HA アクセスが可能ですが、セッションが時々期限切れになるためやや煩わしいです。Proxmox のバックアップスケジュールは VM とコンテナ用に設定されていますが、冗長性のための外部ディスクはまだ未実装です。

将来計画 – 著者はメディアサーバー、エネルギー使用センサー（ソーラーパネル付き）、Zigbee メッシュ信頼性の向上、およびプランターや温室への灌漑拡張を予定しています。また、このシステムで育てた野菜とハーブの写真で庭をドキュメント化します。

この改訂版要約はすべての重要ポイントを保持し、不要な推測を避け、曖昧さのない明確な情報提示を実現しています。

本文

読者の中には知っている方もいらっしゃいますが、ほとんどの方は知らないでしょう。私は自称フーディーです。料理を楽しむことが好きで、特に他人がそれによって喜びを感じるとき—友人・家族・近所付き合い、あるいはその三者すべて—こそ最高です。この投稿の主題は食べ物ではありませんが、私が語る多くのことの根底にあります。そこには熱意とともに少しのオタク精神も混ざっています。

職場では、同僚が Home Assistant（HA）を扱っているところがあります。ご存知でない方へ簡単に説明すると、HA はデバイスからデータを収集し、それらを制御し、自動化を実行するためのプラットフォームです。非常にクールですよね。私は未経験でしたが、聞いただけでも十分魅力的でした。さて、解決策は見つかりました。次は問題点を探す段階です。

私の敷地には芝生用の基本的な灌漑システムがあります：6 つのゾーンで、適切なホースをタップに接続し、忘れるまで流せば良いという単純な構成。全ては順調ですが、もっとスマートで安全な方法があると感じました。これが HA を使って解決した最初の課題でした。

システム要件

  • シンプル – 過度な電子機器を必要としない
  • 安全 – 24 時間連続水漏れは許せません
  • 低コスト – 費用対効果を重視
  • 拡張性 – 将来のアイデアに備える
  • 可観測性 – 正しく動作していることを確認できる
  • 自律運転 – 人の介入なしで稼働
  • クラウド依存回避（HA ユーザーの一般的な要望）

最も難しかったのはハードウェア選定でした。サーバー構築をしたくないので、市販品で十分です。私は Beelink EQ14 Intel Twin Lake N150 を選びました：500 GB SSD、ギガビット Ethernet、16 GB RAM、適度な CPU。価格は 259 USD（ニュージーランドドル）。HA と数個のコンテナにとってはオーバースペックですが、将来のプロジェクト（メディアサーバー等）に余裕があり、消費電力も抑えられます。

灌漑用には、水流を制御できる機器が必要でした。カスタム電子部品を水辺近くに置かないようにしたいので、Link‑Tap を選択しました。クラウドクライアントとして動作させても、ローカル MQTT サーバーと連携しても OK です。Q1 の 4 ゾーンユニットを購入し、届いたら Link‑Tap アプリとクラウド統合でテスト。すべて完璧に機能しました。数日間の灌漑スケジュールを実行して動作確認を済ませました。

次に Beelink に Proxmox をインストールし、Home Assistant を VM としてセットアップしました（Linux コンテナよりも USB デバイス（Zigbee など）を後でパススルーできる方が良いと判断）。これで HA は稼働開始。

その後、Proxmox 上に MQTT ブローカー用コンテナを作り、Link‑Tap ゲートウェイを接続。水流センサーやスイッチは即座に HA に表示されました。

灌漑の自動化では、毎朝実行するよう設定し、天気予報（雨が降るなら停止）も考慮しました。また、ゾーンが点灯したときにプッシュ通知を送る自動化も追加しました。

Zigbee

家中・屋外でさまざまなセンサーを設置するアイデアが好きでした。SONOFF ZBDongle‑P（32 USD）を購入し、zigbee2mqtt を別コンテナで稼働させました。まず部屋の気候センサーから始め、次に土壌水分・湿度センサー（AliExpress の安価なバッテリーデバイス）を追加。気候センサーは信頼性が高いですが、土壌センサーは報告頻度が不定です。Zigbee リピーターを増やせば堅牢なメッシュネットワークになると考えていますが、ニュージーランドで認証された消費者向けデバイスは見つかりませんでした。

遠隔アクセス

HA へリモート接続しつつ他サービスを隠すために、Cloudflare トンネルと WARP VPN を組み合わせました。ゼロトラストアカウント内からのみ接続許可するよう設定しています。大部分は機能しますが、セッションが切れた時の若干の摩擦があります。それでもほぼ問題ないです。さらに、Home Assistant CarPlay アプリでは運転中に灌漑コントロールも可能で、面白いですね。

バックアップと信頼性

Proxmox の VM とコンテナを自動バックアップ設定しました（冗長化のため外部ディスクはまだ必要）。ミニ PC が NVMe ドライブを認識せず起動できない奇妙な問題がありました。

nvme_core.default_ps_max_latency_us=0
を有効にして深睡眠を無効化したことで解決しました。もしこれで改善しない場合は、低品質 SSD の可能性があるため交換または Beelink への戻す必要があります。

今後の計画

  • メディアサーバーを導入し、テレビにアクセスできるようにする
  • エネルギー使用量センサー（太陽光パネル導入予定）を追加
  • Zigbee メッシュネットワーク問題を解決
  • プランター用の灌漑ライン拡張や温室建設

緑の写真集

  • フラットリーフ＆カールド・ペルシャ
  • パクチョイ、春ネギ、レタス、ビーツ
  • トマト、パプリカ、ズッキーニ
  • タラゴン、コリアンダー、チャイブ、タイム、セージ、ローズマリー
  • ズッキーニ（再び）
  • フラワーリフトベッド
  • ストロベリー！

同じ日のほかのニュース

一覧に戻る →

2026/03/17 5:59

MistralがLeanstralをリリース --- (※「Leanstral」はそのまま固有名詞として扱います。)

## Japanese Translation: --- ## Summary Leanstral は **Lean 4 専用に設計された最初のオープンソースコードエージェント** であり、Apache 2.0 ライセンスの下でリリースされ、重みファイルをダウンロードできるほか、一時的な無料 API エンドポイント（`labs-leanstral-2603`）と公開された技術レポートがあります。 このモデルは **証明工学タスクに最適化された非常にスパースな 6 B‑パラメータアーキテクチャ** を採用し、Lean を完璧な検証器として活用した並列推論を実現しています。モデルは **lean‑lsp‑mcp データセット** 上で訓練されており、Mistral Vibe 経由で任意の Model‑Composed Pipelines（MCP）をサポートします。 **FLTEval** で評価すると—FLT プロジェクトにおける形式的証明の完了と新概念の定義をベンチマークし、単独の数学問題ではなく実際のタスクを測定する—Leanstral‑120B‑A6B は **pass@2 スコア 26.3 と pass@4 スコア 29.3** を達成し、GLM5‑744B‑A40B（≈16–20）や Kimi‑K2.5‑1T‑32B よりも優れた性能を示しています。Claude 系列モデルと比較すると、Leanstral は **$36 で pass@2 スコア 26.3** を達成し、Sonnet の $549（スコア 23.7）に対して同等の性能です。また **pass@16 スコア 31.9 が $531** で得られ、Sonnet の $8,031.9 と比較しても大幅に低価格です。Claude Opus 4.6 モデルは依然として最高品質ですが、$1,650 という価格は Leanstral の同等スコア時の費用の約 90 倍以上になります。 実際のケーススタディでは、その実用性が示されています： * Lean 4.29.0‑rc6 の破壊的変更を診断し、`def` と `abbrev` 間の定義等価性問題を特定して正しい修正案を提示し、ユーザーに説明しました。 * Princeton の CS 441 コースから Rocq 定義を Lean に変換し、カスタム記法を扱い、証明が提供されていないプロパティも自動で証明しました。 Leanstral は **Mistral Vibe** に統合されており、ユーザーは `/leanstall` エンドポイントを呼び出してゼロセットアップのコーディングと証明を行えます。一時的な API エンドポイント（`labs-leanstral-2603`）はフィードバックと観測データ収集のために利用可能です。ユーザーはモデル重みをダウンロードし、Leanstral をローカルで実行したり、Mistral Vibe にサインアップして完全なドキュメントへアクセスすることもできます。 この軽量かつコスト効果の高いツールは、開発者や研究者が形式的検証ワークフローを加速させるために活用でき、コミュニティへの貢献と学術界および産業界での広範な採用を促進します。

2026/03/17 3:12

Meta、jemallocへの再挑戦を強化

## Japanese Translation: ``` ## Summary Meta は、Linux カーネルや Meta のインフラストラクチャ内のコンパイラなど重要なコンポーネントを動かす高性能メモリアロケータである jemalloc に注力することを決定しました。この移行は長期的なメリットに基づいており、保守コストの削減、コードベースの近代化、および進捗を遅らせていた技術的負債の排除が目的です。今回の取り組みの一環として、オリジナルのオープンソース jemalloc リポジトリはアーカイブから外されました。 主な改善領域は以下の通りです： - **技術的負債削減** – 効率と信頼性を向上させるためにクリーンアップとリファクタリングを実施。 - **Huge‑Page Allocator (HPA)** – CPU の効率化を図るためにトランスペアレントヒュージページ（THP）の使用を改善。 - **メモリ効率** – パッキング、キャッシュ、およびパージング機構の最適化。 - **AArch64 最適化** – ARM64 プラットフォームでのアウト・オブ・ザ・ボックス性能を確保。 Meta はオープンソースコミュニティに貢献を呼びかけ、jemalloc の将来ロードマップを共に形作ることによって、Meta 自身のソフトウェアユーザーとこのアロケータに依存する広範なエコシステム双方に利益をもたらすよう促しています。 ```

2026/03/17 2:17

小さなWebは、あなたが考えているよりもずっと大きいものです。

## 日本語訳: **概要** 本文は、**「小さなウェブ」― 通常のブラウザとサーバーでアクセスできる非営利・個人向けサイトが依然として膨大かつ活発だが、1 ページだけでまとめるにはあまりにも大きい」という事実を説明しています。** - **背景**：Gemini プロトコルは世界中に約 6,000 のカプセル（capsule）という独自のエコシステムを持ち、そのフォーラムには主に IT 専門家で構成される約 100 名が参加し、商業的利用は推奨していません。 - **手法**：著者は Kagi が公開する更新フィードを配信しているサイトのリストを使用しました。このリストは昨年の約 6,000 件から今日では約 32,000 件に増加し、多くはプライベートブログや企業がホストするサイト（例：Blogger）です。 - **フィルタリングプロセス** 1. 各フィードをダウンロードし、タイムスタンプと有効な XML があることを確認した結果、約 25,000 サイトに絞られました。 2. 月間更新が 1 回未満のサイトを除外すると、約 9,000 のアクティブサイトが残ります。 - **結果**：3 月 15 日時点でこれら 9,000 サイトは 1,251 件の更新（主に新しいコンテンツ追加）を生成し、過去の日付とほぼ同程度です。毎日の更新量を見ると、単一ページの集約は非実用的であり、小さなウェブはその規模と活発さからそのような表示には不向きです。 - **結論**：サイズが大きいにも関わらず、小さなウェブは成長を続け、主流プラットフォームに対する広告なしの代替手段として機能します。 - **行動喚起**：著者は読者に対し、このページへの参照 URL を含む Webmention を送信してもらい、継続的な関与を促しています。