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

2026-06-07

日付別ニュース一覧

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

日付で読む
06/072026-06-0706/062026-06-0606/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
Ntsc-rs ~アナログテレビおよびVHS のアーティファクトを模倣するオープンソースのビデオエミュレーター~

Ntsc-rs ~アナログテレビおよびVHS のアーティファクトを模倣するオープンソースのビデオエミュレーター~

## 日本語翻訳: ntsc-rs は、単純なカラーフィルターではなく、実際の送信符号化の原理に基づいた高度なアルゴリズムを使用して、ヴィンテージ NTSC テレビと VHS テープのアートファクトを本物らしく再現する無料のオープンソースツールです。マルチスレッドおよび SIMD 加速を実現した Rust で構築されており、超標準解像度でもリアルタイムで動画を処理し、ntscQT といった旧来のツールよりも優れたパフォーマンスを発揮します。そのアルゴリズムは composite-video-simulator、zhuker/ntsc、および ntscQT で開発されたものを採用しています。独立したアプリケーション、ウェブプラットフォーム、または Adobe After Effects、Premiere Pro、DaVinci Resolve、Hitfilm、Vegas(すべての OpenFX ソフトウェアと互換性あり)用のプラグインとして利用可能であり、歴史的正确性と現代の効率性を兼ね備えており、クリエイターがリアルなアナログの美学を現代的なワークフローに直接統合できるよう支援します。

2026/06/07 4:17
Meta、AI チャットボットの悪用によるInstagramアカウントの乗っ取りが数千件あったと確認

Meta、AI チャットボットの悪用によるInstagramアカウントの乗っ取りが数千件あったと確認

## Japanese Translation: Metaは、ハッカーがAIチャットボットのバグを悪用し、Instagramのアカウント20,000個以上を乗っ取ったという重大なセキュリティ不備を公表しました。このシステムは、パスワードリセット用として設計されたものの、誤って認証コードを受け取るメールアドレスを登録済みのアカウント所有者に限定せず、任意のメールアドレスに入力した者に送信してしまっていました。これにより、無許可ユーザーが数日以内にして完全なアクセス権を引き渡すことができました。脆弱性は二段階認証を行っていないアカウントを狙い、4月中旬から最近まで活性していました。 この侵害事件は、人工知能(AI)に対する大幅な投資が行われている時期に発生しており、人員削減を踏まえ、イノベーションとセキュリティのバランスに関する懸念が浮上しています。Metaはこの乗っ取られたボットを停止し、コードを修正済みですが、同社は直接メッセージやプロフィール情報など機密データの暴露があったことを認めています。メイン州在住の30人が直接通知を受けたものの、同社は犯罪者がアクセスした個人データ総量について現在把握していないと確認しています。専門家は、この事件がAIの急速な展開に伴う重大なリスクを浮き彫りにしているとし、ユーザーに対して即時にパスワードのリセットと、認証済みチャネル経由での再認証を行ってアカウントのセキュリティを回復するよう求めており、またMetaは同様の再発を防ぐため、現在自社プラットフォーム上の他のチャットボットの調査を進めています。

2026/06/07 3:35
Zeroserve:eBPF を用いてスクリプト可能なゼロ設定 Web サーバー

Zeroserve:eBPF を用いてスクリプト可能なゼロ設定 Web サーバー

## 日本語訳: ゼロサーブ(Zeroserve)は、最小限のセットアップで静的ファイルを配信できる軽量かつ高性能な HTTPS サーバーです。各サイトごとに単一のタールアーカイブのみを用いて動作を開始できます。改行・認証・レート制限・リバースプロキシなどの機能を実装するサンドボックス化されたミドルウェアとしてユーザー空間で動作する eBPF プログラムをサポートしています。パフォーマンスの主な特徴は、io_uring I/O インターフェースと即時コンパイル(Just-In-Time コンパイル)された eBPF スクリプトによる卓越したシングルスレッド速度です。Ryzen 7 3700X ベンチマークでは、小規模ファイルにおいて nginx を約 17% 上回り、Caddy よりも大幅に高性能であることが示されました。そのアーキテクチャはバイナリコードを共有する複数プロセスの並列実行によりスケールし、各インスタンスはシングルスレッドモデルの monoio ランタイムを使用します。BoringSSL を用いた高度な TLS 機能もサポートしており、TLS 1.3、暗号化された ClientHello(ECH)、SNI サーティフィケート選択、JA4 フィンガープリント、および ECH リレーモードを含みます。運用上の利点として、原子スワップ(SIGHUP)によるホットリロードやダウンタイムなしの瞬時の構成更新が可能です。eBPF プログラミングモデルは、ヘッダー操作やテンプレート置換を行うために共有されるパーリクエストメタデータマップを持つ、ファイル名順ソートされたスクリプトチェーンを使用します。ヘルパー関数はリクエスト検査・変異、暗号処理(SHA-256、HMAC、base64)、JSON 処理、トークンバケット方式のレート制限、AWS SigV4、および XChaCha20-Poly1305 クッキーを用いた OIDC ログインをカバーします。デフォルト設定では eBPF インスタンスあたりのメモリ使用量の上限が 256 KB で、他の接続を止めることを防ぐためにプリエンプト間隔は 2 ms に設定されています。この間隔を増やすことで動的レスポンスのスループットをさらに向上させることが可能です。リバースプロキシとしての性能では、プーリングされた io_uring コネクションを用いて小規模応答において最先端の速度を発揮し、大規模ボディにおいては nginx と競合するレベルのパフォーマンスを示します。全体として、このサーバーは Lua や Perl などの遅いインタプリターに依存せず、ユーザー空間内で直接低レイテンシーとより細かいセキュリティ制御を提供します。

