← ホームに戻る29 件のニュース

2026-06-05

日付別ニュース一覧

カードをクリックすると全文、Hacker Newsのリンクから元記事へ移動できます。

日付で読む
06/052026-06-0506/042026-06-0406/032026-06-0306/022026-06-0206/012026-06-0105/312026-05-3105/302026-05-3005/292026-05-2905/282026-05-2805/272026-05-2705/262026-05-2605/252026-05-2505/242026-05-2405/232026-05-2305/222026-05-2205/212026-05-2105/202026-05-2005/192026-05-1905/182026-05-1805/172026-05-1705/162026-05-1605/152026-05-1505/142026-05-1405/132026-05-1305/122026-05-1205/112026-05-1105/102026-05-1005/092026-05-0905/082026-05-0805/072026-05-0705/012026-05-0104/302026-04-3004/292026-04-2904/282026-04-2804/272026-04-2704/262026-04-2604/252026-04-2504/242026-04-2404/232026-04-2304/222026-04-2204/212026-04-2104/202026-04-2004/192026-04-1904/182026-04-1804/172026-04-1704/162026-04-1604/142026-04-1404/132026-04-1304/122026-04-1204/112026-04-1104/102026-04-1004/092026-04-0904/082026-04-0804/072026-04-0704/062026-04-0604/052026-04-0504/032026-04-0304/022026-04-0204/012026-04-0103/312026-03-3103/302026-03-3003/292026-03-2903/282026-03-2803/272026-03-2703/262026-03-2603/252026-03-2503/242026-03-2403/232026-03-2303/222026-03-2203/212026-03-2103/202026-03-2003/192026-03-1903/182026-03-1803/172026-03-1703/162026-03-1603/152026-03-1503/142026-03-1403/132026-03-1303/122026-03-1203/112026-03-1103/102026-03-1003/092026-03-0903/082026-03-0803/072026-03-0703/062026-03-0603/052026-03-0503/042026-03-0403/032026-03-0303/022026-03-0203/012026-03-0102/282026-02-2802/272026-02-2702/262026-02-2602/252026-02-2502/242026-02-2402/232026-02-2302/222026-02-2202/212026-02-2102/202026-02-2002/192026-02-1902/182026-02-1802/172026-02-1702/162026-02-1602/142026-02-1402/132026-02-1302/122026-02-1202/112026-02-1102/102026-02-1002/092026-02-0902/082026-02-0802/072026-02-0702/062026-02-0602/052026-02-0502/042026-02-0402/032026-02-0302/022026-02-0202/012026-02-0101/312026-01-3101/302026-01-3001/292026-01-2901/282026-01-2801/272026-01-2701/262026-01-2601/252026-01-2501/242026-01-2401/232026-01-2301/222026-01-2201/212026-01-2101/202026-01-2001/192026-01-1901/182026-01-1801/172026-01-1701/162026-01-1601/152026-01-1501/142026-01-1401/132026-01-1301/122026-01-1201/112026-01-1101/102026-01-1001/092026-01-0901/082026-01-0801/072026-01-0701/062026-01-0601/052026-01-0501/042026-01-0401/032026-01-0301/022026-01-0201/012026-01-0112/302025-12-3012/292025-12-2912/282025-12-2812/272025-12-2712/262025-12-2612/252025-12-2512/242025-12-2412/232025-12-2312/222025-12-2212/212025-12-2112/202025-12-2012/192025-12-1912/182025-12-1812/172025-12-1712/162025-12-1612/152025-12-1512/142025-12-1412/132025-12-1312/122025-12-1212/112025-12-1112/102025-12-1012/092025-12-0912/082025-12-0812/072025-12-0712/062025-12-0612/052025-12-0512/042025-12-0412/032025-12-03
Anthropic の AI 駆動型脆弱性情報発見のためのオープンソースフレームワーク

Anthropic の AI 駆動型脆弱性情報発見のためのオープンソースフレームワーク

## Japanese Translation: サマリーは全体的には良好ですが、キーポイント(コマンド、特定のスキル、パイプラインの段階)に見られる具体的な実行可能な詳細が不足しています。構造とコマンドを取り入れたやや詳細なバージョンであれば、推論を加えずに完全性を向上させることができます。 ## サマリー(改善版) Anthropic は、「Claude Security」というソフトウェアの脆弱性発見および修正のためのマネージドサービスを紹介しており、オープンソースのリファレンスハルネス `github.com/anthropics/defending-code-reference-harness` が提供されています。このリポジトリは、セキュリティチームとのパートナーシップから得られた知見を活用し、自律的な C/C++ 脆弱性発見および修正のためのガイド役を担っていますが、外部からのコントリビューションを受け入れるメンテナンスされた製品ではありません。アクセスには Bedrock や Vertex、Azure などの特定の API が要求されます。 コア技術は、脅威モデリング、静的スキャン、実行検証、パッチ適用を含む厳格な多段階パイプラインを使用しています。主要なスキルには `/threat-model`、`/vuln-scan`、`/triage`、`/patch`、および `/customize` があります。特に重要なのは、自律エージェントがシステムへの損傷を防ぐために **gVisor** サンドボックス内で対象コードを実行すること(Claude API へのエGRESSは制限されている)であり、パイプラインを `bin/vp-sandboxed` を通じて呼び出す前にユーザーが `./scripts/setup_sandbox.sh` を実行する必要があります。`/quickstart` スキルはサンドボックスなしで **Claude Code** で安全に確認できるのに対し、自律ループにはそれを必要とします。 ユーザーは段階的なアプローチに従うよう推奨されます:ステップ 1(Day 1)では、対象コードに対して静的スキャンと脅威モデリングを行い、`/patch` を通じてパッチを生成し、カスタマイズをスモークランで検証してからステップ 2(Day 2)へ進む。ステップ 2 では C/C++ ライブラリ向けの完全な自律ループを展開します。生产用途では、組織は複数の並列パイプラインウェーブ(ステップ 4)を実行し、結果に対して自動タリアジを行うべきです(`/triage` で投票を使用)。本システムは SDLC に連続的検証を統合しており、毎日スキャンや CI パイプラインを通じて運用され、ゼロから構築される完璧なプラットフォームを要求せずに多様な依存関係の露出に対処するのを支援します。サンドボックス化、カスタマイズ、およびパッチに関するドキュメントは `docs/security.md`、`docs/agent-sandbox.md` および関連ガイドで利用可能です。

2026/06/05 5:11
URL の IPv6 ゾーンは間違いです

URL の IPv6 ゾーンは間違いです

## Japanese Translation: - 現在稼働中の Anubis ウェブサイトはバージョン v1.25.1-0.20260604200537-44d5fa3ce047 を使用しています。マスコットのデザインは CELPHASE によって作成されました。サイトには Techaro に帰属する著作権表示が表示され、コンテンツは「❤️(愛)と🇨🇦(カナダ)で作成」であるとしてクレジットされています。

2026/06/05 6:42
Cloudflare に参加する VoidZero が決定

Cloudflare に参加する VoidZero が決定

