← ホームに戻る25 件のニュース
Fix HDMI-CEC weirdness with a Raspberry Pi and a $7 cable

Fix HDMI-CEC weirdness with a Raspberry Pi and a $7 cable

## Japanese Translation: > **概要:** > Samsung S95B TV(論理アドレス 0x00)、Denon AVR‑X1700H(0x05)、Apple TV、PS5、Xbox Series X、Nintendo Switch 2、および `/dev/cec0` をリッスンする Raspberry Pi 4 が含まれるホームシアター構成で、テレビの入力にのみ切り替えるコンソールが原因となるオーディオルーティング問題を著者は解決します。 > Pi(論理アドレス 0x01)から AVR に「System Audio Mode Request」パケット(`15:70:00:00`)を送信することで、受信機は ARC を有効化し、すべてのコンソールオーディオをテレビではなく自身経由でルーティングします。 > 著者は Python スクリプト `cec_auto_audio` でこれを実装しており、長時間稼働する `cec-client -d 8` を起動し、TRAFFIC 行から Active Source イベント(オペコード 0x82)を解析し、以前に Set System Audio Mode(オペコード 0x72)が検出されていない場合に毎回ウェイク時にパケットを送信します。 > スクリプトは systemd サービス `cec_auto_audio.service` としてパッケージ化され、起動時に開始されます。これにより、多層の HomeKit/Eve オートメーションと比べて低レイテンシで軽量な代替手段を提供します。 > トラブルシューティングガイドには、スキャン(`echo "scan" | cec-client -s`)、トラフィック監視(`cec-client -m`)、および欠落オペコード(0x82, 0x84, 0x70, 0x72)の良いケースと悪いケースの比較が含まれます。 > 残るエッジケースとして、コンソールのスタンバイがテレビチューナーを起動させる場合や HomeKit オートメーションがアクティブなソースなしでテレビをオンにする場合などには、追加の状態機械ロジックが必要になる可能性があります。著者はコミュニティメンバーに対し、より広範なトラブルシューティングのために CEC パケットトレースを共有してもらうよう呼びかけています。

2025/12/16 6:37
Nature's many attempts to evolve a Nostr

Nature's many attempts to evolve a Nostr

## Japanese Translation: **要約** 人気のあるアプリケーションの普遍的な設計は、ユーザーのデータと暗号鍵を所有する単一クラウドサーバーに集中しています(「あなたの鍵がないなら、あなたのデータではない」)。この中央集権化は封建制や寡占構造を生み出します。サーバーは橋を上げてユーザーを切り離す城のような存在です。フェデレーション(例:Mastodon、Matrix)はサーバー間で通信できるようにしますが、鍵とデータは依然としてサーバーの管理下にあり、ネットワーク理論はそのようなフェデレートシステムがスケールフリー分布へ収束し、支配的なハブを生み出すと予測しています。これはGmail/ProtonMail のメール寡占や Facebook Threads の ActivityPub ノードが Fediverse を支配する現象として観察されています。 セルフホスティングは居住IPの禁止やインフラコストにより多くのユーザーが個人サーバーから離れるため、非実用的になります。ピアツーピアネットワークはユーザー所有鍵を提供しますが、拡張性、信頼できないノード、スーパーpeer の中央集権化、複雑な最終的一致メカニズム、および長い多ホップルーティング遅延に悩まされます。 Nostr プロトコルは「リレーモデル」を提案します。単純で信頼できないリレーは署名されたメッセージを転送するだけで、相互通信しません。これにより \(N^2\) スケーリング問題を回避します。ユーザーは数個(通常 2–10)のリレーユーザーに購読し、自分のデータと鍵を完全に制御でき、リレーが失敗または停止した場合でも信頼性高く離脱できます。広く採用されれば、これはユーザーに真の所有権と単一点障害への耐久性を与え、中央集権サーバーに依存する企業に対し、よりユーザー中心で分散型アーキテクチャとの競争を強いるでしょう。これにより、ソーシャルメディアやメッセージングは真の分散モデルへと再構築される可能性があります。

2025/12/11 8:54
“Are you the one?” is free money

“Are you the one?” is free money

## 日本語訳: --- ## 要約 この記事は、番組「Are You the One?」の参加者が数学モデルを用いて、最終エピソード前にほぼ確実に全ての正しいカップルを推測できる方法を説明しています。戦略的にトゥルーブースとエピソード終了時のマッチアップデータを活用することで達成されます。 - **ゲーム設定**:10人の男性と10人の女性が、色でのみ明らかになる10組の完璧なペアに分けられます。参加者はすべてのペアを正しく推測し、100万ドルを獲得します。 - **情報源**: - *トゥルーブース* は特定のペアが成立しているかどうか(バイナリ結果)を確認します。 - *エピソードマッチアップ* はそのラウンドで正しいペアの総数のみを明らかにします。 「ブラックアウト」エピソード(0件マッチ)は、そのラウンド内のすべてのペアについて否定的な情報を提供し、複数のトゥルーブースと同等の効果があります。 - **モデル**:著者は OR‑Tools の最適化フレームワークを構築し、シーズン開始時に約400万件の有効マッチング(≈4 百万)を追跡し、各イベント後に更新します。シーズン1ではエピソード8でモデルが「解読」されました。 - **情報理論**:各イベントは約1〜1.6ビットの情報量を提供します。シミュレーションでは ~1.23 bits/イベント、実際の番組データでは ~1.39 bits/イベント、最適戦略で最大 1.59 bits/イベントが得られます。全検索空間は約22ビット(10!)を必要とするため、完璧な戦略には平均して約1.1 bits/イベントが十分です。 - **結果**: - ランダムペアリングでは、カップル数に関係なく平均正解スコアは約1になります。 - 100シーズンのランダムシミュレーションでモデルを使用した成功率は74%でしたが、情報理論戦略では98%に上昇します。 - 実際の番組データ(7シーズン)では71%の成功率と約1.39 bits/イベントとなり、純粋なランダムよりわずかに優れていますが、理論的最適値にはまだ届きません。 - **今後の作業**:著者はインタラクティブなウェブツールを開発予定で、ユーザーが異なる戦略を試し、必要な情報ビット数を確認し、実際のデータとパフォーマンスを比較できるようにします。 **影響** 本研究は参加者やプロデューサーに対して効率的な質問設計のための具体的なアルゴリズムフレームワークを提供し、エンターテインメントにおける組合せ最適化とベイズ推論の実用例を示すとともに、研究者にリアルワールドケーススタディとしてさらなる探求の機会を与えます。

