そっか～ニュース
記事を読んで、気分はそっか～。

これまでに Claude.md が存在しない場合、Claude Code は現在 AGENTS.md を読み取るようになりました。

さらに 100TB のメモリーを節約

## Japanese Translation: Cloudflare は、トラフィックの分散に常時ハッシュリング（consistent hashing）を処理する Pingora バックエンドルーターの一部である `pingora-ketama` コンポーネントの最適化により、メモリ使用量を成功裡に削減しました。変更前に、システムはサーバーごとに過剰なハッシュエントリを格納しており、コンプライアンスとキャッシュの必要性により数十個の別々のハッシュリングが生じる場合があり、一部のケースでは 6GB に達することもありました。統計解析により、サーバーあたりに単一のハッシュのみを使用すると深刻な不均衡（変動係数約 99%）が発生し、業界標準デフォルトはハッシュ数を約 160 としていることが示されました。数学的な導出により、32 ビット値に対して 10,000～100,000 ハッシュを超えると追加容量が限界に達し衝突リスクが増大することが確認されました。エンジニアは、サーバーごとの生成されるハッシュ数を 90% 削減しても分布誤差が大きくならないことが安全に確認できました。構造レベルでは、完全な構体（struct）全体を 8 バイトのインデックス（`u32`）と、4 バイトのハッシュを圧縮された生バイト配列形式に置き換えることで、エントリあたりのメモリ使用量を 25% 削減しました。新コードは、非公開の機能フラグを通じて段階的に導入され、旧バージョン（大リング）と新バージョン（小リング）が共存可能となっています。ロールアウトは小規模な検証ロケーションから始まり、グローバルなキャッシュ churn を回避し安全な移行を確保するよう層状に行われました。これらの変更により、サーバーあたりのハッシュ生成数を 90% 削減し、グローバルメモリ消費量を 100TB 以上削減することで、コスト効率、信頼性、ロールバックの安全性を向上させました。

クラウドフレイク・クイックトンネル

## Japanese Translation: 本テキストは、アカウント、DNS 設定、または開放ポートを必要とせず、開発環境向けに安全なパブリック URL を瞬時に生成する強力なコマンドラインツールを紹介しています。Cloudflare のグローバルインフラストラクチャを活用することで、このソリューションは 335 都市以上に対応し、構築済みの TLS と DDoS 保護を備えた即時のアウトバウンド専用暗号化接続を提供します。このアプローチは、`npm run dev` などのツールのエンドポイントを一貫して共有しながら既存のコードベースを変更しないようにすることで、開発者のワークフローを簡素化します。 処理は約 3 秒で完了し、構造化された JSON（ホスト名、エッジロケーション、ヘルスステータスを含む）として URL をコンソールに直接印刷して簡単なパースを可能にします。重要なのは、これらのトンネルは一時的で、ホスティングプロセスが停止すると自動的に終了し、手動での片付けを必要としないことです。この設計により、シンプルな JSON ホスト名を用いて、Webhook（例：Stripe、GitHub）、コーディングエージェント、および人間によるブラウザからローカルサービスへとの統合を容易にします。最終的に、これは内部マシンを公開する際の課題を解決し、Anycast ルーティングを介して最近のエッジノードへと接続することで不要なオーバーヘッドなしに、プライベートの localhost アプリケーションとパブリックインターネットの間で効率的な橋渡しを提供します。

キャッシュ間の通信：LLM の直接的な意味コミュニケーション（2025）

## Japanese Translation: 本論文は、大規模言語モデル（LLM）間の直接的な意味通信のための新しいパラダイムであるキャッシュ・トゥー・キャッシュ（C2C）を導入する。これは、中間テキストの交換ではなく内部メモリ状態を融合させることで実現される。このアプローチは、トークン単位のテキスト生成によって引き起こされるレイテンシおよび情報損失を克服する。C2C は、専門化したニューラルネットワークを用いてソースモデルの KV キャッシュとターゲットモデルの KV キャッシュを投影および融合し、有益なターゲット層を選択するための学習可能なゲート機構を取り込み、明示的な中間テキストを使用しない。オラクル実験により、KV キャッシュの意味情報を富ませることはキャッシュサイズを増やすことなく応答品質を改善することを示した。実証的に、C2C は個別のモデルと比較して平均精度が 6.4–14.2% 高く、テキスト通信パラダイムよりも約 3.1–5.4% 優れたパフォーマンスを発揮する。効率性の観点では、テキストベースのプロトコルと比較してレイテンシで平均 2.5 倍のスピードアップを実現している。コードは提供された URL で利用可能であり、提出物にはバージョン v1（金曜、2025 年 10 月 3 日、484 KB）とバージョン v2（月曜、2026 年 3 月 2 日、546 KB）が含まれている。