## Japanese Translation: VoidZero(Vite、Vitest、Rolldown、Oxc、および Vite+ の開発者)が、その全チームを Cloudflare に統合し、エコシステムを完全にオープンソース化し、MIT ライセンスに基づき、ベンダー非依存な状態を維持することを約束しています。100 万ドルの資金を Vite エコシステムファンドに供与することで、コミュニティ主導の開発を優先し、ツールをプロプライエタリなスタックに合わせるのではなく、強化されたエンジニアリングリソースを直接ツール維持に向けるとして、この戦略的移行を進めています。Evan とコアチームは引き続き開発をリードし続けます。Vite(週 1.29 億回のダウンロード)や新しい Cloudflare プラグイン(週 1,400 万回のダウンロード)の高い採用率は、特に AI 開発者がこの統一されたワークフローによって支えられる高速フィードバックループを必要としていることで、強固な市場の信頼を示しています。現在、Vite は React、Next.js(vinext 経由)、Vue、SvelteKit、Nuxt、Astro、Solid、Qwik、Angular など主要なフレームワークの基盤となるビルドツールとして機能しています。新たに導入された統一 CLI(`cf`)はネイティブデプロイとバインディングを統合しており、標準的な Vite 操作と完全に互換性を保ちつつ、「cf dev」コマンドにより「vite dev」の超集合体として動作します。将来の計画には、Void プラットフォームを完全にオープンソース化して公衆との協力を促進することや、Cloudflare の Environment API を通じて非 Node ランタイムをサポートするツールへの進化が含まれています。結局のところ、開発者は強力なリソースと統一された環境にアクセスでき、業界はベンダーロックインなしで長期的なポータビリティを確保する強化された標準から恩恵を受け、Cloudflare のツールは Vite を Cloudflare 用に特別に適応させるのではなく、Vite スタンドダードの方へ移行しています。

2026/06/04 22:00
AI が自らを構築する時:我々の自己改善における進捗について

AI が自らを構築する時:我々の自己改善における進捗について

## Japanese Translation: Anthropic の最新の分析では、AI エンジニアリングの生産性が急速に高まっていることが示されており、計算資源が引き続き増大する場合は、人間の支援なしでモデル自身がコードを改善する完全自律的な反復的自己改良状態が間もなく訪れる可能性が高いと考えられます。2021 年から 2026 年までのデータは、四半期あたりの結合されたコード量が 8 倍に増加し、2025 年 2 月以前に単位数の低水準だったものが、2026 年 5 月には生産ラインの 80% 以上が AI によるものになった急騰を示しています。さらに、モデルは複雑なベンチマークを急速に習得しており(例えば、CORE-Bench では約 20% の成功率からわずか 15 ヶ月で飽和に達)、長時間を要するタスクもますます適切に処理できるようになっています。具体的には、2025 年 5 月時点で最大 16 時間のタスクを必要とする作業において、Claude Mythos Preview は人間の研究者と比較して約 3 倍のスピードアップを達成しています。

2026/06/05 1:20
CおよびC++ APIを実装したブランチレスクイックソートが、std::sortやpdqsortよりも高速

CおよびC++ APIを実装したブランチレスクイックソートが、std::sortやpdqsortよりも高速

## Japanese Translation: blqsort は、高度な分岐なし(branchless)手法を用いて分岐誤予測によって引き起こされるハードウェアの遅延を最小化することにより、標準的な C++ `std::sort` を大幅に上回る高性能な単一ヘッダーソートライブラリです。Apple M1 システムでのベンチマーク結果(Clang -O3 でコンパイル)では、blqsort は 5,000 万個の二重精度数値を 0.97 秒でソートし、これに対し `std::sort` および `pdqsort` では 1.33 秒かかりました。また、独自に定義した構造体エントリ 5,000 万個のソートには blqsort で 0.96 秒、一方 `std::sort` では 3.46 秒かかりました。本ライブラリは C および C++ の両方をサポートし、単スレッドおよびマルチスレッドモードを選択可能となるよう、4 つの独立したヘッダーファイル(blqs.h、blqs_thr.h、blqsort.h、blqsort_thr.h)として提供されています。GCC もしくは Clang でコンパイル可能です。信頼性と速度を確保するため、blqsort は 1024 要素スタック配列を補助バッファとして使用し、大規模な分割区間に対して median-of-medians を用いたピボットとループアンローリングを適用し、小さなサブセットに対してカスタムソートネットワークを採用するとともに、悪い入力に対してはヒープソートへ、コピーコストが高いデータ型に対しては BlockQuicksort へ知的にフォールバックします。Google Highway のような外部依存関係を必要とする複雑な解決策と異なり、blqsort は適切なヘッダーを含めるのみで動作し、SIMD ライブラリを必要とせず、現代のハードウェア上でパフォーマンスクリティカルなアプリケーションへの堅牢かつ移植性の高いドロップイン代替手段として機能します。

2026/06/03 5:00
イアンによる安全な靴ひもの結び方

イアンによる安全な靴ひもの結び方

## Japanese Translation: 本テキストの主な焦点は、「ダブルスリップノット」という、中央部に左右対称の二重巻きを形成し、緊密で閉じた構造を生み出す単純な対称的な結び方です。この技法は通常の「左から右へ」という構成から始まり、両端をそれぞれ自身へと折り戻して「バニーエアーズ」を作成します。次に、右側(青色)のループを左側(黄色)のループの上でクロスさせ、それを取り囲み、左側のループは背面を通るように巻かれ、その結果、両ループの端が中央の穴の反対側に位置するようになります。その後、両端を中央の穴に通し、青色の端を前面から、黄色の端を背面から引出して引き締めますと、結び目は整然とした完成形へと再配置されます。曲がった結果になる一般的な原因としては、誤った方向からの開始や、引き締め中に靴ひもを十分に再配置しないことが挙げられます。試験の結果、ダブルスリップノットは「イアンノット」や標準的な靴ひもの結びに比べて解結のためにほぼ倍の張力を必要とし、アクティブスポーツ、山岳登攀、ダンス、そして滑りを防ぎつつ湿地において安定した保持が不可欠な状況下で船用シューズを固定するなど、例外的な耐久性を提供します。

2026/06/04 20:17
カストル:CERN 高度保存管理システム

カストル:CERN 高度保存管理システム