2025/12/12 15:47
Ideas Aren't Getting Harder to Find

Ideas Aren't Getting Harder to Find

## Japanese Translation: ``` ## Summary 最近の研究は、先進国における生産性成長の長期的な鈍化が、新しいアイデアの不足よりも、市場メカニズムが資源を効率的に配分できない弱さによるものだと示唆しています。 Bloom et al. (2020) は、研究者一人当たりの研究生産性低下(彼らの式 *Productivity = Research × Researchers* から導かれる)が鈍化を説明すると主張しますが、この見解は商業化障壁を無視しています。モーアズ・ロー(Moore’s Law)のデータは、年間35 %のチップ密度成長を維持するために半導体研究開発努力を18倍増やす必要があり(約7 %の研究生産性低下)、農業収量は年1.5 %で上昇しながらもR&D努力が6–24倍増加したことを示しており、イノベーションに対する限界報酬が減少していることを示しています。 Fort et al. (2024) は企業レベルの特許データを用いて、1977年以降R&D当たりの特許数が50 %増加し、突破的な特許当たりの費用は3倍になったことを示しています。しかしながら、典型的な特許の市場価値は時間とともに低下しており、イノベーションの商業的報酬が減少したことを反映しています。 Decker et al. は、生産性の低い企業が市場シェアを獲得していることを発見し、配分効率の低下を示唆しています。一方、Akcigit & Ates はこの減少を主にリーダー企業に追いつけない遅れた企業の失敗に起因すると述べており、これは市場権力や規制障壁による可能性があります。 この記事は、アイデアが豊富であると仮定して研究資金を拡大する政策から、競争を強化しイノベーティブ企業への報奨を促進する規制インセンティブの改革へシフトすべきだと主張しています。こうした変更は、企業がR&Dを予算化する方法、特許評価、業界の競争ダイナミクスに影響し、最終的には賃金成長と経済繁栄にまで波及する可能性があります。 ``` **Key takeaways:** - 改良された要約は、Bloom の式、モーアズ・ローおよび農業の証拠、Fort が示した R&D 当たりの特許数に関する定量的発見、および Akcigit & Ates が遅れた企業を説明した点を明確に引用しています。 - 直接的な要点で言及されていない推測的な将来政策案は除外されています。 ```

2025/12/16 9:34
Understanding Carriage

Understanding Carriage

## Japanese Translation: > **要約:** > NetflixがWarner Bros.を買収するために発表した入札は、コンテンツ制作と配信の両方を所有する完全な垂直統合型ストリーミングパワーハウスになることを目指す戦略的推進です。この動きは、Netflixがメディアの新しい「ゲートキーパー」へ進化する可能性があるという恐れを呼び起こし、過去に単一企業がエンターテインメントへのアクセス方法を支配したパターンを反映しています。 > > **キャリア**は、メディアがプロデューサーから消費者へと移動する方法と、ユーザーアクセスを誰が制御しているかを指します。歴史的に、ゲートキーピングは複数のプラットフォームで見られました:書店は一度は任意の出版社が主要な位置に本を置くことを許可しました;ラジオ局はレコードレーベルにキャリアを提供し、ペイオラは後に禁止されましたが、大手レーベルは依然としてプレイリストを支配しています;1930年代のハリウッドスタジオは劇場を所有し、独立系シネマをブロック・ブッキング契約へ強制しました;初期のテレビネットワークは独立プロデューサーが視聴される機会を制限しました。インターネットはこうしたゲートキーパーからの解放を約束し、直接出版を可能にしましたが、Google のようなプラットフォームは検索広告によって「表示料」を導入し、Amazon はオープンキャリアから有料広告を優先する方針へシフトし、非支払販売者を埋め込む形になりました。 > > **ハリウッドの懸念**は、Netflix が制作とライブラリー拡大に統合されることで、何が作られ視聴されるかを制御する単一の支配的なストリーミングプラットフォームが生まれる可能性があることです。提案された解決策は、YouTube スタイルのキャリアモデル(任意のビデオクリエイターがコンテンツをアップロードし、視聴ごとに支払う)を採用することで、アクセスを民主化することです。 > > **クリエイターへの影響**はすべてのメディアで重要です:キャリア決定は注目度の分配、文化的影響力、消費者選択肢、コスト、およびエンターテインメント業界内の競争を形作ります。

2025/12/11 9:11
Umbrel – Personal Cloud

Umbrel – Personal Cloud