2026/06/06 23:59
走ることができます

走ることができます

## Japanese 訳文: The Atavist Magazine(第 176 号)のために発行されたバーリー・マイヤーによるこの調査報告書は、ジョン・H・マクキャン三世の犯罪界への生活を開示している。ニュージャージー州サマースポイント市の元市長であり裁判官であった彼は、連邦捜査官が 1984 年 9 月に提示した令状に応じる形で家族と共に米国を脱出し、母であるリーアは娘のエリン(当時 13 歳)とメレディス(当時 10 歳)を学校で下ろして逃亡し、偽名の元にグローバルな流亡を開始させた。マクキャンとそのビジネスパートナーのスティーブ・ヘイグマンは、南米からメキシコを経由して米国へと数トンのコカインを輸送するために、現金での賄賂、プライベートジェット機、チャシードア部の隠されたコンパートメントが装備された改装 Chevrolet ピックアップトラック、そして偽造文書を駆使して大規模なコカイン密輸-ring を運営していた。家族はマヨルカの別荘(「犯罪の海岸」)、ロンドンのホテル、ブリティッシュコロンビア州の牧場、後にワシントン州メアビルスの住宅などを含む豪華な隠れ家に住み続けたが、1986 年頭、サマス、ワシントン州にある国境 crossing で偽造されたカナダ運転免許証所持時に逮捕されるまでであった。連邦陪審団はジョン、リーア、スティーブ・ヘイグマン、サリー・ヘイグマン=マーチンに薬物関連の犯罪で起訴した。妻に対する起訴を回避するために税務犯罪に対して有罪判決を受け入れたマクキャンは、無期懲役(釈放なし)プラス 100 年の刑を受けた。エリンとメレディスは偽造文書の使用により別名の下、イングランドの王立海軍学校で通学した一方、密輸活動は続いていた。スティーブ・ヘイグマンは 1985 年末にカナダのウイストラーで偽造パスポート所持時に逮捕されたが、その真の氏名は天井板の中に埋め込まれていた彼は 1991 年に演出された擬似血出し事象によって拘束から脱出し、その後再捕獲され米国に引渡された。マクキャンはイラン・コントラ問題と中将マヌエル・ノリーガとのつながりを議会に対して証言し、早期釈放を試みた後、1996 年 9 歳でミネアポリスの連邦刑務所病院において白血病により 54 歳の生涯を閉じた。2024 年にエリンは母親リーアのゴミ捨て場から政府文書、陪審団記録、IRS(米国内税务局)面接ノートを含む二つの使用済み銀行箱を救出した。それらの資料には、妻が夫の犯罪について知り、 allegedly コカイン shipments の警護に従事していたことが明らかにされ、またマクキャンを家族の逃亡を組織して自身のイメージを守るためのキャリアの詐欺師として暴露し、娘たちに対して流亡の性質について欺いていたことも浮き彫りになった。リーアの死後、エリンは母親の記憶と和解し、トラウマある幼年期に対する憎悪ではなく感謝を選び取った一方、メレディスは父親の「冒険」叙事に背後にある完全な真実を理解するためにファイルをより深く掘り下げることを決断した。

2026/06/07 0:55
米国の新卒者は平均労働者よりも高い失業率を抱えるようになりました

米国の新卒者は平均労働者よりも高い失業率を抱えるようになりました

## Japanese Translation: 数十年ぶりに、大卒の新卒者の失業率が一般労働者を上回り、「卒業生の有利性(grad advantage)」という長らく存在した前提が崩れました。2026 年初頭時点で、大卒者の失業率は 5.6% に達し、すべての労働者の 4.2% という水準を上回りました。この転換は主に人工知能やパンデミックによって引き起こされたものではなく、2000 年以来の学位価値の構造的な低下と、雇用主によるリモート採用への懐疑の高まりが主な要因です。かつて学士号は景気後退期でも大きなセーフティネットを提供しましたが、現在では高校卒業者やベテラン労働者に対する採用上の優位性を以前のように保証するものではありません。特にコンピューターサイエンスの分野では深刻であり、卒業生の数が 2 倍に増加した一方で求人が減少しています。その結果、就職している新卒者の約 41% は、当初そのような高度な資格を必要としない役割で雇用されています。学位価値の侵食はキャリアプランニングを複雑にし、多くの若手専門職が自らの資格水準よりも低い職位を受け入れることを余儀なくされ、従来の雇用への道筋も大きく構造的に変化しています。

2026/06/07 5:35
PyTorch カスタム演算