光子放出誘導レーザーフォルトインジェクションが RP2350 のセキュリティ強化デバッグを可能にします

## Japanese Translation: 研究者らは、Raspberry Pi RP2350 マイコンコントローラーのハードウェア欠陥を特定した。この欠陥は、攻撃者が安全に無効化（OTP メモリによる）された後に、デバッグアクセスを恒久的に再有効化するのを可能にするものである。この攻撃は、980 nm レーザーの故障注入と光子放射マイクロscopy（PEM）を組み合わせて、「レスキューリセット」ウィンドウ中に DEBUGEN レジスタ内のビットを精密に操作するものであり、ファームウェアが OTP ページ 48 にランタイムロックを適用する前に実行される。不完全な強制パスを悪用することにより、攻撃者は Secure Boot、TrustZone、グリッチ検知器、ロックビットなどの保護措置にもかかわらず、永続的なデバッグ無効フラグを上書きし、Secure-world デバッガー機能へのアクセスを復元できる。RP2350 は、Cortex-M33 または Hazard3 を搭載したデュアルコア MCU であり、パブリックキーのフィンガープリントや冗長符号化（例：8 のうち 3 の投票）など、セキュリティ構成を OTP に格納している。攻撃には、チップの背面をデキャプスルするための直接的な物理的アクセスと、約 25 万ドル分の実験室設備、洗練された PEM 分析が必要であり、主に国家レベルのアクターに限定されるが、堅牢なセキュリティは、OTP ストレージから変更可能なレジスタ、そしてリセット動作に至るまで、全体としての強制チェーンの整合性を必要付けると示している。この発見は 2026 年 7 月 28 日に Raspberry Pi に開示され、物理的にハードニングされたデバイスでも、特定の執行パスが厳格に保護されていない限り脆弱性を持つことを強調するものである。

[Show HN] サカサス・ニードル 3：8〜29MB の自動化モデルが、DeepSeek V4 Flash と同等の性能を発揮する

## Japanese Translation: Anthropic が Needle 3 を発表しました。これは、モバイル機器、ウェアラブル機器、自律型ロボット、スマートホーム、自動車システム、マイクロコントローラー、およびコンピュータ向けに特化して設計された基盤モデルです。Needle 3 は、Novel Simple Attention Network に「Intelligence laddering」を組み込んだ新規アーキテクチャを基盤としており、大幅に小さなバイナリ重みファイル（9 MB から 29 MB の単一バイナリ重み）において高いパフォーマンスを実現します。サブネットワークの構成は 2 レイヤーから 20 レイヤーまで対応可能です。 Needle 3 は標準的なトランスフォーマーモデルと比較して 2 倍以上の効率性を発揮し、トークンあたりの MFLOPs を削減しつつ、より大型のモデルと同等かそれ以上の性能を発揮します。モバイル環境でのツール呼び出しでは、10 倍サイズのモデルを上回り、抽出タスクでは 2〜3 倍サイズのモデルと同等のパフォーマンスを示します。Raspberry Pi 5 などのハードウェア上では、デコード速度が 400〜4k トークン/秒、プリフィル速度が 1〜10k トークン/秒を達成します。 このモデルには組み込みの信頼性ゲート機能を備えており、すべての回答にキャリブレーションされた信頼度スコアが含まれます。0.1 未満の呼び出しは推測を防ぐために自動的に抑制され、高いスコアの場合はカスタムルーティングロジックを実行できます。また、アプリ定義から関数を自動的に選択し、ユーザー入力から引数を埋め込み、多段階の要求に対して順次ツール呼び出しを実行するか、該当するツールがない場合空リストを返します。構造化されたタスクでは、文法を用いて雑多なテキストを入力型フィールド（例：請求書、フォーム）へ変換し、パース可能であることを保証する出力を生成します。抽出および分類の両方をサポートします。 Needle 3 はインターネット接続なしでもオンデバイスでローカルベクトルを生成し、意味的検索、ツールルーティング、ニア・duplicate アラートの統合に利用できます。オフラインでのスマートホーム制御、高精度なロボットナビゲーションおよび移動コマンド、ウェアラブル機器からのデータ読取、車内での自動車コマンド、デバイス動作（写真撮影、警報）、そして自然言語によるコンピュータ制御をサポートします。入力はテキストプロンプト、ツール定義、または抽出スキーマとして受け付けられ、出力はツール呼び出しや抽出フィールドを含む構造化された JSON フォーマットとなります。 開発者は Cactus Platform を通じてモデルをカスタマイズでき、特化したサブネットワークを作成し、フル深さのトレーニングパイプラインを用いてデータセット上でファインチューニングが可能です。プラットフォームには評価ツールの提供も行っています。ツール呼び出しアプリの使用におけるベストプラクティスには、1 つのアクションにつき 1 つのツールを定義する、Enum オプションをユーザーの表現に合わせて命名し、必須だが欠落している引数のデフォルト値を提供し、正しいルーティングを保証するためにトリガー/意図（intents）を使用することが含まれます。