## Japanese Translation: **改訂された概要** Umbrel Homeは、誰でもビットコインノードを実行し、メディアをストリーミングし、Pi‑hole®でネットワーク全体の広告をブロックし、スマートホームデバイスを自動化できるプラグ&プレイ型のホームクラウドハブです。単一のボックスからすべてが行えます。このユニットは4 TB SSDストレージ付きで、カスタムumbrelOS 1.4を実行し、ビットコインノード、オートメーション用Home Assistant、およびDeepSeek R1やLlama 3(オフラインで動作する小規模言語モデル)などのローカルAIモデルといった組み込みツールを備えています。ユーザーはNextcloudで個人ファイルを保存し、Umbrel App StoreからLightningノード、Nostrリレーなどのセルフホストサービスをワンクリックでインストールできます。デバイスは399ドルまたは月額プラン(最低4か月)99.75 / monthから利用可能で、米国国内送料無料です。追加アプリやAIモデルは後から追加できます。データをローカルに保持しプライバシー重視の設計により、Umbrel Homeはクラウドサービスへの代替として消費者に提供され、開発者には拡大するホームクラウドとブロックチェーンハードウェア市場でアプリエコシステムを成長させるプラットフォームを提供します。

2025/12/16 4:27
A kernel bug froze my machine: Debugging an async-profiler deadlock

A kernel bug froze my machine: Debugging an async-profiler deadlock

## 日本語訳: **QuestDBは、`perf_events`を介してasync-profilerがアタッチされた際にLinuxカーネル6.17でフリーズする可能性があります。** 問題の根源はカーネルのhrtimerパスです:async‑profilerは`PERF_EVENT_IOC_REFRESH(1)`でCPUクロックイベントを設定し、カウンタがゼロに達すると`hrtimer_cancel()`がブロックします。このとき自身のコールバックがまだ実行中であるため、デッドロックが発生しすべてのCPUが停止 (`csd_lock_wait()`) し、システム全体がフリーズします。これはUbuntu 25.10におけるカーネル6.17でのみ観測される挙動です。 著者はQEMU上でバグを再現しました:`/proc/sys/kernel/perf_event_paranoid` を –1 に設定し、KASLR を無効化し、ライブカーネルにGDBをアタッチして、割り込みが無効な状態で送信されるIPI(Inter-Processor Interrupt)に失敗の原因を特定しました。彼は2つの回復策―`hrtimer_try_to_cancel()` の戻り値を操作することとJavaプロセスのメモリにSIGKILL を注入してデッドロックを部分的に解消する方法―を試みましたが、いずれも実験室限定の手法です。 カーネルパッチはブロッキング `hrtimer_cancel()` をノンブロッキング `hrtimer_try_to_cancel()` に置き換え、`PERF_HES_STOPPED` フラグを追加してタイマー停止を安全に遅延させることで問題を修正します。このパッチがリリースされるまで、QuestDBユーザーは更新待ちか、async-profiler を `-e ctimer` で起動し、欠陥のある perf_events パスを完全に回避するワークアラウンドを適用すべきです。 このフリーズは対象カーネル上で高スループットのQuestDBワークロードの信頼性を脅かし、async‑profiling ツール使用時には慎重な導入と監視が必要であることを強調しています。 *改訂された要約はすべての主要ポイントを反映し、不当な推測を避け、明確で簡潔な物語を提示します。*

2025/12/16 5:52
Quill OS – an open-source, fully-functional standalone OS for Kobo eReaders

Quill OS – an open-source, fully-functional standalone OS for Kobo eReaders

## Japanese Translation: Quill OSは、楽天Kobo eReader用に設計されたオープンソースの完全機能付きスタンドアロンOSです。デスクトップ風インターフェイスを提供するKoBox X11サブシステムを組み込み、ePUB・PDF・画像・プレーンテキストのレンダリングエンジンとしてmuPDFを使用しています。このOSはWi‑Fi機能、内蔵ウェブブラウザ、EncFSによる暗号化ストレージ、ダークモード、高速辞書検索とローカルストレージ検索、組み込みVNCビューアアプリ、および10種類の事前インストールフォントを追加しています。ユーザーは多彩なオプションで読み取り設定をカスタマイズでき、デバイスは自動サスペンド機能、ロックスクリーン/パスコード保護、完全な工場出荷時リセット機能を備えています。Quill OSはシームレスなアップデートと堅牢な検索機能をサポートし、Kobo所有者に対して柔軟性・セキュリティ・生産性の向上を提供するとともに、このオープンプラットフォーム上で追加ツールを構築する開発者を歓迎します。

2025/12/16 9:22
Ford kills the All-Electric F-150

Ford kills the All-Electric F-150

## Japanese Translation: > **概要:** > フォードは、トランプ政権下での連邦インセンティブ削減と、米国新車購入におけるEV比率が約7.5%に留まっているという事実(以前の予測を下回る)を受けて、ハイブリッド、拡張航続距離電気自動車(EREV)、バッテリー駆動型モデルのバランスの取れた組み合わせへとシフトし、2030年までに売上の約50%を占める予定です。 > この戦略を実行するために、フォードは大型全電気トラックを中止します。次世代F‑150 Lightningは拡張航続距離と牽引性能を備えたEREVとなります。カリフォルニア州の「スナックワークス」スタジオから提供されるユニバーサルプラットフォーム上で、約3万ドル相当の中型電動ピックアップが2027年に登場予定で、ハイブリッドバリアントはほぼすべてのモデルに追加されます。 > 同社はテネシー州EV工場をガソリン車生産へ転換し、ユーティリティやデータセンター向けのLFP電池貯蔵事業を開始します。また、欧州市場では全電気商用バンを中止し、ルノーと提携して少なくとも2台の小型フォードブランド電動車両を共同開発。北米市場向けには新しいガソリン駆動商用バンが製造されます。 > CEO ジム・ファーレイは欧州とのパートナーシップを「手頃な中国製EVに対抗するための生存戦い」の一環と位置付け、フォードがその市場で競争しつつハイブリッドオプションを拡充し、サプライチェーンをハイブリッド部品へシフトさせる意図を強調しています。