PyTorch カスタム演算

## Japanese Translation: 開発者は、PyTorch の新しい `torch.export` 機能を利用することで、カスタム C++ および CUDA 演算を含む複雑な AI モデルをスタンドアロンのバイナリとしてシームレスに展開できるようになりました。カスタム関数は CPU/CUDA ディスパッチをサポートするために `TORCH_LIBRARY_IMPL` に登録され、カスタムクラスは `forward()` メソッドを有し、`torch::CustomClassHolder` で定義され、`TORCH_LIBRARY` を介して登録されます。実装コードは共有ライブラリ(例:`libidentity_conv_ops.so`)にコンパイルされ、Python では `torch.ops.load_library` を使用してロードされます。`torch.compile` および `torch.export` との互換性を確保するためには、ネイティブ C++/CUDA コードを実行せずにシンボルトレーシングを可能にするために、`@register_fake_class` および `@torch.library.register_fake` を使用して抽象的な「偽」バージョンを登録する必要があります。代表例となる 4 レヤーの `IdentityModel` では、ネイティブ演算子と共に C++/CUDA カスタムクラス (`IdentityConvCustomClass`) および C++/CUDA カスタムオペレータ (`identity_conv_op`) が共存します。エクスポートされた際、モデルは AOTInductor パッケージ(`.pt2`)を生成し、`torch._inductor.aoti_compile_and_package` を使用してコンパイルおよびパッケージ化できます。Python 推論では `.pt2` パッケージを直接ロードし、必要に応じて `IDENTITY_CONV_OPS_LIB` 環境変数を指定してカスタムオペレータライブラリのパスを指定することができます。C++ 推論では `torch::inductor::AOTIModelPackageLoader` を使用してモデルを読み込み、共有ライブラリは `dlopen` を使用してロードし、元の Python トレーニングコードの変更なく、断片化されたパイプラインの管理を行わずに、入出力間のビット単位同一の振る舞いを達成します。

2026/06/02 0:39
ポケットモン・エメラルドがWebAssemblyに移植されました(100万フレーム/秒)

ポケットモン・エメラルドがWebAssemblyに移植されました(100万フレーム/秒)

## Japanese Translation: 以下のアップグレード版は、「混乱を引き起こす」というやや冗長な論理を削除し、結論をより直接的に提示しています。 ## サマリー: 提示されたテキストには実質的なメッセージが存在せず、「tripplyons」というタイトルのゲームインタフェースの説明と制御キーのマッピングのみで構成されているためです。物語内容、主張、データといったいずれも含まれておらず、分析資料ではなく純粋に技術マニュアルとして機能しています。したがって、この抜粋から導き出すことができないプロットポイント、キャラクターの詳細、業界への影響、および予測は一切存在しません。キーポイントリストが確認している通り、文書は UI 描写のみを含んでおり、基本的な機能コマンドを超えた解釈可能な情報は何も含まれていません。

2026/06/06 20:12
コロンブスが北の星に代わって使用したもの

コロンブスが北の星に代わって使用したもの

## Japanese Translation: 北极星(Polaris)は広く北極星として知られていますが、1492年時点では真の北天極から約3.5°離れており、 today に比べて約5倍も遠かったため、補正なしには精密な航法に用いることができませんでした。この不一致の原因は、地球の軸の進动(axial precession)による26,000年周期の揺れであり、どの星が極に最も近いかが変わっていく現象です。ベガが現在から約12,000年後に引き継ぐまで、Polaris は最明るい星でも北天極に最も近い星でもなく、現在の北半球におけるその役割を終えます。コロンブス時代には、航海士らは単に Polaris を見ても真北は得られず、補正を行わないと重大な誤差が生じ、マイアミを目指す航海士がキューバへ向かうといった事態を招くおそれがありました。これを補うために、「北極の儀典」 (The Regiment of the North Pole)と呼ばれる手本が使われ、小熊座(Ursa Minor)の主星コハブ(Kochab)とフェルカド(Pherkad)という護衛星を用いて、緯度計算に3.5°を加えるような補正係数を算定しました。このような手動による補正は、1700年代になるまで重要であり、改良された海図や機器によって Polaris がまだ約2°も極から離れていたにも関わらず、精密な測定が可能になりました。現在では、近代アマチュア天文学者も Polaris とコハブとの間の対称線を用いて赤道式望遠鏡(equatorial mounts)のアライメントを行う一方、南半球の観測者は特定のトリックを用いて南天極(South Celestial Pole)を位置決めますが、現在では明るい極星が存在しない地域であるため困難を伴います。

2026/06/04 22:30
Google は SpaceX に月額9億2千万ドルのコンピューティングパワーを支払う予定

Google は SpaceX に月額9億2千万ドルのコンピューティングパワーを支払う予定

## Japanese Translation: 元の要約は堅調だが、要点に記載されている具体的な日付やハードウェアの詳細を欠いている。改訂されたバージョンでは、タイムライン(2026 年 10 月からの開始)に関する正確性を確保するとともに、欠落していたハードウェアおよび財務的文脈を含んでいる。