オープン・イェヴ

## Japanese Translation: SemIf は、外部バックエンドサーバーを一切必要とせずに语义推論モデルを個人の GPU 上で直接実行する画期的なライブブラウザ実験を導入します。このアーキテクチャにより、ユーザーはデフォルトのデスクトップパフォーマンス最適化済みの MiniCPM5 2B パラメータバージョンから、モバイルデバイス向けに特別に設計された Qwen3 0.6B のような小型オプションまで、モデルサイズとバリエーションを簡単に切り替えることができます。4B モデルも利用可能ですが、それにははるかに多くのメモリが必要です。Hugging Face から重みを調達し、wllama（ピン留めされた GGUF ビルドを使用）を使用してローカルで管理することで、システムは機密入力がユーザーのページを離れないようにし、プライバシーを最優先としています。最初のロードでは、ネットワーク速度、ハードウェア能力、モデルサイズ（デフォルトでは約 1.56 GB）に応じて数分かかる場合があります。 このプロジェクトは技術的に二つの異なる運用方法を比較しています：直接ロジット読み取り（02A）、これはテキストデコードなしで生の確率スコアを抽出し、JSON 生成（02B）、これはモデルがオプション分布を読める JSON テキストとして書き出すものです。性能は、102行の公開サブセットにおける大文字小文字一致の TypeSafe（等価ケース同意）や、公表済みの値である Jev のような指標を使用して厳密にベンチマークされています。また、準備、ウォームアップ、入力、出力、および最初のトークンを含む壁時計指標は、結果を事前に用意したものを使用せずに performance.now() によってキャプチャされています。ただし、ユーザーは直接ロジットスコアが表示されたオプショントークンのみに関するsoftmaxを表し、完全に校正された確率ではなく未校正の信頼度値であることを留意する必要があります。結局のところ、この革新は、デスクトップ開発者からモバイルユーザーに至るまで、高精度と厳格なデバイスメモリ制約の間での実用的なトレードオフを提供します（wllama による量子化効果を含めて）。

言語的不可読性がもたらすLLMセキュリティへの影響

## Japanese Translation: 本論文は、大規模言語モデル（LLM）が本質的に「言語的不可読性」を有していると論じている。すなわち、活性化空間における内部の数学的操作は、完全に言語によって表現されることはできないためである。この理由から、モデルからの言語的自己報告に依存するセキュリティ機構（思考連鎖の監視や憲法的自己批判など）は根本的に妥当性が欠け、すでに安全チェックを迂回させるために悪用されてきた。このような脆弱性を是正するために、本論文ではモデルの出力の解釈に依存しない非言語的な検証手法の採用を推奨している。具体的に提唱される防護策としては、「汚染追跡（taint tracking）」によるデータフローの監視と機微なシステム状態の分離、ならびに堅牢なバーチャル化環境とサンドボックス設定に対するサードパーティ監査などが挙げられる。これらの隔離技術は、境界モデルによる攻撃を防ぎ得る安全性の臨界基準を確立するために不可欠であり、脆弱な言語的監視の下に保護的な床を形成するものとして位置づけられている。

C++26：単純化された無限ループも未定義動作ではなくなります

## 日本語翻訳： # まとめ C++26 は、P2809R3 を導入し、`while (true);` のような単純な無限ループがコンパイラによって沈黙的に削除されるのではなく、予測可能に動作するようにします。以前はこれらのループは未定義の振る舞いとして扱われており、Clang などのコンパイラによって完全に最適化・削除されてしまうことがしばしばあり、これにより予期せぬプログラムの実行や、ソフトウェアが破損した状態で停止せず継続して動作するというセキュリティ上の問題を引き起こすものでした。この問題を解決するために、新しい規格ではループ本体を `std::this_thread::yield()` の呼び出しに再定義し、C++ による前方進歩保証に必要なようにスレッドがその作業を続行することを確保しています。bare-metal システム上で動作する組み込み開発者は、ハードウェアが yield の欠如に依存している場合、わずかな変化を察知する可能性があります。しかしながら、この変更によりコードは正しく停止するか、プラットフォーム間で一貫した動作を示すようになります。セキュリティエンジニアは、これらのループが消滅することに基づく脆弱性を有するものは、コンプライアンスのあるビルドでは現在解決済みであることを留意してください。開発者は、完全な規格化に達する前に、より古い C++ モードにも既にこの論理を適用することが可能です。 ## 元本文： The original summary is already clear and comprehensive; therefore, I repeat it as-is: ## Summary: C++26 introduces Proposal P2809R3 to make simple infinite loops, such as `while (true);`, behave predictably instead of being silently removed by the compiler. Previously, these loops were considered undefined behavior, often causing compilers like Clang to optimize them away entirely. This led to unexpected program execution or security issues where software continued running in corrupted states rather than halting. To fix this, the new standard redefines the loop body to call `std::this_thread::yield()`, ensuring the thread continues its work as required by C++'s forward progress guarantee. While embedded developers on bare-metal systems might see slight changes if their hardware relies on missing yields, the shift ensures code halts correctly or behaves consistently across platforms. Security engineers should note that vulnerabilities relying on these loops disappearing are now resolved in compliant builds. Developers can already apply this logic to older C++ modes before full standardization is reached.