2025/12/16 6:46
Upcoming Changes to Let's Encrypt Certificates

Upcoming Changes to Let's Encrypt Certificates

## Japanese Translation: (欠落している要素を取り入れつつ明確さを保つ)** --- ## 要約 Let’s Encrypt は **2026年5月13日** に新しい「Generation Y」ルート/中間階層を導入します。このチェーンは現在のルート X1 と X2 でクロス署名されるため、古い証明書が有効なまま即座に信頼できます。変更により、その日付で既定のクラシックプロファイルが Generation Y に自動切替され、**2026年2月頃** に TLS クライアント認証(TLS‑CA)のサポートが削除されます。TLS‑CA がまだ必要なユーザーは、2026年5月までレガシー `tlsclient` プロファイルを使用し続けることができ、その後も移行します。 `tlsserver` と `shortlived` プロファイルはすでに今週から Generation Y の中間証明書を発行しています。短期証明書はホスト名に加えて IP アドレスもサポートするようになりました。展開は CA/Browser Forum Baseline Requirements に従い、短命期間の導入を進めます:早期採用者は **2025年** に `tlsserver` プロファイルで 45 日間証明書を試すことができます;既定の有効期間は **2027年** に 64 日に減少し、**2028年** に 45 日になります。 ほとんどのユーザーは今すぐ行動する必要はありませんが、TLS クライアント認証や長期証明書に依存している組織は、2026年5月前にワークフローを調整する計画を立てるべきです。詳細なタイムラインは Let’s Encrypt のブログに掲載されており、コミュニティはその投稿を確認したりフォーラムで質問したりすることが奨励されています。 ---

2025/12/16 4:30
Chafa: Terminal Graphics for the 21st Century

Chafa: Terminal Graphics for the 21st Century

## 日本語訳: Chafa は高速で汎用性の高いターミナル画像レンダラーで、ANSI X3.64 標準を使用して静止画とアニメーション両方の画像を表示できます。JPEG、PNG、GIF(アニメーション含む)などの人気フォーマットに対応し、Sixels、Kitty、iTerm2、および Unicode モザイクという複数のターミナルグラフィックス標準へ出力します。ユーザーは複数の選択可能な範囲から Unicode 文字を組み合わせることができ、CJK サポート用に全角文字も使用できます。また、任意の FreeType 対応フォントファイル(TTF、OTF、PCF 等)からグリフを読み込み、真色 (truecolor)、256 色、16 色、または単純な前景/背景のいずれかのカラーモードを選択できます。アルファ透明度はすべてのカラーモードで機能し、アニメーションでも同様です。 Chafa は C 言語で実装され、安定した SIMD 最適化済みマルチスレッド API を提供します。モダンおよびクラシックなターミナル/ターミナルエミュレーターの両方で動作します。Python バインディング(Erica Ferrua Edwardsdóttir による)と JavaScript バインディング(Héctor Molinero Fernández による)が利用可能で、各バインディングには専用のドキュメントサイトがあります。 プロジェクトの変更ログは、一貫した性能向上を示しています(例:バージョン 1.2.0 では 75 % の高速化)、Sixels(v1.4.0)など新しいフォーマットサポート、出力幅拡大(v1.6.0)、機能拡張(v1.8、v1.14)が追加されています。ドキュメントにはコマンドラインヘルプ (`chafa --help`)、man ページ (`man chafa`)、ギャラリー例、C API ドキュメント、および Matrix チャットと公開フォーラムによるコミュニティサポートが含まれています。 今後のリリースでは機能追加と最適化が継続される見込みで、ターミナル形式互換性の拡大や色空間処理の洗練化も期待できます。開発者にとっては、Chafa のバインディングを利用することで豊富なコマンドラインインターフェースが実現し、さまざまな業界でテキストベースワークフローにおける視覚データ提示の新たな可能性を開きます。

2025/12/16 3:16
“Super secure” messaging app leaks everyone's phone number

“Super secure” messaging app leaks everyone's phone number

## Japanese Translation: ## Summary Freedom Chatは2023年にメタデータのないエンドツーエンド暗号化メッセンジャーとして発表されましたが、実際にはユーザー情報を漏洩させる重大なセキュリティ欠陥があることが判明しました。セキュリティ研究者は次の点を指摘しています: - アプリのSeald E2EEは誤って実装されており、メッセージキーは公開情報から導出可能であり、すべての暗号化されたメッセージがオープンなFirebaseバケットにアップロードされるため、トラフィック全体が読み取られます。 - メッセージは集中型サーバーに保存されており、宣伝されていた分散アーキテクチャと矛盾しています。 - チャネルの応答には各メンバーの6桁PINが平文で含まれており、デフォルトチャンネルに1,519人のユーザーがいるため、すべてのユーザーのPINが他者全員に公開されます。 - `/user/numbers` エンドポイントは電話番号を受け付け、レートリミットなしで一致するUIDとSealdキーを返します。これにより攻撃者はすべてのユーザーを列挙できます。北米の全電話番号を一括送信するスクリプトは約1日で全UIDとPINを取得しました。 - クライアントは `FLAG_SECURE` でスクリーンショットをブロックしますが、Frida(セカンダリな詳細)で無効にできます。 これらの問題を12月9日に修正した後、Freedom Chatはアプリをストアから撤回し、ブランド名を変更して「保守的サークル」をプライバシー懸念の原因と責任転嫁しました。最新情報では、同社は脆弱性を修復し、ウィーン攻撃後に監査手順を追加したと主張していますが、さらなる技術的詳細は提供されていません。 ユーザーは電話番号、PIN、およびメッセージ内容などの個人識別情報がすべてのチャネル参加者に漏洩するリスクがあります。これはプライバシー重視型メッセンジャーサービスへの信頼を損ない、堅牢な暗号化実装の必要性を強調しています。