2026/06/06 20:46
ライプツィヒでのベンチマーク

ライプツィヒでのベンチマーク

## Japanese Translation: 「ライプツィヒのベンチマーク」と題した 3 日間のワークショップが、ドイツ・ライプツィヒにあるマックス・プランク科学研究所で開催された。その際、数学家たちのグループが、既知の解答を持つ 100 問の研究レベルの数学的問題からなるデータセットを編纂した。厳格な 3 段階の評価プロセスにおいて、最先端の大規模言語モデル 5 つがまず 1 回試行(Stage 1)でテストされ、未解決の問題は 41 に残った。その後、特定のトップクラスのモデルについて各モデルに対して複数回の試行を適用した追加テストにより、最終的に未解決の問題はわずか 2 つに減少した(Stage 3)。アンドレイ・バラキンのように著しい研究者を含む著者たちは、これらの高度な「重層的思考」型 AI システムが、現在すでに人間の専門家と同等の数学的推論能力を示していると結論付けている。この飛躍的な成果は、将来的には AI が高度な研究において標準的なツールとして定着するにつれて、ベンチマークがさらに厳格化し、複雑な導出の初期段階を人間が取り扱う必要性が減る可能性を示唆している。

2026/06/06 23:00
国務省関係者によると、ペンタゴンがイスラエルの米国のスパイ活動に対する警戒レベルを最高조에引き上げたという。

国務省関係者によると、ペンタゴンがイスラエルの米国のスパイ活動に対する警戒レベルを最高조에引き上げたという。

## Japanese Translation: 米国防情報局(DIA)は、イスラエルに対する対諜報の脅威レベルを「クリティカル」に引き上げ、スパイ活動への極めて高いリスクを示した。この格付けは、イスラエル側機関が米国高官を積極的に監視しており、特にトランプ政権の中東紛争に関する内部審議や意思決定に関わっているとの懸念に伴うものである。DIA の評価には、7 ページにわたる文書が含まれ、その中の図表では「イスラエルが人的諜報および技術的収集を遂行する能力は『クリティカル』レベルにある」と記載されている。 これに対する措置として、米国の高層高官たちは厳格なセキュリティプロトコルを適用しており、ブレンダーフォンや暗号化されたコンピュータを使用し、ホテル室内では必ず保安線のみを用いて話し合うなどしている。また、イスラエルへの旅行または訪問の際には特に慎重を期している。しかしながら、これらの強化された警戒措置にもかかわらず、イラン戦争に関する日常の情報共有は継続される見通しである。 イスラエル当局はこの指摘を虚偽として否定した。ワシントンにあるイスラエル大使館の話者によれば、この主張は「完全に虚偽」であり、イスラエルの諜報活動は敵国ではなく同盟国を対象としていると述べた。またホワイトハウスの高官は、この件について「知識がない人が出してきた嘘である」と述べている一方、国家情報局長官室からのコメント依頼には応じていない。 この状況は、トランプ大統領とネタニヤフ首相の間にある既存の外交的緊張の上に展開しており、両者はイランおよびレバノンにおける戦争目標において方向性が異なることで対立している。報道によると、先週に行われた電話会談ではトランプ大統領が、両者の目的が異なることを受け、ネタニヤフを「狂っている」と指摘したとされている。4 月にまとわれった停戦合意以来、トランプ氏は 2 月 28 日に始まった戦争を終結させるための外交的な arrangements を pursuing しており、一方ではイスラエル側はイランがそのような合意に従うかどうかを懐疑的であるとしている。 この状況は、1980 年代のジョン・ポールド氏に関与した諜報スキャンダルとの歴史的な類似性を想起させるものであり、彼はイスラエルに対して文書を共有したことにより 30 ヶ年の刑務所生活を送らされた。EMILY HARDING らは、米国内部活動への探求においてイスラエルの諜報機関を「ハイパー・アグレッシブ」と特徴づけている。

2026/06/07 3:21
SEM:コード理解のための新しい素型——LSP は不要で、Git を基盤とするエンティティです

SEM:コード理解のための新しい素型——LSP は不要で、Git を基盤とするエンティティです

## Japanese Translation: **Sem-cli は、Git に意味論的層を導入し、コードエンティティ(関数、クラス、メソッドなど)を解析することで、生テキスト行に依存する従来の方法を変えることでソフトウェア開発を変革します。** この根本的な変化により、AI エージェントはコード文脈を大幅に理解できるようになり、標準的な行ベースの差分と比べて 2.3 倍の精度を達成します。本ツールは Homebrew を介して既存の Git 環境に直接統合され、従来の `git diff` コマンドを自動的に置き換えるとともに、設定不要で 26 のプログラミング言語と 5 つのデータ形式をサポートします。複雑なエンティティレベルの差分をわずか 8 ミリ秒で処理します。基本的な差分機能に加え、`sem blame` コマンドでコード変更の著者を帰属させたり、`sem impact` コマンドでクロスファイル依存関係や影響を受けるテストを可視化したり、`sem entities` コマンドでファイル内のすべての関数またはクラスをリストしたりといった特殊なコマンドを提供します。さらに、AI 相互作用に最適化されたトークン節約型のコンテキストウィンドウ(`sem context`)を提供し、自動化パイプラインの効率化のために機械可読な JSON 出力(`--json` フラグ)をサポートします。今後予定されている `sem log` 機能などにより、コード履歴への可視性がさらに向上します。

