2025/12/27 4:13

私のインスリンポンプコントローラはLinuxカーネルを使用しており、GPLにも違反しています。

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

要約▶

Japanese Translation:

要約

ユーザーは2021年からInsulet社のOmniPod Dashインスリンポンプを使用しているタイプ1糖尿病患者で、InsuletとそのOEMパートナーNuuがGPL v2に違反し、デバイスのPatient Display Module（PDM）用に必要なLinuxカーネルソースコードを提供しないと主張しています。PDMはレガシーLinuxカーネル3.18.19上でAndroidシステムを実行しており、中国製電話プラットフォーム（Nuu A1+）のリブランド版で動作しています。Insuletエンジニアに何度も要求が送られましたが、両社は法的またはポリシー上の理由を挙げてソースコードの提供を辞退しました。PDMにはAVBやパーティション検証機能がなく、MicroUSB経由でmtkclientを使用してフラッシュできるため、8年以上前のカーネルとAndroid Marshmallowに伴うセキュリティリスクがあります。ユーザーは約2年間ソースコード取得を試みており、これは医療機器に対するGPL違反と見なしています。継続的にコンプライアンスを要求し、問題が解決されない場合には法的措置を検討すると述べています。

本文

ここでだけでも吐き出したいので、何か変化が起こるのではないかと思って話します。

私は1型糖尿病でインスリンに頼っています。2021年からは針を使うのが面倒だったため、Insulet の OmniPod Dash ペンプ（注射器なし）を使用しています。このペンは「PDM」と呼ばれるデバイスで制御されており、いくつか余分に持っています（特定のユニットに不具合があった後や電池リコールの際に交換機材を入手しました）。約2年前から古いスマートフォン向けにカスタム ROM を開発していたので、余っている Dash PDM の1つを見てみることにしました。そこで何かが分かったのです。

それは Android で動いており、Linux カーネルを使っています。

uname -r

を実行すると 3.18.19 が表示されます――医療機器としては驚くほど古いバージョンです。その後、GPL‑v2 ライセンスの下でソースコードを提供する義務があるはずなので、Insulet にカーネルソースを求めました。数通のメールを送っても返事はありませんでした。

PDM のハードウェアは中国製スマートフォン「Nuu A1+」を再ブランドしたものです。Nuu に問い合わせたところ、返信は一行だけで「お問い合わせありがとうございます。ただし、現在ご提供できません」とだけ書かれていました。GPL の義務を指摘すると、「また今回もお渡しできません。エンジニアに連絡しますが、来週中頃まで返事が得られないでしょう」と言われました。私は同意しましたが、一週間後には「残念ながら送付できません」という答えでした。

それからほぼ2年経ち、Nuu と Insulet からの追加回答は一切ありません。

正直に言うとこれには腹立たしさを感じます。GPL 違反自体が問題なのですが、医療機器であることがさらに悪いんです。何千人もの人々がこのデバイスに命を賭けているのに、カーネルソースを

.tar.gz

1 ファイルとして作成し、ホストして送るだけなのに、Insulet と ODM の Nuu は拒否します。8 年以上 EOL（End Of Life）となっているカーネル 3.18 と Android Marshmallow（7 年前にサポート終了）を使い続けているデバイスは大きなセキュリティホールです。さらに、ソースコードを共有しないという事実が疑わしさを増しています。

Insulet が「どんなコストを払ってもカーネルソースを提供できない」理由は何でしょうか？

また、カーネルソースとは無関係ですが、PDM には AVB（Android Verified Boot）やその他のパーティション検証機能がありません。MicroUSB ケーブルと

mtkclient

のコピーさえあれば誰でも好きなファームウェアを書き込めます。他のサブレディットで PDM をルートする方法を公開しています。50 ドル台のスマホにこのような脆弱性がある一方、210 億ドル規模の企業が基本的なセキュリティ対策を施せない現状は馬鹿げています。

Insulet とその GPL 違反について広く知ってもらいたいです。最初に問い合わせてからほぼ2年戦い続け、何も得られませんでした。次に取るべき行動がわかりません。

追記: 多くの人は ODM（Nuu）が中国企業であるため運がないと言いますが、それは誤解です。Insulet は米国企業であり、カーネルソースにもアクセスできています。彼らは多くの変更を加えており、2022 年頃にハードウェアリビジョン（私は十分な PDM を持っているため確認できます）で Nuu A1+ のブートイメージが動かなくなる改修が行われました。これは Insulet が独自のブートローダとカーネル変更を追加した証拠です。

同じ日のほかのニュース

一覧に戻る →

2025/12/27 2:13

**原文：** 「How uv got so fast」 **改訂（整理済み）：** 「How did UV get so fast?」 **日本語訳：** 「UVはなぜそんなに速くなるのですか？」