2025/12/16 4:23
In Defense of Matlab Code

In Defense of Matlab Code

## Japanese Translation: MATLABの簡潔で式スタイルの構文は、航空宇宙、自動車、医療機器分野など安全性が重要な研究開発において引き続き高く評価されています。数式を1行書くだけでコードが1行になるため、検証が容易になります。エンジニアは、この「ホワイトボード」スタイルを好みます。なぜなら、数学記号とほぼ一致し、高度なレビュアーに対する認知負荷が低減されるからです。しかし、MATLABの閉じたライセンス付きランタイムはサーバタイムアウトやツールボックスのライセンス制限、CI/CD・Docker・クラウドパイプラインとの不適合といった課題を引き起こし、チームはモダンなツールエコシステムを備えたPythonへ移行することが増えている。 高レベルの配列構文は、形状推論や演算融合、自動GPUオフロードなど、ランタイムに強力な最適化機能を提供します。 RunMatは、MATLABの密集した構文を保持しつつ、CPU/GPU性能、コンテナ/クラウド対応、ライセンスコストゼロという特長を備えたオープンでハードウェア非依存なエンジンとして提案されます。従来のホワイトボード的コーディングスタイルを維持することで、チームはモダンインフラとの互換性とスケーラビリティを獲得できるようになり、性能重視の研究環境における新たな標準となりつつあります。さらに、厳格な安全レビューをサポートしながらオープンランタイムへ業界が移行する動きを促進します。

2025/12/13 5:13
Avoid UUID Version 4 Primary Keys in Postgres

Avoid UUID Version 4 Primary Keys in Postgres

## Japanese Translation: ## Summary PostgreSQL のランダム UUID v4 主キーは、単純な連番整数 ID と比べて性能とストレージに大きな問題を引き起こします。v4 値は非順序であるため、B‑Tree インデックスへの挿入がページ間に散らばり、頻繁なページ分割・断片化、大きめのリーフノード(約 40 % 大きい)、WAL I/O の増加、およびキャッシュヒット率の低下を招きます。研究では、時間順序付き UUID v7 または単純整数 ID へ切り替えることで WAL トラフィックがほぼ半減し、保守負荷も軽減できることが示されています。 UUID は PostgreSQL の `uuid` 型で保存される 128‑bit バイナリ値です。RFC 4122 がそのフォーマットを定義していますが、v4 は高負荷下では一意性を保証しないと記載されています。UUID は bigint(8 バイト)に対して 16 バイトのストレージフットプリントを二倍にします。また RFC 4122 セクション 6 により **暗号学的またはセキュリティ目的には安全ではありません**。 v4 の問題を緩和するには、テーブルの再パック(`pg_repack`、`pg_squeeze`)や `VACUUM FULL`、`REINDEX CONCURRENTLY` の実行、大きなメモリバッファ(`shared_buffers` をデータベースサイズの約 4 倍に設定)と `work_mem` のチューニングが必要です。Rails 開発者は `implicit_order_column` を使用するか、順序付き列でクラスタリングして局所性を向上させることもできます。 新規データベースでは 32‑bit または bigint ID を既定に設定してください。v4 を使用している既存テーブルは、新しい行だけ v7 に切り替えることで全データの移行なしに対応可能です。PostgreSQL 18+ はネイティブ `pg_uuidv7` サポートを提供します。連番または時間順序付き ID を採用することで、スケーラビリティが向上し、書き込み遅延が低減し、大規模アプリケーションの運用コストも削減されます。

2025/12/15 19:08
The appropriate amount of effort is zero

The appropriate amount of effort is zero