## Japanese Translation: CASTOR は、CERN で開発された階層的ストレージ管理システムであり、大規模な物理データセットのアーカイブを目的としており、大容量と費用対効果のバランスを図っています。100 ピタバイトを超える容量を取り扱うように設計されており、高速なディスクアレイと低速で大容量のテープライブラリーを組み合わせて、アクセス頻度の低いデータをテープに保存します。アーキテクチャには中央データベースに加え、以下の主要コンポーネントが含まれます:Stager(ディスクプーリングマネージャー)、Name Server(サイズ、日付、チェックサム、所有者、ACL、テープコピー情報などのファイルメタデータを管理する)、Tape Infrastructure、Volume Manager(テープの特性、容量、ステータス、およびファイルオフセット位置を追跡する)、VDQM(ライブラリ制御ソフトウェアとのカートリッジマウントを調整する)。CASTOR はコマンドラインツールと CASTOR API を介して XROOT(推奨)、GridFTP およびかつては RFIO(2016 年まで)をサポートし、グリッドデータアクセスのために SRM と統合します。使用されている高容量テープユニットには、Oracle StorageTek T10000C(5 TB)および IBM TS1140(4 TB)が含まれ、生産用ライブラリーは 2013 年初頭に SL8500 型が 4 台、TS3500 型が 3 台搭載され、約 100 PB の容量に達しました。2020 年 6 月 29 日現在、CERN Tape Archive(CTA)は CASTOR の後継システムとして機能し、CASTOR 2 の後に徐々に置き換えられ、古いロボットライブラリー構成から、GridFTP および XROOT などの重要プロトコルをサポートする統一インフラストラクチャーへの移行を示しています。この進化は、1990 年代の SHIFT を CASTOR が後継した例に始まる以前の後継事例にも続き、CASTOR 1(1998–2007)、CASTOR 2(2005–2022)、CTA(2020 年以降)という明確な時代区分を含みます。科学者にとっては、この階層化アプローチは、非アクティブなデータに対してテラバイトあたりのコスト削減とエネルギー節約を実現しますが、取り出し時間に犠牲を払い、ディスクでの秒単位アクセスからアーカイブ済みコンテンツへの分単位アクセスへと切り替わります。システムはアップロード、ダウンロード、アクセス、管理のためのクライアント機能をサポートし、Storage Resource Management を通じて SRM によるグリッドデータアクセスを可能にし、FTS などのサービスと連携します。全体として、CTA への移行により、研究データのグローバルコンピューティンググリッド内でのスケーラブルで信頼性の高い長期保存が保証されます。

2026/06/05 4:52
レトロ・テック子育て

レトロ・テック子育て

## Japanese 翻訳: 本文では、「監視資本主義」という、企業が個人データを収集してユーザーを操作するためのビジネスモデルに対し、デジタルデフォルトの代わりに物理メディアと厳選されたローカル環境を採用することでこれを拒絶することを提唱しています。著者は AdTech や怒りを煽るネタ、エンゲージメント最適化されたフィードといった現代のパターンに違和感を覚えるテクノロジストであり、また子供たちがテクノロジーの豊かさを体験したいと考えている親として、何十年も前の解決策を振り返る家族的な設置方法を提案しています。音楽についてはストリーミングではなく物理メディアを使用しており、有線イヤーバッドとミニ CD ブームボックスを用いて CD への愛情を復活させました。最年長の息子の誕生日には「K-Pop Demon Hunters」の CD を購入し、CD がまだ保有されている地方図書館を頼っています。映画については、図書館やブロックバスター式の儀式から DVD やブルーレイディスクを使用することで、デバイスベースの対立する要素を取り除き、個別での鑑賞を可能にしています。通信ではアナログ電話アダプター(VoIP)を活用した有線固定電話を用いており、推奨プロバイダーは Tin Can です。家庭用電話については特定の友人や家族のみをホワイトリスト化し、夕食時に自動ブロックを設定しており、子供たちは祖父母にかけたり、親への悪ふざけ電話を行ったりしても監視されません。「ファミリーコンピュータ」として使用されているのは、キッチン近くに設置された中古タワー PC で、各子供が個別のログインを使用してローカルサーバー上の厳選されたゲーム(例:公衆マルチプレイなしのマイクラフト)やアクティビティにアクセスできます。ネットワークセキュリティでは Pi-hole を DNS に採用しており、許可されているサイトにはウィキペディアやニッチな教育ページ(例:ルービックキューブの解き方、靴紐の結い方)が含まれながら、YouTube や Spotify などのプラットフォームはブロックされています。年長の子供たちは PC に CD をリッピングしてローカルで聴くことができます。著者は結論として、利便性のため現代の反烏托邦的なテクノロジーが支配している一方で、そのコストを拒絶することは子供にとって報われることであると述べています。それは子供たちをアルゴリズムフィードではなくローカルリソースにつながせ、企業のデータ搾取から身を守り、ツールによってはより高度な技術スキルが必要になる場合もありますが、テクノロジーの豊かな可能性を維持するためです。

2026/06/05 1:02
女王ハチは特別なワックスの室から羽化する。

女王ハチは特別なワックスの室から羽化する。

## 日本語訳: 最も重要な発見は、ハチの女王幼虫は、若い働き蜂が体内を約 40 ℃まで過熱させ、ワックスの化学組成を変化させることで作られる独自の「個別注文式(bespoke)」ワックスセル内で育つという点にあります。これらの女王セルは、飽和脂肪酸が少ない代わりに不飽和脂肪酸に富み、融点ピーク温度が高く、かつ密度・硬度・機械的強度が低いという点で、標準的な働き蜂用のセルのワックスとは異なります。研究者らが幼虫を通常の働き蜂用セルに移植したところ、西部蜜蜂(*Apis mellifera*)と東部蜜蜂(*Apis cerana*)の両種において、結果として得られた女王幼虫のうち 62.5% 以上が死滅しました。これは、こうした特殊なセルが生ける女王の発育に不可欠であることを示しています。カリフォルニア大学リバーサイド校でボリス・ベア氏率いるこの研究により、蜜蜂は単なる餌容器ではなく、化学的に精度の高い養護施設を構築していることが確認されました。今後の研究では、個体群決定に必要な厳格な要件となる特定の化合物の特定を目指しており、発見成果を *Melipona* 属などの他の蜜蜂属にも展開する可能性があります。結局のところ、この知識は、巣立ち不足に直面するコロニーをサポートするための更なる人工的な養殖技術や合成ワックス代替品の開発を可能にし、コロニー管理と女王生産を向上させることで、養蜂業全体を革命的に変革し得るものと期待されます。

2026/06/05 6:31
Huawei による KV キャッシュ量子化のためのネイティブ vLLM バックエンド KVarN

Huawei による KV キャッシュ量子化のためのネイティブ vLLM バックエンド KVarN

## Japanese Translation: KVarN は、vLLM の革命的なキャリブレーション不要型アップデートであり、基盤となるモデルアーキテクチャを変更せず、長文脈の人工知能タスクのパフォーマンスを大幅に向上させることを目的としています。内部メモリキャッシュを 4 つの段階に分けられたプロセス(回転と分散正規化を含む)によって量子化することで、KVarN は KV キャッシュ容量を 3~5 倍増加させ、FP16 と同等あるいはそれ以上の精度で困難な推論ベンチマーク(例:AIME25)において最大約 1.3 倍の処理能力を提供します。重要なのは、高リスクな意思決定に必要な完全な数値精度を保ちながら、単一の構成フラグを通じてアクセシブルなプラグアンドプレイ型のソリューションとして動作することです。Apache 2.0 ライセンスの下で公開されており、vLLM バージョン 0.22.0 を基盤とする KVarN のデフォルトプリセットは、固定サイズのトークンタイル(128)内で 4 ビットのキーおよび 2 ビットの値を使用し、厳格な生産環境での精度基準を満たします。論文「KVarN: Variance-Normalized KV-Cache Quantization Mitigates Error Accumulation in Reasoning Tasks」の公式実装であり、企業はこれにより高負荷なバーストシナリオを即座に処理できます。マルチ GPU セットアップでは自動的に最大限の恩恵が得られますが、単一 GPU ユーザーの場合には完全な容量を実現するために環境変数の微調整が必要な場合があります。結局のところ、KVarN は再キャリブレーションなしで大規模な文脈長を管理するためのスケーラブルシステムにおける新たな基準を設定します。