2026/06/07 5:03
MicroPython と WASM を活用したサンドボックス環境での Python コードの実行

MicroPython と WASM を活用したサンドボックス環境での Python コードの実行

## Japanese Translation: 2026 年 6 月 6 日、著者が未検証コード(大規模言語モデルや `sqlite-utils` などのユーティリティを含む)を厳格なサンドボックス内で安全に実行するための アルファ版パッケージ `micropython-wasm` をリリースしました。このツールは、GPT-5.5 Pro、Codex Desktop、および Yamamoto Takahashi氏による WASI サポートに関する PR に基づく研究成果を活用し、MicroPython を WebAssembly と組み合わせて `wasmtime` ランタイムを用いて実装しています。セキュリティを確保し、フルなホスト権限付与なしにデータ漏洩やシステムクラッシュを防ぐため、以下の厳格な制御が施されています:クリーンな PyPI 依存関係、メモリ/CPU の制限(`wasmtime` の「燃料」機能によりデフォルトで 2,000 万回の操作に設定)、厳密なファイルアクセス制御、および制御されたネットワークアクセス。ホスト関数は、78 行の C コードで実装され、362KB の WebAssembly ビlob にコンパイルされたものを使って公開されており、ホスト機能とのシームレスな統合を可能にしつつも隔離性を維持しています。 MicroPython が選択されたのは、WebAssembly 内での制約環境に適合する性質が理由です。一方、JavaScript エンジンではなく WebAssembly(`wasmtime` を通じて)が選ばれたのは、優れた保守性と組み込み可能性のためです。実装では `MicropythonSession` クラスを用いてスレッドとキューを介して永続的なインタプリタ状態を管理しています。テスト結果により、GPT-5.5 xhigh がサンドボックスからの脱出を試みたが、現在の試行では失敗していることが示されています。 本プロジェクトには Datasette Agent プラグインである `datasette-agent-micropython` が含まれており、α版パッケージは PyPI で利用可能です。CLI(例:`uvx micropython-wasm`)を通じて直接アクセスするか、Datasette Agent として使用することで、強力なユーティリティを既存のデータスタックに安全に統合しつつ、マルウェアや誤ったコードの実行に対するシステムの完全性を維持することが可能になります。

2026/06/06 23:15
WoofWare.PawPrint:決定論的.NETランタイム

WoofWare.PawPrint:決定論的.NETランタイム

## Japanese Translation: WoofWare.PawPrint は、高度なデバッグおよびメモリアドレス追跡を主に目的とした革新的な決定論的 .NET ランタイムを導入します。速度の最適化を行う標準的なランタイムとは異なり、PawPrint はショートカットを用いずに中間言語(IL)コードを解釈し、.NET 10 の Base Class Library (BCL) を支えるためにのみ JIT 内在関数とネイティブコードに対するシャイミングを行います。この部分的な統合にもかかわらず、現在、BCL 内のネイティブコードは完全には処理できず、モデル化されていない大規模なネイティブ命令量が原因であり、ネイティブサポートが標準化されるまで非生産環境での使用に適していません。 該ランタイムは、`Console.WriteLine`、`async void Main`、`Task.Run`、反射、ならびに `Monitor` などの低レベル同期プリミティブを含む主要な操作をサポートします。スケジューリングは、「興味深い」というスレッド順序の探索を最大化する確率的並行性テスト(Probabilistic Concurrency Testing)の変種を使用します。初期試験では、このハネスは決定論的な手法を用いて 6 つの標準的なデータ競合を迅速に特定し(多くの場合、試行シードが数回以内)、そのことが確認されました。 現在、早期版の NuGet パッケージとして利用可能である PawPrint は、メモリアドレスを生の整数ではなくオブジェクト識別子でマークすることで、そのコアな安全性を実現しています。この設計により、.NET のルールに違反しアプリケーションを予測不能にクラッシュさせる不適切な算術エラーを防ぐことができます。ただし、同じ配列内であると既知のポインタに対する算術演算は引き続きサポートされています。プロヴェナンス追跡も包括的であり、各ポインタは対象となるオブジェクト/フィールド/メソッドがわかるようにされており、バイト配列では投影(projection)と生のユーザーデータを区別しています。 今後の開発では、ユーザーが独自のネイティブコードハンドラーを統合できるようにすること、および実行履歴の豊かな内部モデルを作成して、タイムトラベルとデバッグに対する完全な制御を実現することに焦点が置かれます。大規模言語モデル(LLM)は、リファレンス(.NET)、仕様検索(ECMA-335 via Gemini 2 Pro)、コード補完の用途に活用され、2026 年以降には Sonnet 4.6、Claude Opus 4.7、GPT-5.5 などのモデルを開始します。ネイティブコード処理に関するアーキテクチャ上の一つの決定事項は、当初 GPT-5.5 に abdicated(譲渡)され、配列に対してフェイクアドレスを使用するというものであり、後にこれにより、「I am the address of heap object Foo」というマーカに置き換わる完全な手書きの再書き換えが必要となり、.NET はそのような整数値を未定義として定義しているため意図した通りこれらの算術演算が不可能となる事態となりました。複雑なシステムにおける目から鱗となるバグの検出においては強力ですが、ネイティブサポートが標準化されさらに機能が成熟するまで、開発者は現在これを非生産環境に制限して使用する必要があります。