## Japanese Translation: ``` ## Summary uv は Rust のみを利用するよりも、モダンな設計選択とパッケージング標準を採用しているため、pip より優れています。不要なオーバーヘッドを伴うレガシー機能（.egg サポート、pip.conf の読み込み、デフォルトのバイトコードコンパイル、system‑Python インストールの許可、厳格な仕様準拠、requires‑python の上限無視、複数インデックスが設定されている場合に最初のインデックスを選択）を削除することで、uv は不要なコードパスを排除します。さらに、HTTP レンジリクエストによる部分的な wheel ダウンロード、並列ダウンロード、ハードリンクまたはコピーオンライト可能なグローバルキャッシュ、ネイティブ TOML パース、および効率的な PubGrub 依存関係解決器を使用してインストール速度を加速させています。Rust は rkyv によるゼロコピー逆シリアライズ、ロックフリーの同時実行データ構造、単一静的バイナリであるためのインタプリタ起動コストゼロ、および高速比較/ハッシュのためのコンパクトな 64‑ビットバージョン表現を提供します。 Python のパッケージングは、setup.py スクリプトがインストール時に実行される必要があったため遅くていました。PEP 518–658 の導入によりメタデータが宣言的フォーマットへ移行し、PyPI 上の Simple API（2023年5月以降利用可能）が有効になりました。uv は 2024 年2月にリリースされ、初日からこれら新しい標準を活用しています。影響は大きく、開発者は依存関係をより迅速にインストールでき、軽量な環境を構築できます。これは、Python エコシステム全体で最新のパッケージング標準を完全にサポートするツールへの広範な移行を促進する可能性があります。 ```

2025/12/23 23:51

2025年の最高アイテムとおすすめ

## Japanese Translation: ## Summary 2025年、著者はハンス・ボーマーの再帰的実数計算法や日本漫画カフェドキュメンタリー『マンブー』などの注目すべきIT・テック発見で生産性の高い一年を達成しました。彼はClojureのcore.asyncとJDK 21バーチャルスレッド、結合型関数言語Juxt、WordPressからMarkdown／org-mode静的サイトパイプラインへの移行についての技術ブログを複数公開しました。また、ブラジルで開催されたClojure/conjとClojure South Brazilという二つの主要なClojureカンファレンスに参加し、コミュニティの影響力を強調しました。色分けされた月次マトリクスを備えたスプレッドシートベースのタスクトラッカーが導入され、著者のミニマリストでシステム思考的アプローチを反映し、専用プランナーよりもスプレッドシートを好む姿勢を示しました。プログラミングはClojure（16年にわたるフルタイム作業）に集中しつつ、Joy、Clojerl、Scittle、Javaによるコンパイラ開発も探索しました。 2025年にはゲーム・フィクション・システム思考に関するエッセイなど非技術的なアウトプットが増加し、2026年にはさらに多くのフィクションとカードゲームルールを企画しています。著者の「人生を変えるテクノロジー」主張はZettelkastenメモ取り法の採用に集約され、新しい非技術的投稿が可能になりました。大規模言語モデル（LLM）との広範な実験は限定的な実践的利益しか生まれず、問題設定とソクラテス対話における欠点を批判しています。また、本年には好きな本（例：『オシリスの目』、『ナルキッサスとゴールドマン』）、音楽、映画、ポッドキャスト、テーブルトップゲームの厳選リストも含まれました。2026年を見据えて、著者は非技術的執筆を増やし、カードゲームルールを発表し、Clojure 1.13を進化させ、物理アーティファクトを作成し、未翻訳の本を読み、Goodnotes、Antinet、Booxなどのツールを使ってテックラダーを洗練する予定です。すべてはミニマリストでシステム志向のワークフローを維持しながら行われます。この要約は元のリストからすべての主要ポイントを取り込み、推測を避け、明確な主旨を提示し、曖昧または混乱する表現を排除しています。

2025/12/27 8:09

「テキストに常に賭ける」

## Japanese Translation: ## Summary テキストは、これまでに発明された中で最も強力で多用途かつ信頼性の高い通信技術であり、可能な限り常に選択すべきです。約5,000年間安定した媒体として存在し、その長寿を示す耐久的な遺物が残っています。テキストは比類のない柔軟性を提供します：正確な意味を伝えることができる一方で、暗黙の文脈も許容するため、文学・歴史・哲学・数学・論理学・プログラミング・工学・注釈学・ファンフィクションに不可欠です。他のメディアと比べてテキストは格段に効率的であり（例：5 kB のブログ投稿がより大きな画像と同じ情報量を持つ）、電信・電子メール・チャット・ウェブなど後続技術を可能にしました。テキストは一対一、一対多、多対多のあらゆる社会的相互作用をサポートし、検索性・索引化・翻訳・非同期性・アルゴリズム処理（例：差分検出や要約）が可能です。また、多者編集、分岐会話、注釈付け、引用、構造化応答、およびレビューも許容します。著者は、テキストが通信・データ保存・アルゴリズム処理の基盤メディアとして残ると信じており、その幅広さ・深さ・スケーラビリティに匹敵するフォーマットは他に存在しないと述べています