2026/06/05 0:18
私の2つの照明スイッチが無限のエコーループに固まってしまいました。

私の2つの照明スイッチが無限のエコーループに固まってしまいました。

## 日本語訳: 2時、Tasmota制御のMartin Jerry製壁式スイッチ2台がMQTTを介して互いに繰り返しトリガーされ、無限のオン/オフループに陥りました。根本原因分析の結果、状態ミラーリングプロトコルの故障が発見されました:各デバイスが`cmnd/<me>/Power`コマンドを受信し実行しながらもローカルVAR1(重複排除キー)を更新しなかったため、エコー増幅が発生し安定化には至らなかったのです。調査によりハードウェアの故障、起動タイミングの問題、ボタンによる曖昧さの可能性は否定されました。さらに10秒のリブート遅延を追加しても、その後の電圧の微かな変動が直ちにループを再発させるため不十分でした。物理的な押し操作とリレーの変化を区別しようとした試みも、一方のスイッチにTuya MCUが含まれており共有されたTuyaReceivedイベントが存在したため阻害されました。デバウンス調整も状態追跡の増幅を止めるのではなく単に遅らせるだけでした。 効果的な解決策は、ピア間の`Power`コマンドを`Event#SYNC`に置き換えることであり、これは受動側がリレーを作動させる前にVAR1の状態マーカーを更新することを可能にしました。この単一のライン変更だけで無限ループは停止し、6回の連続トグルを含む迅速なコマンドシーケンスも不安定性なしに伝播するようになりました。重要なのは、設定を有効にする前に両方のスイッチを一致するリレー状態へ初期化し、VAR1にも適切にシード値を設定しておく必要があり、そうでないと直ちに再発する対立が起きることです。本解決策は、厳密なセットアッププロトコルがなければ自動化された照明やホームコントロールネットワークを無用化する危険な形態の状態増幅を排除します。

2026/06/02 7:57
教育の革新への試みに懐疑的である

教育の革新への試みに懐疑的である

## 日本語訳: 著者スコット・ヤング(『超学習』の著者だが、教える経験がないため教育改革家として資格を持つわけではない)は、厳密な証拠が欠落している直感的に魅力的で画期的な指導法の変革に対して反対する。彼は歴史的およびメタ解析データを引用し、直接指導(Direct Instruction)が問題中心学習(problem-based learning)などの代替策を常に上回っていることを示した。これは医学教育における低い試験スコアと相関しており、さらに多くの学習時間と不必要なテストを必要とする。読解については、十分な練習を伴う明確なフォニックス指導(音と綴りの対応関係)が、何世紀にもわたる証拠により最も強く支えられている;同様に、実地テストと分散練習(distributed practice)が最も効果的な学習戦略でありながら、助覚え術や概念マップなど装飾的な方法では弱い結果を示す。複雑な問題解決は独立した発見に委ねておいてはならない;仮説検証などの具体的な手法には明確な指導が必要であり、「問題解決の仕方」を一般的に学ぶだけでは不十分な。真の熟達とは、反復ドリルによって膨大な知識を集積することから生じる——例えば言語において数十万語規模の内容ライブラリを構築する「退屈な」仕事——直感的な探索よりもである。AI 個別指導やゲーミフィケーションなどの新興技術は基本的なサポートを提供したり参加意欲を増進させたりする可能性があるが、現時点では人間教師ほど特定の学生のスキルのギャップを特定する 데 は苦手であり、多くの場合参加意欲重視で密度の高い学習(「飴に包まれた薬」)を優先する。結局のところ、教育の改善は理解を損なう画期的な改革よりも、システム効率の向上(認知負荷の最適化、間隔付けなど)やカリキュラム内容に焦点を当てるべきであり、このアプローチは動機づけのない学生を含むすべての学習者に利益をもたらし、同時に激しく好奇心旺盛な学生の進歩も妨げずに支える。

2026/06/03 5:43
サムライシティ

サムライシティ

## Japanese Translation: 幕府時代、東京は忙しく国際的な消費の拠点でありながら、エリートの人質としての厳格な政治的監獄としての二重性を備えたパラドックス的なシステムとして機能していた。1700年までに、それは世界最大の都市となったが、その繁栄は農業からの重税によって人工的に支えられており、収穫物の40%が武士階級を養うために使われ、国内封鎖を強いるとともに国際貿易から日本を隔離していた——年間わずか12隻の外国船のみ入港を許した。物理的な配置はこの隔離を強制し、高い地位を持つ武士を高台にある「上城」に置き、一般民衆を過密な街区である「下城」に詰め込み、 nightly の検問所を通じて移動を厳しく管理し、脱出や反乱を防いでいた。内部の安定は人質的な大名の家臣と厳格なゾーニングによって維持されていたが、そのシステムは最終的に経済的不可能性のために崩壊した。1876年までに、武士の大多数は特権的な地位にもかかわらず極度の貧困に陥り、搾取と隔離の上に成り立つ封建システムが自らのエリートを長続きさせておくことができないことを示している。この歴史的ケースは、 rigid な社会的ゾーニングや農業からの資源転移が、特権階級が経済が持続不可能な大きさに達したときに系統的な失敗につながることを示している。

2026/06/02 13:32
Show HN:FFmpeg WebCLI - ブラウザ上で動作する完全版 FFmpeg、オフライン対応 PWA、アップロード不要(WASM)

Show HN:FFmpeg WebCLI - ブラウザ上で動作する完全版 FFmpeg、オフライン対応 PWA、アップロード不要(WASM)

## Japanese Translation: 本ツールは、ffmpeg.wasm による強力なブラウザベースのビデオエディタを 소개합니다。すべての処理がローカルデバイス上で行われるため、データがデバイスを離れることがありません。プログレスィブ Web アプリ(PWA)として動作するため、初回ロード後のオフライン使用をサポートし、長時間のレンダリングセッション中にデバイスの電源を維持するためにスクリーンのウェイクロックを実装可能です。対応形式には MP4、WebM、MKV、MOV、AVI、GIF など多様なビデオ形式に加え、音声コーデックとして MP3、AAC、WAV、FLAC、画像形式として JPG および PNG などが含まれます。 ツールはトリミング、リサイズ、クロップ、フィルタリング(輝度・コントラスト・彩度)、逆転、フェードなどの 30 を超えるビデオ操作をサポートし、ピクチャーインピクチャ、ロゴ/画像のオーバーレイ、連結、並列配置、カラーグレーディング、ノイズ除去、シャープ化、ブラー、メタデータ削除などの追加機能も備えています。音声機能としては抽出、ミュート、音量調整、ループ/反復、背景音楽のミキシング、-14 LUFS や -23 LUFS などの基準へのLOUDNESS ノーマライゼーション(標準化)が可能です。 プライバシーが中心的な原則です:サーバーへのアップロードもデータ収集も行いません。Web Workers を通じたバックグラウンド処理により、エンコード中も UI は応答性を保てます。ユーザーはブラウザ内で生の FFmpeg コマンドに直接アクセスでき、生成されたコマンドのライブプレビューが表示されます。また、安定化、レターボックス/パディング、ロスレスリミックス(コピー)、カラーバーウォーターマーク、ヴィンьетなど一般的なワークフロー向けにワンクリックで利用可能な「レシピ」も用意されています。 本エディタは ffmpeg.wasm(LGPL)および FFmpeg(LGPL)を基盤としており、GNU GPL-3.0 ライセンスの元リリースされています。デスクトップスタイルの編集とウェブアクセシビリティを結びつけ、クラウドアップロードによるレイテンシや高コストを回避します。ライブアプリを試したり、リポジトリをクローンして Node.js サーバーまたは COOP/COEP ヘッダーが設定された静的ファイルでローカルに実行することも可能です。