## Japanese Translation: --- ## 要約 著者は「真のパフォーマンスはゼロ努力、すなわち何もしないことではなく、非行動(non‑doing)から生まれる」と主張しています。彼は「過剰な努力」は活動に必要以上のエネルギーを消費する感覚であり、眉や手を無用に緊張させるなどが例として挙げられます。 Kristijan が「物を持つときに必要以上に約 40 % の力を入れていた」という観察から、アレクサンダー・テクニックの原則を適用してリラックスし、この習慣を認識するようになりました。**アレクサンダーテクニックの「Faulty Sensory Appreciation」原理**は、習慣的な過剰努力が快適さを不自然に感じさせる仕組みを示しています。 記事ではエリートアスリートの例も紹介されています: - **ケイティ・レデッキー** は世界記録破り時に「リラックスしていて驚いた」と述べ、最小限の努力で動作できていたことを語っています。 - **ライアン・ホール** はトップパフォーマーはレース後に気分が良いと勝つと指摘し、過剰な努力がパフォーマンスを低下させると示唆しています。 「ハッスルブロス」「トータルワーク」「プロテスタント・ワークエシックス」などの文化的脚本は、人々に過度な負荷へと駆り立てます。著者はまた、**『道徳経』の「自然は急げないが、すべてを成し遂げる」という引用**を用いて、自然で無理のない行動を例示しています。 記事は「努力を捨てる」日常的な実践を奨励し、動きがよりスムーズかつ正確に感じられる「甘いスポット」を見つけることを提案します。**慣れた基準以下で努力を減らす試行錯誤は奇妙に感じるかもしれませんが、適切なエネルギーレベルの認識を再調整する手助けとなります**。 個人がこれらの低努力戦略を採用すると、アスリート競技から日常業務まで、活動全般でより大きな容易さ、精度、パフォーマンスを体験できる可能性があります。これは組織や産業内に広く浸透している「ハッスル」文化に挑戦するものとなり得ます。 *非行動/無強制に関する追加リソースと、ロードトリップ中のエンジン努力に関する個人的な逸話がさらに探求できるよう参照されています。* ---

2025/12/16 5:09
Secret Documents Show Pepsi and Walmart Colluded to Raise Food Prices

Secret Documents Show Pepsi and Walmart Colluded to Raise Food Prices

## Japanese Translation: > **概要:** > > アトランタ連邦準備銀行の最新報告では、食料品店の統合が食品インフレを0.46パーセントポイント上昇させたと示されており、2006〜2020年から累積約9%の価格上昇であり、2020年以降はさらに大きくなる可能性があります。 > > 2024年1月にFTC(連邦取引委員会)は、ペプシコがウォルマートと協力して「価格ギャップ」戦略を通じて食品価格を上げたとして訴状を提出しました。これはロビンソン・パトマン法違反です。ペプシコは約900億ドルの売上高を持ち、ペプシ・コーラ、フリート・レイ、マウンテンデュー、スターバックス(ライセンス)、ゲータレード、アクアフィナなどのブランドを所有しています。彼らはウォルマートに対し、他の小売業者には提供されないローリング価格設定、さらなる割引取引、およびクーポンといった独占的な許可を与えました。他店は卸価格が高く、ペプシコは競合他社の価格(「漏れ」)を監視し、ウォルマートに対抗するディスカウントチェーンの料金を上げていました。 > > 注目すべき例として、2022年に「最悪の違反者」と指摘されたFood Lionがあります。ペプシコはFood Lionへのプロモーション支払いを削減し、卸売価格を引き上げたため、小売業者は価格を上げざるを得ませんでした。ウォルマートが食料品市場の20〜25%を占めており、ペプシコ最大の顧客であることから、FTCはこのような混乱が「重大な逆影響」を競争に与えると主張しています。 > > 訴状は2024年2月に撤回されました。これはFTC議長アンドリュー・ファーガソンがリン・カーンを公然と批判し、トランプ時代の手頃さ戦略を擁護したためです。その後、ジャッジ・ジェシー・マシュー・フーマンはFTCに対し、インスティチュート・フォー・ローカル・セルフリライアンス(ILSR)の提出書類を開示するよう命じ、公開しました。公共の反応としては、ロードアイランド州副知事サビーナ・マトスがこのような慣行の禁止を呼びかけており、両党からの圧力により訴訟再検討へと繋がる可能性があります。 > > もし訴状が継続されれば、ペプシコとウォルマートは罰金や価格戦略の変更を求められ、利益に影響し、消費者にとって食料品価格が下がり、他小売業者に競争優位性が与えられる可能性があります。この事件は1936年のロビンソン・パトマン法やグランジャー運動、ワナマーカ運動など、米国反トラスト法の長年にわたる緊張を浮き彫りにし、市場力と公正価格を規制する根本的な枠組みを示しています。 > > **主要ポイント:** > > - 重要な事実はすべて含まれている。 > - 新しい推論や曖昧さは導入されず、各主張はキー項目で直接裏付けられる。 > - 要約は明確かつ簡潔に理解しやすい。

2025/12/16 6:24
A quarter of US-trained scientists eventually leave

A quarter of US-trained scientists eventually leave

## Japanese Translation: **概要:** 米国は、海外のSTEM博士課程学生を教育することで長期的に大きな価値を得ます。多くの卒業生が帰国しない場合でも同様です。研究によれば、米国で訓練された博士の約4人に1人が卒業後15年以内に国外へ移住しますが、その特許は世界中で依然として頻繁に引用されています―引用の70%が米国内で発生し、海外ではわずか50%です。どの目的国でも、米国研究者はその国単独より5倍多くの特許引用を受け、他国全体と同等のシェアを占めます。移動パターンは分野によって異なり(生命科学では低いがAIや量子科学では高い)、しかし全体としての離脱率は数十年にわたり安定しており、国際的な人材流入という持続的傾向を示しています。これらの知見は、外国博士課程への継続的投資が米国の技術アウトプットに高いリターンをもたらし続けることを示唆しています。そのため大学は国際プログラムへの資金提供を維持または増加させるべきであり、テック企業は米国研究に根ざしたグローバル協力ネットワークから継続的な利益を期待できます。

2025/12/16 5:25
We are discontinuing the dark web report

We are discontinuing the dark web report