100年ぶりとなる新たなネコ科動物種が初発見

## 日本語訳: 科学者たちは、新しい野生のネコ科動物の種、*Leopardus tilcayo*（チルカヨ豹）を正式に確認し、チーターネコ属（虎豹猫属）の発見が長らく停滞していた状況に終止符を付け、*Leopardus*属に対する理解を根本的に再定義しました。この発見の背景には 2017 年まで遡ります。当時、生物学者のパオラ・ノガレス＝アスカルンズ氏（Paola Nogales-Ascarrunz）は、ボリビアの森近くの道路で地元の人によって見つかった子猫を入手しました。その後、彼女はボリビアのスブトロピカルなウンガス生態系（アンデス山脈の東側斜面）にあるセンド・ベルデ野生動物保護区にてその動物を撮影し、計 100 枚の写真を取得しました。当初は *Leopardus tigrinus*（虎豹猫）と見做されていましたが、ノガレス＝アスカルンズ氏は 2019 年頃、この個体の毛並みのローゼットがブラジル近隣国からの参照写真よりも著しく大きく、かつ小ぶりの丸まった顔、短い丸い耳、長い口ひげといった独自の性状に気づきました。今日発表された『Current Biology』誌に掲載された研究により、これは過去 100 年以上（1923 年のパンパスネコ発見以来）にわたって新たに発見された唯一のネコ科動物種であり、単なる亜種ではないことが確認されました。リオグランデ・ド・スルカトリック大学のエduardo Eizirik氏を含む研究チームは、完全ゲノムを持つ 38 個体を用いたゲノム解析を行い、*L. tilcayo* が他の虎豹猫と約 140 万年前に分岐したことを示しました。これは、現代のライオンと絶滅した洞窟ライオンの間の進化的分岐距離と同程度のものです。この種はスペイン語やケチュア語で特定の意味を持たないが、ボリビア人らによって使われていた地元の言葉「チルカヨ」にちなんで命名されました。現在なおもこの種の食性、天敵、繁殖についてはほとんど研究されていません。本研究では、ペルーにおける新たな亜種（*Leopardus tigrinus antisuyo*）の同定に加え、マーゲイが実際には 4 つの異なる種を構成する可能性を示唆しています。こうした再分類は、各分類群あたりの推定個体数を減少させ、保護優先順位を変更するとともに、これらの気まぐれな動物がいなくなったり誤って分類されたりする前に専門家による発見と保護を促すものです。小型野生ネコ類保存財団のジェームズ・サンダーソン氏をはじめとする専門家らは、高度なゲノム分析法を用いることで、アフリカやアジアにもさらに多くの隠された種が発見される可能性が高いと考えています。本研究工作はネイチャー・グラフィック協会（およびジョエル・サルトールの『フォト・アーク』プロジェクト）によって資金提供されました。なお、ノガレス＝アスカルンズ氏が初めてネコに出会った年に関する前回の報告では事実が修正されています。

C#におけるサイコマティック・コンプレキシティ