2026/06/05 5:32
Debian または Fedora の永続化ライブイメージの作成

Debian または Fedora の永続化ライブイメージの作成

## Japanese Translation: 標準 Linux ライブ ISO ファイルシステムは読み取り専用(ISO9660/EROFS)であり、パーシステンスが設定されていない限り、再起動後に変更したユーザーデータやインストールされたパッケージは失われます。一般的な解決策としては、RAM または手動で作成した書き込み可能なパーティション(例:ext4)を用いた OverlayFS の利用です。 Ubuntu では通常、「persistent」というカーネルパラメータと空のパーティション「casper-rw」を併用し、12 バイトのバイトシフティングを行うことで ISO を変更します(`quiet splash` を`persistent` に置換)。成功確認は `/cow` マウントポイントのサイズを確認することで実施します。Debian は `persistence` パラメータを使用し、「persistence」というラベルを持つパーティションに、`/ union` ラインを含む `persistence.conf` ファイルを配置する必要があります。検証には、ルートをオーバーレイマウントしておりそれが persistence パーティション(例:`/run/live/persistence/sda3`)を指していることを確認します。 Fedora は SELinux エンフォーシングモードによる複雑さが高く、`selinux=0 rd.live.overlay=LABEL=foo:/bar` などのブートパラメータ、「foo」と「bar」というラベルを持つパーティション、および `ovlwork` ディレクトリが必要となります。この原生方法は grub.cfg のスペース制限により制限され、ISO9660 レイアウトが変更されると破損するリスクがあります。安定した Fedora 回避策としては、/LiveOS/squashfs.img からルートファイルシステムを抽出し、ブートファイルを格納するための FAT32 パーティションと ext4 パーティション(ラベル:"Fedora-Live")を作成し、それらを単一の GPT レイアウトに結合してユーザーファイルを保存する方法です。このプロセスでは、livesys サービスを開始し、liveuser アカウントを作成するためにカーネルパラメータに `rd.live.image` を追加する必要もあります。 歴史的には、危険な ISO 変更やバイトシフティングが使用されていましたが、ディストリビューションの更新に伴って頻繁に失敗しました。現代のワークフローでは、不安定な編集スクリプトよりも、外部イメージ管理ツールと明確なドキュメントを好んで採用し、データ損失を防いでいます。GitHub 上の自動化スクリプトは、ext4 パーティションの注入やテスト用途(QEMU/KVM と OVMF など)でのバイトシフティングを行うことを支援し、堅牢なパーシステンス解決への安定した移行を可能にします。

2026/06/02 3:02
Hitoku Draft:文脈を認識したローカルアシスタントの公開です

Hitoku Draft:文脈を認識したローカルアシスタントの公開です

## 日本語訳: Hitoku Draft は、データプライバシーを最優先とした画期的な生産性ツールで、Apple Silicon マクintosh 向けです。競合他社が課金制やクラウドアクセスを要求するのに対し、Hitoku は Neural Engine や GPU といった機材に内蔵されたハードウェアのみを使用して完全にローカル上で動作します。早期支持者向けにインスタントダウンロードが可能であり、わずか $5 で入手できます。このローカルファーストアーキテクチャにより、個人的なテキストやオーディオファイルはゼロのデータ転送またはテレメトリを伴うことなくコンピューター内で処理され、機密情報がクラウドサービスで一般的なサーバーベースのモデルトレーニングプロセスから完全に分離されます。典型的な代替手段の月額費用 $20〜$30 の遥かに低い価格設定ながら、複数の言語をサポートし、あらゆるテキストフィールドにおいてホットキー単独での起動が可能です。将来的にはアプリの成功に基づいて価格が調整される可能性がありますが、強制された定期的な料金を再び導入することはありません。代わりに、ユーザーベースを拡大しつつも「ゼロデータ転送」ポリシーを厳格に維持する方針です。執筆作業中のデータ漏洩や第三者による監視について懸念があるユーザーにとって、Hitoku は強力な AI アシスタンスが完全にデバイス上で動作することを証明し、業界の新基準を設定します。

2026/06/05 2:48
Zettascale(YC S24)が創設 FPGA エンジニアを採用

Zettascale(YC S24)が創設 FPGA エンジニアを採用

## Japanese Translation: 以下は、これらのギャップを解決しながら明瞭さを保つための改訂版です: Zetta は、加速された一般知能(AGI)用の超エネルギー効率の高い「XPU」チップを構築するために、FPGA および ASIC 設計に特化した創設エンジニアを緊急で招聘しています。この職種はサンフランシスコにあり、極めて高度な超大規模集積回路(VLSI)および厳密な転送レベル論理の専門知識を持つ個人を対象としています。同社は、150K ドルから 300K ドルに加え、株式報酬が 0.5% から 2% の例外的な報酬パッケージを提供しています。 標準的なグラフィックプロセッシングユニット(GPU)とは異なり、これらの新規チップはデータセンターの冷却および電力消費に伴う莫大なコストを大幅に削減するための卓越したエネルギー効率を優先します。理想的な候補者は、Linux 環境下におけるハードウェア合成、VCS や Xcelium のようなツールを用いたフロントエンド検証、ならびに PCIe および CXL といった高速インターフェースプロトコルの精通を実証できる必要があります。成功した出願者は、厳しい 3 つ段階の面接プロセスを経、最終的に Zetta のサンフランシスコ本社での没頭型 1 日の体験を経て採用されます。 今すぐ加入することで、エンジニアは非効率な GPU を超えて進化し、人類が AGI および人工超级知能へと進む旅を加速させるための次世代計算技術を形作る創設メンバーとなります。この機会には、数世紀にわたる影響を持つ持続可能な遺産を構築する稀なチャンスが与えられます。 ## Text to translate: Here is a revised version that addresses these gaps while maintaining clarity: Zetta is urgently seeking Founding Engineers specializing in FPGA and ASIC design to build ultra-energy-efficient "XPU" chips for Accelerated General Intelligence (AGI). This role, located in San Francisco, targets individuals with deep expertise in Very Large Scale Integration (VLSI) and Rigorous Transfer Level logic. The company offers an exceptional compensation package ranging from $150K to $300K plus 0.5% to 2% equity. Unlike standard Graphics Processing Units, these new chips prioritize superior energy efficiency to significantly reduce the massive costs associated with data center cooling and power consumption. Ideal candidates must demonstrate mastery of hardware synthesis, front-end verification using tools like VCS or Xcelium, and high-speed interface protocols such as PCIe and CXL within a Linux environment. Successful applicants will navigate a rigorous three-stage interview process, culminating in an immersive day at Zetta's San Francisco headquarters. By joining now, engineers become founding members shaping the next generation of compute technology, with ambitions to evolve beyond inefficient GPUs and accelerate humanity's journey toward AGI and Artificial Superintelligence. This opportunity offers a rare chance to build a lasting legacy with potential impacts spanning centuries.