2026/06/04 16:32
S&P 500 がSpaceX を排除し、OpenAIやAnthropicも上場禁止に

S&P 500 がSpaceX を排除し、OpenAIやAnthropicも上場禁止に

## Japanese Translation: 与えられた要約は、拒否の特定の要因( seasoning 期間および IWF)、"低プロファイルなベンチマーク"を巡る文脈による他市場での迅速な参入の許可、OpenAI や Anthropic に関する具体的な競争データを取り入れることにより、市場への影響についてより明確な picture を提供することができる。 **改善された要約:** S&P Dow Jones Indices は、SpaceX が S&P 500 の包括性を求めるための財務適合基準の緩和を請求したがこれを拒否し、巨額の企業価値 notwithstanding にしても収益性、 seasoning 期間、および最小投資可能重量因子( IWF)に関する厳格な基準を維持した。SpaceX—そして OpenAI や Anthropic といった競合他社も同様に——は現在利益を出しておらず大幅な負債を抱えている一方、Nasdaq や FTSE Russell のような他の指数プロバイダーはそれぞれ 15 日以内および 5 つの取引日以内に加速された参入を認めている。特に S&P は「低プロファイルなベンチマーク」に対して割譲を設け、それらの特定の指数への IPO 参入をより速く可能にしつつも、S&P 500 は依然として頑強である。この決定は、SpaceX が 290 億ドルの負債を減らしたか収益性を達成するまで待つことを余儀なくさせ、受動基金からの約 140 億ドルの資金を見失わせる可能性がある。一方、迅速な参入による潜在的利得は、OpenAI でおよそ 80 億ドル、Anthropic で 46 億ドルに相当する。Morningstar のアナリストらは、IPO に先立って Starlink の強みを基に評価が「著しく過大評価」された 7800 億ドルの SpaceX について指摘し、即時の財務適格性をさらに複雑化させている。この除外は、S&P 500 が MegaCap 企業に対して他市場に見られる柔軟性ではなく、依然として伝統的な指標および waiting period に依存し続けていることを示しており、2026 年 6 月 6 日時点の更新でその姿勢が明確化されている。

2026/06/06 13:38
ゼロから Rust の手続き型マクロ (Procedural Macro) を構築する

ゼロから Rust の手続き型マクロ (Procedural Macro) を構築する

## Japanese Translation: この章では、struct に対して bit フラグ用メソッドを自動的に生成する Rust プロシージャルマクロ `bitfields` の実装方法を説明します。マクロは実行時変数ではなくソースコード上でコンパイル時に動作し、`TokenStream` 入力を `TokenStream` 出力にマッピングする関数として定義されます。これらは `Cargo.toml` に `proc-macro = true` とマークされた独立したクレート内に配置する必要があります。Rust ではプロシージャルマクロとして `#[proc_macro]`、`#[proc_macro_derive]`、および `#[proc_macro_attribute]` の 3 種類が用意されています。ソースコードを操作するには、入力文法解析器(AST, Abstract Syntax Tree)に変換する `syn` クレートと、その AST から新しい Rust トークンを生成する `quote!` マクロを使用します。属性は `Meta::List` や `Meta::NameValue` などの構造体として解析されます。マクロは通常の関数では実現できないコンパイル時の挙動を実行できます(例:`break` 文の挿入)。文法解析にはカスタムキーワード(例:`dont_shift`)を `syn::custom_keyword!` を用いて、または「フォーク」などのエラー回復技術を用いて行うことができます。フラグ用のビットマスク生成は、`(1 << n) - 1` や `u8::MAX >> (u8::BITS - n)` のようなビット演算に依存します。生成されたマクロは struct のフィールドに基づいて、ゲッター(`get_*`/`is_*`)、セッター(`set_*`)、クリア関数、コンストラクタメソッドを提供します。マクロ展開時のエラー処理では `compile_error!` を用いて実行時パニックを回避することが推奨されます。このアプローチは論理を実行時変数からコンパイル時コード操作へシフトさせ、フラグ管理のための boilerplate を削減するとともに、プロジェクト間で標準化された一貫した安全性チェックを実現します。

2026/06/01 4:28
'85年夏:DOSBOSがANALOG Computingから拒否される

'85年夏:DOSBOSがANALOG Computingから拒否される