## Japanese Translation: ## 要約 Google は消費者アカウント向けのダークウェブ侵害監視サービスを終了し、**2026年1月15日**に新規スキャンを停止し、**2026年2月16日**までに関連データをすべて削除します。会社はレポートが限定的な実行可能なステップしか提供していないと述べており、Security Checkup、Google アカウント用パスキー作成、Google Safety Center の Authentication Tools、Google パスワードマネージャー、および Password Checkup など、より明確な保護を提供する他のセキュリティツールへユーザーを誘導しています。 既存の消費者は、最終削除前にいつでも監視プロファイルを削除できます。手順は **Dark Web Report → 「あなたの情報が含まれる結果」→ 監視プロファイル編集 → 監視プロファイル削除** の順です。さらに、「あなたについての結果」ツールでは、Google 検索結果に表示される個人情報を検索し、その削除をリクエストできます。 この監視は個人用 Google アカウントのみが対象であり、Google Workspace(ビジネス)アカウントや監督付きアカウントにはアクセス権がありませんでした。そのため、サービス終了の影響を受けません。

2025/12/15 23:56
Carrier Landing in Top Gun for the NES

Carrier Landing in Top Gun for the NES

## Japanese Translation: ## Summary ドキュメントは、ビデオゲームがプレイヤーの着陸が成功したかどうかを確認する方法について説明しています。着陸が成功するのは、シーケンス終了時に以下の3つの条件がすべて満たされたときだけです。 1. **高度** – BCDで `$3D–$3E` に格納され、100 から 299(含む)の範囲である必要があります。 2. **速度** – BCDで `$40–$41` に格納され、238 から 337(含む)の範囲である必要があります。 3. **進路** – 符号付きバイトとして `$FD` に格納されます(-32 → +32 の範囲)。0‑7 のみが許容値です。 チェックルーチンはアドレス `$B6EA` にあります。このルーチンは `CMP #$04`(高速ビット ≥ 4、すなわち 400 以上)や `CMP #$38`(低バイト ≥ 0x38、すなわち 338 以上)などの命令を使って BCD 値を比較します。条件が一つでも失敗すると、ルーチンは `$9E` に特定の失敗コードを書き込みます: - `LDX #$08` → 8(“過度に高速または高度が高い”) – 高度が範囲外の場合 - `LDX #$04` → 4(“遅すぎるまたは低速”) – 速度が範囲外の場合 - `LDX #$02` または `LDX #$04` → 2/4 は進路が 0‑7 の範囲外の場合 約1分間のフライト後、ゲームはカットシーンをトリガーし、着陸が成功したかどうかに関係なく「Mission Accomplished!」で終了します。Game Genie チートコード(`AEPETA`)を使用すると、これらすべてのチェックをバイパスして強制的に着陸を成功させることができます。

2025/12/15 23:16
I'm Kenyan. I don't write like ChatGPT, ChatGPT writes like me

I'm Kenyan. I don't write like ChatGPT, ChatGPT writes like me

## Japanese Translation: > 記事は、ケニアの正式な教育制度によって形成された文章――厳格な文構造・平行構文・接続語句・精度への重点が特徴である――を、現在の検出ツール(困難度とバーストネス指標に依存)がAI生成と誤認識しやすいという主張を展開しています。ケニア人作家はこれらの指標で低得点になるため、特に非英語母語話者に対して偽陽性が生じやすいと述べています。本稿は、この問題をケニアの植民地時代から継承された教育遺産という文脈で位置付けており、その遺産は今日でも社会的ステータスの指標として機能しています。「人間らしい」文章の狭い定義――カジュアルな誤りや米国英語の口語表現を優先し、正式な精度を軽視する―に疑問を投げかけ、開発者と教育者に対して基準を拡大し、多様な教育背景を正当な人間スタイルとして認識するよう促しています。

2025/12/15 21:12
It seems that OpenAI is scraping [certificate transparency] logs

It seems that OpenAI is scraping [certificate transparency] logs

## Japanese Translation: 以下は、提示された事実に厳密に従い、すべてのタイムスタンプを含め、推測的な表現を避けた練縮版です。 --- ## Summary Benjojo は 2025 年 12 月 12 日 20:46 +0000 に、`autoconfig.benjojo.uk` の新しい TLS 証明書を発行した後、Certificate Transparency(CT)ログでユーザーエージェント「OAI‑SearchBot/1.3」から `/robots.txt` への HTTP GET リクエストが観測されたと投稿しました。サーバーは 404 ステータスと約 162 µs の処理時間を記録しています。Wolf480pl は 20:57 +0000 に返信し、こうしたボット活動は長年一般的であること、OpenAI が特に関与しているかどうかを疑問視しました。Benjojo は 21:10 +0000 に回答し、そのリクエストが検索エンジンのインデックス化を引き起こしたと確認しました。 2025 年 12 月 13 日、Wolf480pl は CT ログでドメイン名をハッシュ化(`hash(domain, nonce)`)することで列挙リスクを減らすことを提案し、Benjojo はその日の後半に CT ログが CA 証明書とポリシーの外部検証を可能にする役割を強調しました。Wolf480pl はさらに証明書発行者の識別とドメイン列挙のデメリットについて議論し、Benjojo はドメインは公開されており、ワイルドカード証明書が露出を軽減すると反論しました。会話では DNSSEC/NSEC3 も触れられ、Benjojo は限界ケース以外での価値について疑問を呈しました。 Jamesog は 2025 年 12 月 12 日 21:09 +0000 にコメントし、新しい CT エントリを最速で拾うエンティティがどこかをサーバーログから把握できると述べました。 --- **このバージョンでカバーされた主なポイント** - すべての投稿の日付と時刻。 - ログエントリーに含まれる具体的なユーザーエージェント、ステータスコード、および処理時間。 - 参加者(Benjojo、Wolf480pl、Jamesog)の全貢献。 - ハッシュ化、ワイルドカード証明書、DNSSEC/NSEC3 に関する技術的議論を推測的結論なしに記述。