2026/06/05 2:00
AI とアッビー・エンジニアリングによる未来展望

AI とアッビー・エンジニアリングによる未来展望

## Japanese Translation: 2025年8月以来、Ashbyは生産システムに人工知能(AI)を成功裏に統合し、コードの过半数を生成しながらも顧客インシデントの安定性とエンジニアリングのバリューを維持しています。3月〜4月に発生した年度ごとの小さな混乱は、AI採用とは無関係です。 Ashby社はAIを人間の洞察の後継者ではなく、構造化されたコーディング作業(文法、接続コードなど)を処理するためのツールとして捉えており、エンジニアが共感性、戦略的判断、顧客理解を必要とする重要な意思決定に集中できるようにしています。これはAshby社のテーゼの中核であり、コードの生産コストはゼロに向かいつつある一方で、高価値なアーキテクチャと検証は依然として人間主導で行われるというものです。現在はヨーロッパおよびアメリカ地域で週10万人以上のアクティブユーザーをサービスしており、社内での採用は義務付けではなく、教育、ワークショップ、ペアプログラミング、そして潤沢なツール予算を通じて自発的な採用を促進しています。エンジニアにはトークン制限はなく、使用量を評価指標として用いることもありません。安全性を保証するため、Ashby社は「スイスチーズ」モデルを採用しており、これは厳格なテスト(ファーシング、フロントエンド単体テスト、静的解析)、機能フラグ、可観測性、およびAI生成コードの最初のパスでの人間レビューという多層的な防御を組み合わせたものです。エンジニアは2つのモードで作業を行います:ハイリスクタスク(マイグレーション、アーキテクチャなど)には「Sidekickモード」、ローリスクの低影響半径を持つプロトタイピングには「Delegateモード」を使用します。コードレビューの焦点は、低レベルの詳細から抽象性の理解、パフォーマンス特性、健全な抽象化といった高価値なターゲットへとシフトしました。検証が今やボトルネックとなっています。なぜなら、コードを書くコストが安いためです。その結果、投資は厳格な検証へと転換し、AIによるAIレビューも含まれています。内部インフラストラクチャではリポジトリ内のスキルファイルによるLLMクエリの高速化や、GitメタデータをクローンしたSQLiteデータベースによる過去の問題と解決策の素早い検索をサポートしています。内部AIモデルは顧客インシデントを自動的にタスク分類し、原因推定レポート、相談先、探求方向を生成することで解決時間を数時間から約10分に短縮しています。エンジニアリングチームはLLM出力に対して懐疑的であり、超知能ではなく確率的なサイコロとして扱い、受入れには自己批判、エッジケース分析、代替的な推理を必要とし、特にドキュメントが共感性なしに技術的に過剰になり低価値化する際にそうです。手動でのタイピングから顧客中心の問題解決へのシフトにより、リモートグローバルな採用機会が拡大しつつ、堅牢なシステムパフォーマンスと安定性を維持しています。

2026/06/04 23:48
和・積,単位数,および数の体

和・積,単位数,および数の体

## 日本語訳: トマス・ブルームによる最近の研究(2026 年 5 月 31 日)において、実数上の単位距離問題および和積問題に関する長年の予想に対する反例が提示され、論文 [90] および [52] を参照した。和積予想の証明非立ちは Sawin、Schildkraut および Zhelezov(論文 [52])によって達成され、単位距離予想については「OpenAI」アプローチを用いて取り上げられた。これらの突破は、制御された性質(例えば、有界な判別式およびレギュレーターなど)を備えた高次元の数体「塔」の構築に依存している。構築には代数的数論からの深い洞察、すなわち数体 $K$、代数整数環、およびディリクレ単位定理などが利用された。具体的には、和積の反例は $d \to \infty$ における体上の加法格および乗法格を用いており、単位距離の構築は $L=K(i)$ といった拡大における単位数を利用している。基本戦略は、特定の集合 $A$(「テンソル冪のトリック」によって指数改善を示す)のような自明な有限集合の構築を採り、「それを大きくして」(blow up)、高次元へと拡張することにある。そのような塔の存在はゴロード・シャファレヴィッチの定理およびマルティネーによる先行の研究によって保証されている。これらの結果は実数に対する問題を解決するものの、整数集合に対しては依然として大きな課題が残っている。また、本研究プロセスには持続的な文献調査と既存の概念の統合が含まれ、「失敗に良い理由」を反直感的な成功した構築へと転換させたことも強調されている。

2026/06/01 14:54
Ask HN:ギンロミ戦略について

Ask HN:ギンロミ戦略について

## Japanese Translation: ユーザーは、ハッカーニュースコミュニティから緊急性の高い助言を求めており、ローカルの AI 搭載のギンルーミートレーナーにおいて、中等度または難易度の高い対戦相手の戦略を開発できない問題に直面しています。テストを実行しパラメータを変更を繰り返したにもかかわらず、現在の実装では.easy バットに対して継続的に敗北しており、適切な課題を提供できていません。ユーザーは自身の目標が AI のパフォーマンス最大化ではなく個人スキルの向上にあるため、AI に高度な戦術について助言する方法を知りません。この制限により、効果的な学習に必要な上級スキル練習シナリオへのアクセスが妨げられています。彼らは、低難度のエージェントに対する先行き敗北を引き起こさず、自己改善を支援する多様な課題を提供できるような中等度および難易度の高い戦略に対応できるように AI の論理を調整するための具体的な指導を求めています。

2026/06/04 22:28
47度の暑さでは昼も夜ももうない:インドで最も暑い場所の一日

47度の暑さでは昼も夜ももうない:インドで最も暑い場所の一日