## Japanese Translation: 本文では、Thomas J. McCabe 氏が 1976 年に提案したサイクロマティック複雑度（CC）が定義され、コード内の線形に独立した実行経路を数えるメトリクスとして説明されています。これはグラフ理論を用いて計算され、分岐コンストラクト（`if`、`while`、`for`、`case`、論理演算子など）から主に派生しており、計算式は $1 + E - N + P$ です。特定の C# キーワードがスコアを増加させますが、それらはパターンマッチング内部を含むものに限られます。一方、`else`、`return`、`do`、スイッチ（キーワード自体）、`try`、`finally`、メソッド呼び出しなどはスコアに寄与しません。ただし、`switch` 文はそれぞれの `case` と `default` についてカウントに加算されます。複雑さを管理するためには、リファクタリング手法を採用すべきであり、具体的には「メソッド抽出」、「ガード節（早期リターン）」、「多態性」、「スウィッチ式表現」、「ルックアップテーブル」、そしてブール型パラメータの使用を避けることが挙げられます。業界での閾値はさまざまで、McCabe 氏はモジュールを 10 を超える場合に分割するよう提言し、Microsoft の CA1502 はスコアが 25 を超える場合にフラグを立て、Mark Seemann 氏は天井として約 7 を推奨しています。リスクプロファイルは単純（1–10）からテスト不可能（>50）まで範囲をなします。測定および変化に伴う複雑度増加に対するデルタベースの警告に役立つツールとしては、NDepend（ライブラリメソッドの IL 解析能力を含む）、Visual Studio、Roslyn アナライザー、ReSharper が挙げられます。さらに、CRAP スコアの式 `(CC^2 * uncov^3) + CC` は、高い CC に低いカバレッジを組み合わせることで重大な負債となることを示しています。結局のところ、正確な CC の測定は、完全なパスカバレッジを確保するためには必要なユニットテスト数の下界として機能します。これにより、複雑な非同期操作や LINQ 操作において `await` がカウントされない場合でも、十分なテストが実行されることを保証できます。 ## Text to translate: The text defines Cyclomatic Complexity (CC), introduced by Thomas J. McCabe in 1976, as a metric counting linearly independent execution paths within code, calculated via graph theory ($1 + E - N + P$) and primarily derived from branching constructs like `if`, `while`, `for`, `case`, and logical operators. Specific C# keywords increment the score, including those inside pattern-matching, whereas others such as `else`, `return`, `do`, `switch` (the keyword itself), `try`, `finally`, and method calls do not. However, a `switch` statement adds to the count for each `case` and `default`. To manage complexity, developers should employ refactoring techniques such as Extract Method, Guard Clauses (Early Return), Polymorphism, Switch Expressions, Lookup Tables, and avoiding Boolean parameters. Industry thresholds vary: McCabe suggests splitting modules above 10, Microsoft's CA1502 flags scores over 25, and Mark Seemann recommends a ceiling of around 7. Risk profiles range from simple (1–10) to untestable (>50). Tools like NDepend (including its ability to analyze library methods via IL), Visual Studio, Roslyn analyzers, and ReSharper assist in measurement and delta-based warnings for complexity increases during changes. Furthermore, the CRAP score formula `(CC^2 * uncov^3) + CC` highlights that high CC combined with low coverage is a significant liability. Ultimately, accurate CC measurement serves as a lower bound for required unit tests to ensure full path coverage, even in complex async or LINQ operations where `await` does not count.

韓国、データ漏洩制裁金を引き上げ年売上高の10％に

## Japanese Translation: 韓国は、小売、通信、医療などの分野で大規模なデータ侵害が増加したことを背景に、企業の責任を劇的に強化するため、個人情報保護法を改正しました。最も重要な変更点は、ランサムウェア攻撃などの「潜在的な侵害」がまだ完全に確認される前でも、企業に対して 72 時間以内に関者への通知を義務付けることです。この緊急速きんのタイムラインは、以前に比べ個別の個人がより早期に保護措置を講じられることを可能にするものです。 罰金上限は、故意または重大な過失により数百万人の個人情報に影響を与えるケースで年間収益の 10％まで引き上げられました（以前は 3％に上限があった）。ただし、能動的なセキュリティ投資や早期の発見・報告によって大幅な減額が認められるのみです。大規模組織では、主務官（プライバシー責任者）の採用または解雇には取締役会の承認が必要となり、その変更については個人情報保護委員会（PIPC）への報告も義務付けられました。本立法は結局のところ、根本的なマインドセットの転換を促しています：データ保護は désormais 反応的コストとは見なされず、予防的な投資とされるようになりました。将来的なコンプライアンスは、違反が発生する前に企業が堅牢な内部システムと専任のセキュリティ人材的存在を示せるかに完全に依存します。これにより、プライバシー管理が事後対応ではなく業務計画の一部として統合されることを確保します。

SpaceXがRaptorエンジンでどのように製造プロセスを合理化したか