2025/12/15 22:48
Optery (YC W22) Hiring CISO, Release Manager, Tech Lead (Node), Full Stack Eng

Optery (YC W22) Hiring CISO, Release Manager, Tech Lead (Node), Full Stack Eng

## Japanese Translation: (Optery は、堅牢な個人データ保護を必要とする企業のための頼れるパートナーとして位置付けられています。サイトでは、プロモーションコード **EcuITEXG** を使用した 20 % 割引のウィンターセールを宣伝し、簡単で無料の登録フローを提供しています。「Optery for Business」スイートにはパートナーシッププログラム、Partner API、およびデモ予約が含まれ、企業向けの高品質なフォーカスを強調しています。 ページでは、クライアントストーリー、ビジネスユースケース例、「PII Removal for Execs is Not Enough」という注目記事、および「Guide to Enterprise Data Removal Services」のようなガイドが紹介されています。また、高リスクコミュニティとオプトアウトガイドに特化したセクションも設けられています。 サポートリソースとしてはヘルプデスク、ブログ、データブローカーディレクトリ、顧客レビュー、および製品アップデートフィードがあります。Optery のメディア露出は「Optery in the Press」で強調されています。全体的なメッセージは、企業が無料でサインアップし、カスタマイズされたガイドにアクセスし、パートナーAPIを統合し、継続的な製品更新とサポートを受けることで、個人データを効果的に保護できるというものです。)

2025/12/15 21:00
Show HN: A pager

Show HN: A pager

## Japanese Translation: > この文書は、ヘッダーやハンドシェイク、履歴保存を行わない「シグナルのみプロトコル」で動作するパージングデバイス **UDP‑7777_ version 2.3.1** を紹介しています。 > > 主要な詳細として以下が挙げられています: > • **シグナルコード** とその意味:`911` = 緊急、`411` = クエリ/情報、`88` = ランチ/食事、`143` = I Love You。 > • エリアコードとネットワーク種別を結びつけた **周波数マップ**:`168` → Tailscale/Mesh(広域)、`323` → Home/LAN(ローカル)、`213` → Localhost/Loop(ループバック)。 > • デバイスは **デジタル署名され、ノタリゼーション済み** です。 > > 歴史的背景として、UDP‑7777 を以前のパージングプロトコルと比較し説明しています:Bellboy(1962年、非推奨)、POCSAG(1981年、レガシー)、FLEX/ReFLEX(1993年、フェイルセーフ)。そして UDP‑7777 が **2025 年現在のアクティブ** システムであると位置づけています。 > > ロンドン救急サービスからの引用は、緊急時におけるパージャーの信頼性を強調し、軽量でインフラ依存のない通信ツールの価値を裏付けています。 この改訂要約は、根拠のない推測を加えずにすべての主要ポイントを網羅し、読者にとって明確さを保っています。

2025/12/15 2:10
Building an efficient hash table in Java

Building an efficient hash table in Java

## Japanese Translation: ## 要約 SwissTable は、Google の Abseil ライブラリから派生したオープンアドレッシングハッシュテーブル設計で、小さな「制御バイト」(メタデータ)をキー/値ストレージと分離しています。まず制御バイトをスキャンし、h1(グループ選択)と h2(制御バイトに格納されたフィンガープリント)の分割を利用することで、SIMD スタイルのフィンガープリントの一括比較が可能になり、最小限のキー比較で高速なプローブ検索が実現します。 Java では SwissMap が JDK の Vector API(`jdk.incubator.vector`)を用いてこの概念を実装しています。`ByteVector` を使用して複数の制御バイトを一度にロードし、各ベクトルを h2 マッチングと EMPTY/DELETED チェックの両方で再利用することでメモリトラフィックを削減します。制御配列の末尾にセントネルパディング領域があるため、境界チェックなしで固定幅ベクトルロードが可能です。テムストーン(DELETED マーカー)は挿入時に再利用され、カウントが閾値を超えると同容量リハッシュがトリガーされてプローブチェーンを短く保ちます。サイズ変更は新しいキャパシティに対して h1/h2 を再計算する単一の線形走査で行われ、重複作業を回避します。 SwissMap のイテレーションはモジュラーステップ置換(奇数ステップサイズ)を使用し、すべてのスロットを正確に一度ずつ訪問しながらループをタイトでキャッシュフレンドリーに保ちます。この手法は従来のハッシュマップでは使われません。 Windows 11 上で Eclipse Temurin JDK 21.0.9 と AMD Ryzen 5 5600 を使用したベンチマークでは、SwissMap は `HashMap`、fastput、Object2ObjectOpenHashMap、および UnifiedMap よりも競争力があり、高負荷率でも優れた性能を示し、小さなペイロードシナリオで最大 50 % のヒープ保持量削減を達成しました。 SwissTable はすでに Rust の `hashbrown` と Go の `map` を動かしており、最大 60 % の速度向上を提供しています。Java プロトタイプは Vector API が成熟すれば本番環境へ移行できる見込みで、現在の `HashMap` を置き換えるか補完する可能性があります。広く採用されれば、エンタープライズアプリケーションのヒープ使用量を削減し、スケーラビリティを向上させ、言語横断的にコレクション実装の新しい標準となるでしょう。

2025/12/14 2:41