## Japanese Translation: このテキストは、Atari 800XL の Floppy Disk コンテンツを表示するための BASIC ユーティリティ DOSBOS の enduring legacy を記しています。元々は著者が Atari 400 をアップグレードした後、1985年に開発され、そのプログラムと文書は著者の父によって緑色のバー用紙に印刷され、*Analog*誌へ提出されました。2カ月の待機後、手書きコメント付きで拒否されたものの、機能するプログラムは今も入手可能です。Atari BASIC の制約により、リストを保存するとトークン化されたプログラムの小規模なサイズと比較して大きなプレーンテキストファイルになるため、今日ではレトロなハードウェアまたはエミュレータ上で `LOAD "DOSBOS",8` コマンドを使用して DOSBOSを実行できます。著者は、この長手の 1980 年代の原稿レビューを、より速い現代的なアプリ配布と比較し、Goto 10 の商品ストアへのサポートを呼びかけ、この計算機史を存続させます。

2026/06/04 19:47
Ask HN: なぜHacker NewsのコミュニティはAIに対して否定的なのでしょうか?

Ask HN: なぜHacker NewsのコミュニティはAIに対して否定的なのでしょうか?

## Japanese Translation: 記事「Ask HN: Why is the HN crowd so anti-AI?」は、Hacker News community における抵抗感が、コードの美しさという古臭い焦点から成り立っているのではなく、成功した製品のデリバリー(提供)への関心が不足していることを示しています。20 年以上の経験を持つソフトウェアエンジニアである著者 Ekami は、最近の議論が AI が生成するバグや技術的負債を強調する一方で、エンドユーザーが主に製品が機能するかどうかに関心を持っていると指摘します。手動による開発では初期リリース(バージョン 1.0)までの時間がかかる一方、Claude Code のようなツールを使用した AI 支援型のワークフローにより、バージョン 1.0 の素早いリリースとその後のアップデートの迅速な反復が可能になります。その結果、市場での成功を決定づける要因として、実行速度はコードの純粋性よりも最終的に優先されます。著者は、企業が引き続き AI を活用して迅速な展開とバグの早期修正に重点を置くようになれば、現在の対 AI の世論は広範な受容へと転換し、業界慣行が再定義されると結論づけます。究極的には、初期のコード品質に関する懸念にもかかわらず、AI の統合が実行速度を高め、デプロイメント期間を短縮するため、ユーザーはより早く機能する製品を受け取ることで最大限に利益を得ます。

2026/06/06 11:31
モトローラが説明なく、Wi-Fi ルーターの全ラインを完全に無効化してしまった

モトローラが説明なく、Wi-Fi ルーターの全ラインを完全に無効化してしまった

## Japanese Translation: MotoSync+アプリの iOS および Android 版が 5 月中旬頃に使用不能となり、サポートドキュメントで記載されている通り、互換性のある新しい WiFi ルーターの設定実行やファクトリーリセットを実行できなくなった。この障害はネットワーク製品を製造し、WiFi 機器向けに Motorola ブランドのライセンスを提供している外部のネットワークベンダーである Premier LogiTech, LLC が原因となっている。Motorola は 5 月 14 日に Reddit ユーザーに対し、このベンダー側の問題であることを認めている。Amazon、Reddit、App Store などのネガティブな報告では、スマートフォンによる設定の失敗および顧客サポートが存在しないことが記述されている。既存のルーター設定は一時的に引き続き動作するが、ファクトリーリセットには MotoSync+ アプリが必要であり、アプリが使用不能な状態ではリセット後にデバイスは実質的に利用不可能となる。Motorola はオンラインストア(Motorola Network)からすべてのルーターおよびモデムを取り下げており、製品リストは少なくとも 5 月 18 日までは表示され続けたものの、404 エラーまたはリダイレクトが発生していた。MotoSync+ アプリへの最新版のアップデートは 2 ヶ月前のものであり、これは 2023 年にも同様の使用不能問題を抱えていた旧来の MotoSync アプリを置き換えたものである。また、アプリが使用不能な間はプレミアム機能に関するオプションサブスクリプションサービスもアクセスできない状態にある。サポートコールは頻繁に Gryphon というルーターソフトウェアベンダーへ案内されるが、彼らはこれらの特定の MotoSync 問題を取り扱えないと報じられている。また、依存するベンダー側からの解決が見られない限り、ユーザーからはルーターを「お飾り」扱いとして廃棄すべきだと提案している。

2026/06/06 23:43
Mbodi AI(YC P25)創業者機械学習エンジニア(ロボティクス)を採用しています

Mbodi AI(YC P25)創業者機械学習エンジニア(ロボティクス)を採用しています

## 日本語翻訳: Mbodi は、ロボットが自然言語会話を介して人間のような作業を学習・実行できる画期的なエマボディッド AI プラットフォームを提供しています。高度な生成モデルとエージェントシステムを統合することで、製造、ロジスティクス、実験室における複雑な運用をチャットで習得可能な自動化ワークフローに変換し、数分以内に信頼性の高い展開を実現します。Google とペンシルベニア大学 GRASP に在籍していた創業者らの深い専門知識を活用し、会話上の指示を迅速かつ確実に物理的な動作へと変換しています。YC X25 の後押しを受け、ABB など主要な産業パートナーの支援も得て、Mbodi は人工知能と現実世界のロボティクス間のギャップを架橋し、将来の開発は動的環境における知觉、計画、スキルの汎化に関するモデルの洗練に注力しています。成功には、Python、PyTorch、トランスフォーマー、模倣学習、ロボティックファウンデーションモデルなどに関する専門知識が必要です。究極的には、Mbodi はユーザーが難易度の高いロボットを容易に訓練できるようにすることで重要な業界課題の解決を目指し、これはアクセス可能な自動化における一大躍進です。