## Japanese Translation: スペースXのラプター3エンジンはスターシップ宇宙船にとって画期的な進化を意味し、2016年における初回の点火試験から始まり、2023年には実機の打ち上げ推進装置として運用されるに至っています。新しいバリエーションでは、Velo3Dから2024年にライセンスを取得した高度な3D金属印刷技術を用いて複雑な配管を内部に配置し、滑らかな流線型の外観を実現しています。この設計により、重量のある外部の熱シールドや火災抑止システムを省略でき、ラプター1に比べて約35%高い推力を実現しています。外観はシンプル化されていますが、エンジン自体は非常に効率の高い「フルフロー staged combustion」アーキテクチャを維持しつつ、エロン・マスク氏が確認した大幅な内部改設計を行っており、具体的にはターボ機械の小型化、バルブをプレートに統合化、ボルト固定フランジを溶接接続に置き換えるなどです。ファンの作成した図面には、初期プロトタイプから現在のバージョンまでの進化が示されていますが、公式の詳細情報は依然として乏しい状況です。しかし、この野心的な改訂版は、7月に行われた最初のスターシップ飛行試験において複数のエンジンで点火失敗が発生し、T-0で自動的に中止されるという致命的なトラブルに直面しました。これらの信頼性の問題を引き続き解決することは、広範な展開および全球宇宙探査目標の達成のために不可欠です。

コンウェイの予想に関する証明の概略を投稿した

## Japanese Translation: AI エージェントが、全位分整数（ab = cd とする特定の分解条件を意味する）に関するジョン・コウウェイの 50 年にわたる改訂予想を解決し、これは標準的なプロンプトではナンセンスや拒絶に終わるような重大な初期の失敗を乗り越えた後の大きなブレイクスルーである。このプロジェクトは約 400 億トークンを消費し、推定費用は 40,000 ドルであり、当初 Claude では失敗したが、特殊化したマルチエージェントアーキテクチャ内に ChatGPT（Sol）に切り替えることで成功した。このアーキテクチャは subverso 上で独自ツールを用いて、500 行未満の厳密で自律的な Lean の証明を生成し、頻繁な介入と明確な目標によってモデルドリフトを防いだ。証明は Palomar レジストリによる機械的チェック通过了したが、人間の数学者が中間結果の新規性、特に分解理論に関する部分を検証した。このプロジェクトは形式論理における新たな二重ストリームの認証プロセスを確立し、特定のモデルの振る舞いを修正（例えば婉曲表現を発明するなど）し、構造化された役割ベースのシステムを実装することで、機械的に検証された証明が達成できることを示した。したがって、この方法は企業が複雑なコーディングや形式証明の生成において AI を活用する際の再現可能な基準を提供する。

Minimal Phone 2

## Japanese Translation: 2026年12月に発売予定で、期間限定オファーとして599ドルからプリオーダーを受け付ける「Minimal Phone 2」は、プライバシーと没頭型使用を重視したコンパクトなAndroid端末です。6000シリーズアルミニウムの一ブロックから成形され、背面には彫刻された2.5Dガラスを採用しています。122.6mmの高さを有し、物理的なポリカーボネートとシリコン製のQWERTYキーボードは両拇指タイプ向けに形状設計されています。レーザーエッチングで施された5つのレイアウトを提供し、専用プログラミング可能スイッチおよび3.5mmヘッドホンジャックを備えています。フルAndroidを基盤とした「Minimal OS」上で動作し、「Minimal Hub」という統合受信トレイを介したグレースケール表示、ソーシャルアプリブロック、静かな時間モードなどのフォーカス設定を通じてデジタルウェルビーイングを強化します。デフォルトでは主要5GキャリアのサポートのためにGoogleサービスが搭載されていますが、出荷後フラッシング可能な公式「De-Googled」ソフトウェアビルドも用意されており、カスタムROM用にアンロック可能なブートローダーも付いています。背面カメラは50MP、前面カメラは20MPのシステムを搭載し、RAMは12GB、ストレージは256GBから512GBまでの選択肢を備えています。厳格なデジタル規律を求めるユーザー向けに設計された高品質な仕様の端末です。

純粋な Zig を用いたゼロから構築した検索・推論データベース

## Japanese Translation: Antfly v0.2 は決定的なアーキテクチャ転換を表し、コアのドキュメントストレージおよびインデックスエンジンを Go から Zig に書き換え、迅速な開発サイクルよりも生パフォーマンス、統合的なシステム制御、外部依存関係の完全排除を優先しています。ガベージコレクションと複雑なライブラリ設定を排除した新エンジンにより、開発者はメモリを直接管理し、非安全なコードパスなしで SIMD などの機能を実装できます。この書き換えは優れたポータビリティと C 互換性を提供し、高価な翻訳レイヤーではなく単一のフラグで CUDA、Wasmtime、Metal といった先進技術とのネイティブリンクを可能にし、Rust を選択する理由としてその単一 C 互換コンパイラおよび隠されたアロケーションの欠如を挙げています。堅固な安定性は、ディスク、ネットワーク、クロック障害を意図的に導入する VOPR シミュレーションハネスと、TLA+ のトレース検証によって保証されます。 統合型バイナリ（または Kubernetes オペレーター）は、単一ファイルから CockroachDB まで多様なストレージバックエンドをサポートし、独自の LSM/B+tree エンジンも備えています。包括的な機能スイートを提供し、フルテキスト検索、ベクトル（dense/sparse）、グラフトラベル、多模态入力（OCR、文字起こし、埋め込み）のためのエンリッチメント能力を含んでいます。クエリエンジンは標準 HTTP API、SQL/Postgres ワイヤプロトコル、AI エージェントをサポートし、計算バックエンドは CPU/SIMD/GPU をカバーし、主要なモデル形式（GGUF、ONNX）とアーキテクチャに対応しています。ユーザーは、LoRA などの手法を用いて Gemma のようなモデルをハードウェア上で直接微調整でき、リモートプロバイダーのエコシステムまたはローカル推論を活用できます。このリリースは、競合他社との広範なベンチマーク（Rowan を通じて）により検証され、10,000 記事分の Wikipedia データセットなどの大規模データセットを瞬時にロードするクイックスタートデモによって実証され、複雑な多模态ワークフローにおけるシステムの安定性と速度が証明されています。