## Japanese Translation: ウッタープラデシュ州のバンダは、危険な高温多湿の hotspot となり、極端な気温が一時的な異常値から恒常的な必要事項へと進化する著しい変化を示しています。2024 年 5 月だけで、同地は最高国のランキングを達成し、1 週間以上にわたり 47–48°C(116–118°F)に気温が保たれ、2 日連続で 49°C を記録し、安堵なしの 8 から 9 日間続いた極端な熱をもたらしました。この危機は日常生活を圧縮しました:市場は午前 10 時に閉店し、屋外労働は早朝と夕方のシフトに限られますが、職人のような建前作業員はまだ休息のための日陰による中断にもかかわらず賃金が変化しないため、12–13 時間の日々を耐えています。人的なコストは深刻で、地元の病院では毎日 15–20 名の熱波患者が報告されており、脱水症状、下痢、発熱に苦しむ主に子供と高齢者がいます。この危機は深刻な環境劣化によって引き起こされています:バンダ農工大の研究によれば、採掘と農業の拡大のために、1991 年から 2022 年の間に郡全体の森林被覆のうちほぼ 1/6 が消え去りました。さらに、砂利採掘と地下水位の低下はケーン川が景観を冷却する能力を弱体化させ、水不足の悪循環を作り出し、湿度を増強しています。これはインドガンジス平野の他で見られる乾燥した熱波とは異なる健康リスクをもたらし、脆弱な集団に不均衡に影響を与えながら医療システムを圧迫します。住民は重衣服を着用するか、ニーム木の日陰を利用するか、扇風機に糸で修理するなどして適応していますが、専門家は根元の原因に対処するための緊急介入がない限りこの傾向が悪化するだろうと警告し、将来の深刻なイベントの間には 8,000 人を超える過剰死亡を脅かすでしょう—even最近の西の擾乱が一時的に気温を下げていたにもかかわらず、新しい気候の実在性が永続することを強調しています。

2026/06/02 21:35
Show HN:形式検証された多角形の交差判定 – Opus 4.8ワンショット(前回は失敗)

Show HN:形式検証された多角形の交差判定 – Opus 4.8ワンショット(前回は失敗)

## Japanese Translation: 最も重要な発見は、Lean 4 を用いて AI エージェントによって自律的に作成され、その正当性が証明された初の形式検証済み多角形交差アルゴリズムの実装です。この飛躍は、大規模言語モデル(LLM)の最近の進展が複雑かつ厳密に正しいコードの「一発生成」を可能にし、人類による審査からの信頼を機械検証へと根本的に転換させたことを示しています。システムの正当性は、人間が無数の AI 生成ロジックを手動で監査することを要するのではなく、`DataStructures.lean`、`Defs.lean` および `MultipolygonIntersectionAlgorithmWithPreconditionCheck.lean` にわたる簡潔な 87 行の仕様に Lean チェッカーが検証することに一任しています。このアプローチは、信頼できる公理——`propext`、`Classical.choice`、および `Quot.sound`——を基盤とすることで、重要な証明段階において潜在的に不正確なモデル出力への依存関係を暗黙的に排除します。 この成し遂げは、AI の能力の急速な進化に従い、Claude Opus(4.5、4.7、4.8)などの新しいモデルが désormais 何時間もにわたる自律タスクを介入なしで完了できるようになり、従来の多段階ワークフローを超えています。しかしながら、将来の開発では、厳密な形式検証はより遅いコードを生み出したり、仕様に含まれない実用的配慮を見落としている可能性があるという課題に対処する必要があります。究極的には、この進歩は Lean チェッカーによる数学的厳密性から得られる自信をもって業界が批判的システムを展開することを可能にし、高リスクアプリケーションにおける AI の正当性を監査するための手動的人間専門家の必要性を事実上排除します。実装は Lean 4(バージョン `leanprover/lean4:v4.15.0`)を使用して検証され、ビルドには `elan` が必要であり、WebAssembly ビルドには追加で `emscripten`、`zstd` および `wasm-opt` も必要です。

2026/06/05 7:06
Meta、スマートグラス搭載の顔認識機能に「水揚げ」を実行

Meta、スマートグラス搭載の顔認識機能に「水揚げ」を実行

## Japanese Translation: Meta の Stella アプリ v273 では、標準的な登録されていないユーザー对这些機能を非表示にしていても、完全に動作するオンデバイス顔認識システムが含まれています。APK の解析により、検出(2015 年以来)、 cropping/aligning of faces 用の KPSAligner、および独自 loss 関数を用いて 2048 次元埋め込みを生成する固有の SFace モデルを含む、総容量約 100 MB の 3 つの互いに関連付けられた ExecuTorch モデルが明らかになりました。このデータパイプラインは、生物識別ベクトルに対する余弦類似度検索を実行するために `sqlite-vec` 拡張機能を備えたローカル SQLite データベース(`objects.db`)と統合されています。エンドツーエンドのテストにより、システムが正常に接続され動作していることが確認されました:顔を検出すること、L2 正規化された埋め込みを生成すること、未知の顔に関する待機ファイルを記述すること(例:`/NameTagsPending/`)、および高優先度の Android 通知("Person Recognized")をトリガーすることに成功しています。登録されていないアカウント向けのカスタマー向け「Connections」ウィジェットは欠落していますが、これは Meta の同期フレームワークによってゲート付けされている可能性がありますが、消費用アプリ内でこの洗練された生物識別スタックが存在するという事実は、標準的なオプトインフローを回避する潜在的な監視能力に関連する重大なプライバシー懸念を浮き彫りにしています。 ```text ## サマリー: Meta の Stella アプリ v273 では、標準的な登録されていないユーザー对这些機能を非表示にしていても、完全に動作するオンデバイス顔認識システムが含まれています。APK の解析により、検出(2015 年以来)、cropping/aligning of faces 用の KPSAligner、および独自 loss 関数を用いて 2048 次元埋め込みを生成する固有の SFace モデルを含む、総容量約 100 MB の 3 つの互いに関連付けられた ExecuTorch モデルが明らかになりました。このデータパイプラインは、生物識別ベクトルに対する余弦類似度検索を実行するために `sqlite-vec` 拡張機能を備えたローカル SQLite データベース(`objects.db`)と統合されています。エンドツーエンドのテストにより、システムが正常に接続され動作していることが確認されました:顔を検出すること、L2 正規化された埋め込みを生成すること、未知の顔に関する待機ファイルを記述すること(例:`/NameTagsPending/`)、および高優先度の Android 通知("Person Recognized")をトリガーすることに成功しています。登録されていないアカウント向けのカスタマー向け「Connections」ウィジェットは欠落していますが、これは Meta の同期フレームワークによってゲート付けされている可能性がありますが、消費用アプリ内でこの洗練された生物識別スタックが存在するという事実は、標準的なオプトインフローを回避する潜在的な監視能力に関連する重大なプライバシー懸念を浮き彫りにしています。 ```

2026/06/05 4:36
Show HN: EU ベースの Kagi アルターネティブ「Uruky」に画像検索と URL リダイレクト機能が登場

Show HN: EU ベースの Kagi アルターネティブ「Uruky」に画像検索と URL リダイレクト機能が登場

## Japanese Translation: Uruky は「監視資本主義」を拒否し、広告なし、追跡を行わない代替案を提供することで、民間検索体験を再定義します。この EU に本拠を置くサービスは月額 5 ユーロで提供され、検索回数は無制限であり、ユーザー満足度を確保するため 14 日間の返金保証が含まれています。主要テック企業が閉じたエコシステムを構築するのに対し、Uruky は責任ある立場を維持するために AI との統合を行わず、EU にホストされた既存の検索プロバイダー(Marginalia、Mojeek、EUSP など)を使用しており、厳格な地域データ法への準拠を保証しています。ユーザーはアシスタントやニュースサマリーの依存なく特定のドメインを除外・優先する完全な制御を得られ、JavaScript を無効にして検索することも可能です。有料顧客として 12 ヶ月利用するとソースコードが提供され、デジタルフットプリントの完全な透明性と検証が可能になります。Kagi の初期コンセプトに触発されたこのモデルは、機能性を損なうことなく倫理的な開発が繁栄できることを示しており、共創立者である Bruno から得られる独立したレビューや洞察によって裏付けられています。

