← 2026-03-17 の一覧へ戻るホーム
**コナ EV ハッキング**

2026/03/12 6:26

**コナ EV ハッキング**

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

元のHacker News記事へ ↗
要約▶

Japanese Translation:

概要:
著者は2019年製のヒュンダイ・コナEVを所有していた経験を記録し、"Yuppie Button" の設置や BlueLink テレマティクスの無効化、計器クラスタの除去、LEDヘッドライトの追加など、広範な改造について詳細に述べています。バッテリーマネジメント実験（完全放電、残量ゼロパックからの再充電、回生ブレーキ試験）を行い、統合ブレーキシステムを検証しました。初期の機械的問題としては、3日後にタイヤトラブルが発生し、6か月後に予備タイヤで対処、フロリダ旅行後にリアブレーキノイズを診断した事例があります。
さらに投稿では高速充電ネットワークの探索も取り上げており、時間ベースとエネルギーベースの課金差異、アプリ依存性の不具合、州規制による kWh 価格の上限、および Blink と Tesla NACS の採用批判が強調されています。2021年春には元のコナが後部衝突で全損し、新しい 2021 年モデル（更新されたバッテリーパック付き）とバックアップ用のセカンダリー EV を取得しました。
その他の調査としては、冷却水ポンプ漏れ（新型車では改善が見られる）、ドライバー側ドア周辺の水侵入があります。ロードトリップ逸話では 2022 年にニューニューブランドからフロリダへの4回の旅行を紹介し、パンデミック後にはより長距離の旅計画があると述べています。韓国でバッテリー火災リコール対象車両に対して交換パックを要求する公開手紙も送付しました。
今後のセクション（「Not yet」マーク付き）は OBD2 データとアプリ問題、冷却水ポンプ漏れ詳細、他の EV 所有者との比較、ロードトリップ物語、および保証／修理経験について扱います。著者はコナのユーザー体験がプリウスよりも魅力的ではないものの、その最適運転範囲内で驚くほど簡単に走行できると指摘しています。公共充電ネットワークの信頼性（例：フロリダ州の Electrify America）についても、将来読者のために継続的に記録されています。

この改訂された概要はすべての重要ポイントを完全に反映し、不必要な推測を排除し、主旨を明確かつ曖昧さのない表現で提示しています。

本文

概要

これは私のコナEV体験を時系列で追った生きたタイムラインです。
まだ未完成のセクションは [Not yet] と記載しています。

現在の状況

  • 自宅充電設定 – 完了。必要部品はすべて揃い、さらに入荷予定。
  • 車両受け取り＆初期ハック – 購入直後に実施済み。
  • バッテリ管理実験 – メインバッテリーを“ゼロ”まで放電し、完全充電。
  • 安全改造 – ユーピー・ボタン設置、BlueLink無効化。
  • 車体下部検査 – 冷却ポンプ漏れと駆動系の状態を更新。
  • 計器盤除去 – 小さなノイズ問題を解消済み。
  • 走行経験 – 定期使用確認。再生ブレーキ挙動も記録。
  • タイヤ管理 – スペアタイヤ対策実装し、ロードトリップ自信獲得。
  • 高速充電研究 – オシロスコープデータ取得。価格モデルを批判。

詳細タイムライン

フェーズハイライト
購入前自宅給油インフラ調査、車両探索・購入完了
受け取り後初期ハック、充電シナリオテスト、12 V補助バッテリー理解
Day 3最初のタイヤ問題解決 → 車輪・ブレーキ詳細調査へ
バッテリ放電試験車をゼロにし、完全充電。 “救急充電”テスト記録
安全アップグレードユーピー・ボタン設置、BlueLinkテレマティクス無効化
下部作業National Drive Electric Weekディスプレイ用に開放。冷却漏れ・駆動系確認
計器盤除去走行中の小音問題を処理
走行 vs 分解活発な走行と再生・ブレーキ解析を両立
シフタエルゴノミクス“パーク”ボタン誤操作減少へ調整
高速充電批判ビジネスモデルの欠陥発見。請求とアプリ依存性を指摘
内装検査運転席側ドア開封し、水害評価
スペアタイヤ取得OEMキット以上の信頼できる解決策発見 → 長距離走行可能に
ロードトリップ準備ワイパーカウルとクラック防止策検討。スリーパー計画作成
ヘッドライトテストLEDオプション試験、ハロゲンバックアップ維持
リコール対応韓国でのバッテリー火災懸念についてディーラーへ手紙送付

第2章 – 2021以降

  • 衝突＆交換 – 2019年モデルが後部衝突で全損。2021年モデルに交換、より安全なバッテリーパック搭載。
  • 二次EV – 移行期間中のバックアップ用に別電気自動車取得。
  • タイヤ・ブレーキ問題 – フロリダ旅行で新コナがタイヤ不具合。後輪ブレーキの擦れ音調査。
  • 充電ネットワーク課題（2022‑2023） | サイト障害、Blink信頼性低下、Tesla NACS推進、アプリ依存批判 | | Electrify America体験 | フロリダ休日中に不満足なサービス |

未完了セクション

セクションステータス
OBD2データ＆アプリ課題[Not yet]
冷却ポンプ漏れ探索（2021）[Never mind – 2021 has better pumps]
他EVオーナーとの比較[Not yet]
ロードトリップストーリー[Not yet]
保証／修理課題[Hopefully never!]

次のステップ

  • 新たな発見と経験を継続的に記録。
  • 進展があれば未完了セクションを更新。

ご覧いただきありがとうございます！

同じ日のほかのニュース

一覧に戻る →

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 を送信してもらい、継続的な関与を促しています。