ZCode の内部：Git の履歴を静かにクラウドにアップロードする仕組み

## Japanese Translation: 最も重要な発見は、ZCode が静かにユーザーの作業全体（完結した `.git` 履歴、LFS アセット、reflogs、およびグローバル設定を含む）を Aliyun OSS にパッケージ化してアップロードしている点であり、これは対話内容のみを収集すると明記されているプライバシーポリシーに直接反するものです。アプリはコンテンツの暗号化には一時的な AES-256-CTR を使用していますが、対称鍵はサーバー (`zcode.z.ai`) から動的に配信される RSA 公開鍵でラップされており、秘密鍵はユーザーのマシン上に存在しないため、ローカルのシフタテキスト（例：`~/.zcode/v2/checkpoints/313MB.enc`）はローカルで復号できません。調査により、メタデータが 564 回のアップロード失敗を示しているにもかかわらず、Pending 状態にある 313MB のアーカイブが存在することがわかりましたが、クライアントは成功するか強制的に停止されるまで継続的に再試行します。アップロードされたスナップショットには 42,411 ファイルが含まれており、そのうち `.git/lfs/` (56.8%) と `.git/objects/` (29.6%) が合計で負荷の 86.6% を占め、履歴の API キー、リリース前のブランチ名、および内部ホスト名を露出しています。UI トグルスイッチである「Optimize Experience」や「Repo Snapshot Indexing」はこのキャプチャパイプラインを停止せず、トレーニングまたはサーバーインデックス化のためのデータ使用量のみを制御します。キャプチャ論理は有効な JWT が存在する場合、起動時に条件なく実行され、セッションごとに多数のイベントをトリガーします。アーカイブは削除直後に再作成されるため、手動での削除は無効です（「わらべ游戏」状態）。恒久的な緩和策として推奨されるのは、`~/.zcode/v2/checkpoints` ディレクトリをファイルシステムの不変フラグでロックすること（macOS では `chflags uchg`、Linux では `sudo chattr +i`）であり、これは再パッケージングを阻止しますが、チェックポイントのロールバックやタイムラインは失われます。元の動作に戻すには、`chflags nouchg` (macOS) または `sudo chattr -i` (Linux) を実行します。

Warez：海賊版のインフラストラクチャと美学（2021）

## Japanese Translation: 元の要約は明確で網羅的であり、キーポイントリストに忠実です。改善は必要ありません。

Cekura（YC F24）が採用中

## Japanese Translation: Cekura は、音声 AI の急速に進化する環境に対して、会話エージェントのテスト、可視化、監視を自動化することで、音声、チャット、SMS、電話、ウェブの各チャネルにおいて重要な解決策を提供します。IIT ボンベイ出身で ETH ギュッハの研究実績を持つ創業者により設立され、トップクラスの投資家による支援を受けた Y Combinator F24 スタートアップとして構築された Cekura は、手動テストの誤りを自動化、数千件の現実的なシナリオのシミュレーション、カスタムおよび AI 生成のデータセット、詳細なワークフロー、動的パーソナリティシミュレーションによる隠れたエッジケースの発見を通じて対処します。该平台は、リアルタイム監視、包括的なログ、即時アラート、プロダクション準備のための最適化を提供し、チームが時短を実現すると同時にコストのかかるエラーを最小化し、高い信頼性で顧客の信頼を構築することを支援します。Cekura は、エンジニアリング、プロダクト、顧客、および市場投入機能との橋渡し役となるフォワードデプロイドエンジニア（FDE）を採用しています。FDE は技術的な顧客と深く埋め込まれ、使用パターンの可視化を行い、製品方向性に影響を与え業界の成熟を加速させる自己改善ループを作成します。適した候補者は、API ドキュメントの読み込み、ペイロードの検査、ログのデバッグなどの経験を持つ、開発ツール、インフラ、SaaS、または AI 企業の技術職で 2 年以上の実務経験があり、API、Webhook、基本的な SQL に慣れ、Python または JavaScript で十分に実力がある方です。加算資格として、元創業者または初期 FDE の経験、Twilio、SIP、WebRTC、Vapi、Retell、LiveKit、Pipecat などのツールへの familiarity、およびサンフランシスコで対面での勤務への意欲があります。