2026/06/04 17:56
Gaussian Point Splatting

Gaussian Point Splatting

## Japanese Translation: 本研究における主なブレイクスルーは「Gaussian point splatting」であり、これは大規模なリアルタイム 3D シーンに特化した新しいレンダリング手法です。一般的な手法ではスケール拡大時に不透明度や分布で苦労しますが、このアプローチは 64 ビットアトムクスという専用プログラミング指令を用いて GPU スレッド間で数百万のサンプリングされたガウシアンポイントを分散させ、多数のポイントが同一ピクセルをターゲットにする場合でも高い性能を保証します。Joris Rijsdijk と共同研究者による研究は「ACM Transactions on Graphics」に掲載され、従来の Gaussian splatting に似た視覚的忠実度を維持しつつ、高度な階層型カリング手法によって数億のオブジェクトを効率的に処理します。結果には前のイテレーションと比較してわずかなノイズの違いが見られますが、この手法は以前は不可能だったシーンスケールに対するリアルタイムレンダリングを実現します。開発者はすでに完全な SIGGRAPH 2026 プレゼンテーションの前にもリリースされたソースコードと、時間的再射影機能を演示する補助動画にアクセスできます。結局のところ、この研究は現代の GPU 向けの最適化並列プログラミングプリミティブを提供し、既存フレームワークの本質的なスケーラビリティ問題を解決することで、大規模なノベルビュー合成の境界を大幅に進歩させました。

2026/06/04 19:48
Show HN:AWS ECS を使用するデスクトップ用 IDE「Mercek」

Show HN:AWS ECS を使用するデスクトップ用 IDE「Mercek」

## Japanese 翻訳: Mercek は、セキュリティとプライバシーを最優先に設計されたローカルフIRST、オープンソースのデスクトップアプリケーションであり、開発者が自らのコンピューターから直接 Amazon ECS を管理できるようにすることを目的としています。インターネット接続が必要であるか、機密データを中央化して扱う必要がある従来のクラウドツールの対照的に、Mercek は `~/.aws` プロファイルに安全に格納された既存の AWS 認証情報を使用して完全にローカルで動作します。SSO、ロールの仮定、および多要素認証をサポートしており、秘密情報をディスクに書き込むことなく、また外部サーバーに機密情報を送信することなく機能します。デフォルトでは、統一されたツリービューを通じてすべてのアカウントとリージョンに対して読み取り専用のディスカバリを実行し、ユーザーが特定のクラスター、サービス、およびタスクを選択することを可能にします。 本アプリケーションは、ライブデプロイメント追跡およびロールバック機能を含むなど、一般的な痛点を解決するための機能を備えています。インターネットトラフィックや環境変数に基づいて複雑なトポロジを可視化し、選択可能なウィンドウからメトリクス(CPU、メモリ、レイテンシ)を監視することも可能です。また、月次 Fargate コストの見積もりとリソースプロビジョニング問題の特定も支援します。高度なログ機能により、CloudWatch ログをインタラクティブシェルおよびテキストフィルタリングとともに Tail することができ、「Sentinel」と呼ばれるバックグラウンドプロセスがドリフト、停滞したデプロイメント、OOM キルなどの問題を検出します。 将来の開発計画では、Linux および Windows へのサポートを拡大し、エージェントクライアントプロトコルを通じて AI コーディングエージェントとの統合をさらに強化することで、インフラストラクチャ管理を合理化することを予定しています。DevOps チームおよび AWS ユーザーにとって、Mercek はウェブコンソールや专有ツールに対する安全かつオフラインフレンドリーな代替手段であり、組織がコストを削減し、機密データがローカルデバイスから離れることを防止するのに役立ちます。本アプリケーションにはテレメトリ、分析機能、または「電話を home」のような機能はなく、AWS への接続のみを行います。

2026/06/05 6:15
米国工兵司令部ベイモデル

米国工兵司令部ベイモデル

## Japanese Translation: サウスアリトのビジターセンターに所在する米国工兵局湾モデルは、1957 年に設置された巨大な水利力学スケール模型であり、サンフランシスコ湾およびサクラメント・サン・ホアキン川デルタシステムの地形を再現しています。当初は 1950 年にジョン・レバー提案のダム計画を検証するために承認されましたが、その検討結果によって同計画の実現不可能性が証明された後、この構造物は活発な研究用実験室から一般公開向け展示物へと移行しました。モデルは 1966 年から 1969 年にかけて物理的に拡張され、デルタ全体を含めるようになり、最終的には 2 エーカー(縦 400 フィート×横 320 フィート)に達し、パズルのように結合された 286 個の 5 トンのコンクリートスラブで構成されています。モデルには船舶航路、橋、桟橋、突堤、堤防、消波ブロックなどの詳細な表現が含まれており、ゴールデンゲートを過ぎた 17 マイル先のサンパブロ湾とスイサン湾まで延びています。浅い海域における水利力学効率を模倣するために、垂直方向の歪み係数 10 が適用されており(水平方向 1:1000 のスケールに対して垂直方向 1:100)、この較正手法は調整可能な銅製のストリップを用いて洗練されています。現在、この歴史的科学的成果は教育的展示物として機能し、サンフランシスコから特定のバス路線またはフェリーサービスを通じて一般公開されています。

2026/06/03 2:50
G コードを凸字として出力する 3D プリンタ付き本

G コードを凸字として出力する 3D プリンタ付き本

## Japanese Translation: Studio Darius Ou と Benson Chong の共同製作による『Manual』は、出版における革命的な飛躍であり、書籍を単なる情報の容器ではなく、自己複製するオブジェクトへと変容させるものです。本作はその製造の一部の機械用コードを担っており、物理的なページに G コードの一部を埋め込みます。XY‐for‐Z という 3D プリンティング手法を用いて、ページ、結合部、ならびに埋め込んだコードを含む隆起記号を一つの連続した配列で印刷し、別段の組み立てなしに完成させます。Adrian Bowyer の RepRap プロジェクト(2005 年)——機械が自身の一部を印刷するという概念——に触発され、「Manual」は「自分自身を構築する機械」と「自身の複製を教える書籍」という二つの歴史をつなげています。現在、FFF の解像度制限によりコードの約 2.5% がしか印刷されていないものの、この作品はデザインの境界に挑戦し、各ページを読み取る表面でありながら、触覚を通じてアクセス可能な施工記録としても機能するように枠組みづけています。『Replicable Book(r-book)』として、電子的に送信されて他所で印刷される物理的なファイルとして機能し、トロントでの発表会でデジタルに送信され、その場で物理的に実現化された例が挙げられます。設計、製造、そして伝達の間を移動することで、「Manual」は手のかかるスケールでの建築的オブジェクトとして働き、ページが単に追加されるのではなく印刷によって存在へと組み込まれる時、知識がどのように複製され、運びられ、再構築されるかを探求します。

2026/06/02 23:15