2026/06/06 21:00
木からフローへ戻して:決定木と拡散モデルを統合する

木からフローへ戻して:決定木と拡散モデルを統合する

## 日本語訳: **Work は階層構造と拡散過程の間の数学的対応関係を確立することで、決定木と拡散モデルを統一します。** この画期的な進展は、構造化されたデータにおいてこれら 2 つの強力なパラダイムが従来独立して運用されてきたという従来のギャップを解消し、モデルの説明可能性と高忠実度な生成能力という希少な組み合わせをもたらします。 核心的な証拠は、「Global Trajectory Score Matching」という共有最適化原則にあります。これは勾配ブースティングが漸近的に最適となることを保証します。**\treeflow** と呼ばれる手法を導入することで、この統一されたフレームワークは表形式データにおいて競合する生成品質を達成しつつ、計算速度を 2 倍に引き上げます。さらに、提案された **\dsmtree** 手法は階層的分岐ロジックを神経ネットワークに直接蒸留することに成功しました。驚くべきことに、多くのベンチマークにおいて教師モデルの性能をわずか 2% の乖離で追跡しています。 この進展は、明確さを見失わずかつ過大なコストを支払うことなく信頼性の高いデータ生成を求めるユーザーにとって大きく利益をもたらします。将来の開発では、これらのフレームワークをより大規模なデータセットや表形式データ以外の複雑な構造に拡張することが予想され、論理的決定木が不可欠であるその他の領域への応用も潜在しています。本質的には、この作業は明確なロジックと深い生成芸術がいかに効率的に共存できるかを証明しているのです。 ## Text to translate: # Rules - Preserve the original meaning exactly (no additions, no omissions). - Keep the document structure (headings, bullet points if present). - Keep technical terms accurate (API, LLM, zero-trust kept as-is unless there is a natural Japanese equivalent). - Maintain tone and level of certainty. - Do NOT summarize, explain, or rewrite — only translate. # Output format ## Japanese Translation: (write the Japanese translation here) ## Text to translate (if needed; otherwise repeat the original): ## Summary: **Work unifies decision trees and diffusion models by establishing a mathematical correspondence between hierarchical structures and diffusion processes.** This breakthrough bridges the traditional gap where these two powerful paradigms operated separately for structured data, offering a rare blend of model interpretability and high-fidelity generative power. The core evidence lies in "Global Trajectory Score Matching," a shared optimization principle that ensures gradient boosting becomes asymptotically optimal. By introducing a method called **\treeflow**, this unified framework achieves competitive generation quality on tabular data while delivering double the computational speedup. Furthermore, the proposed **\dsmtree** method successfully distills hierarchical decision logic directly into neural networks. Remarkably, it matches teacher performance within just 2% on many benchmarks. This advancement significantly benefits users seeking reliable data generation without sacrificing clarity or incurring excessive costs. Future developments will likely expand these frameworks to larger datasets and complex structures beyond simple tabular data, potentially applying them to other domains where logical decision trees are essential. Essentially, this work proves that clear logic and deep generative art can coexist efficiently.

2026/06/06 21:59
Themida の静的バチャライズ化解除

Themida の静的バチャライズ化解除

## Japanese Translation: この記事は、CodeVirtualizer や Themida といった VM ベースのオビフスキエータで保護されたコードに対する堅牢な記号評価法について詳述し、その適用範囲を VMProtect、OREANS Themida、VXLang など他のツールのものまで拡大しています。脆弱なベンダー固有のトリックやパターンマッチングに依存した以前の手法とは異なり、このアプローチは VM 固有の知識を最小限に抑えることで、バージョンを超えた広範な互換性を確保します。核心的な技術は、ネイティブ命令をカスタム中間表現(IR)へと「リフト」することであり、この IR は AMD64 および ARM64 の両アーキテクチャをサポートしています。ほとんどのレジスターとフラグを記号的に扱いながらスタックポインタ(RSP)を早期に具体化することで、複雑な仮想マシンロジックをネイティブ操作へと最適化します。このプロセスは定数フォールディングを利用して VM の足場(デコード算術やディスパッチロジックなど)を圧縮し、分岐フォールディングを通じて未知の制御フロー経路を解決し、不要な複雑性を防ぐためにデッド依存関係を排除します。最終的にシステムはこの最適化された IR をネイティブコードへと「ローラー」し、レジスタスプレイを引き起こさずにバイナリにクリーンに再挿入します。結果として、この画期的な成果は業界標準の VM 保護を損ない、分析者がオビフスキエーションを効果的に回避することを可能にし、ソフトウェアセキュリティがリバースエンジニアリングへのアプローチ方を根本から変えます。

2026/06/03 5:27