Show HN: Ax-check.com – エージェントはあなたの製品を使用できますか？

## Japanese Translation: 本質的なメッセージは、包括的なサポートを実行する前にまずユーザーのサイトを検査する、簡素化されたオンボーディングプロセスを説明しています。確認が行われた後、3 つの専門エージェントがエンドツーエンドのセッションを開始し、ドキュメントの正確性、マーケティングウェブサイト、CLI ツール、Model Context Protocol (MCP) 統合、そして自動化されたスキルワークフローという特定の領域を是正するための具体的なガイダンスを提供します。この予備的なチェックは、複雑なソリューションを展開する前に準備を整えることを保証し、初期設定中のエラーを減少させながら、すべての重要な技術コンポーネントを同時にカバーします。その結果、公開向けの資料とバックエンドのツールが最初から同期され動作するため、採用プロセス中のユーザーおよび企業の摩擦が大幅に削減される、完全に整合したエコシステムが実現されます。 ## Text to translate: The core message describes a streamlined onboarding process that first checks the user's site before launching comprehensive support. Once confirmed, three specialized agents begin an end-to-end session, providing concrete guidance to fix specific areas: documentation accuracy, the marketing site, CLI tools, Model Context Protocol (MCP) integration, and automated Skills workflows. This preliminary check ensures readiness before deploying complex solutions, reducing errors during initial setup and covering all critical technical components simultaneously. The result is a fully aligned ecosystem where public-facing materials and backend tools are synchronized and functional from the start, significantly reducing friction for users and companies during adoption.

数学者らが待ちに待った「グラフサンドイッチ」を構築する

## Japanese Translation: 要約：2025 年、3 人の数学者が「サンドイッチ仮説」をいよいよ証明し、歴史的な飛躍を遂げた。この仮説は、十分大きなグラフがより単純な構造モデルの間に配置され得ることを予言していた。エドガー・ギルバートとポール・エルデシュが電話網の解析のために確率グラフ理論を開発した 1950 年代後半に遡るこの長年の謎は、今や解明された。証明には、キムとヴーが最初から設計した特定の数学的な「レシピ」に依存しており、これは単純な二項分布グラフとより正確な正則グラフの両方を同時に生成する。重要な洞察の一つは、単純なモデルの辺が複雑なものの厳密な部分集合を形成するという認識であり、これによって中間のグラフがすべての本質的な性質を有することを可能にした。この発見は、数十年にわたって研究されてきた 2 つの異なる確率プロセス間の深い結びつきを示している。解析が容易な二項分布モデルと制約付き正則グラフの間をつなぐことで、この結果はサンドイッチの概念の美しさを検証するものである。今後、数学者たちはこれらの単純な構造的回廊を用いて、困難な現実世界のネットワークを厳密に研究することが可能となり、理論的な探究を現代インフラを理解するための強力な分析ツールへと実質的に変えることとなる。

Show HN：混雑課金を備えたプログラミング可能なインターネット検索エンジン Scry

## Japanese Translation: Scry は、AI エージェントが 43 のソースにわたる数十億行（≒163 億行）のインターネットドキュメントをスキーマベースの SQL とベクトル検索ツールを使用して照会するための読み取り専用インターフェースとして機能する MCP サーバーです。従来のウェブ検索とは異なり、大規模なデータの再配布や競合製品の作成を禁止する厳格なルールを適用し、公開された作品については明示的な出典表示を要求します。このシステムは、高次元的な索引速度（18 GB/s）とともにサブ秒間のパフォーマンス（中央値クエリ時間 98ms）を実現し、ベンチマークにおいて複雑な質問に対する回答率は 71.8% に達しました（Gemini の 66.1% と比較）。サポートされるソースには Reddit、Wikipedia、SEC EDGAR、arXiv などが含まれており、ChatGPT や Claude などの主要クライアントを介して統合されながら、ユーザーのマシン上でコードを実行することはありません。商業的可行性は、プライシングティア（チーム向けに月々$2,000 から）とエージェント課金モデル（$0.05/秒）に依存しており、信頼できるデータソース上で準拠したアプリケーションを構築しつつ、観察と負荷時間に関する独自のメタデータを維持することを可能にします。