日付別ニュース一覧

新しいC++バックエンド for `ocamlc`

## 日本語訳: 新しいC++バックエンドが `ocamlc` に追加され、インクリメントされていない C ランタイムと外部関数インタフェースを置き換えました。著者は、ユーザーが指定した上限まで素数を生成するプログラムでその使用例を示しています。このプログラムは OCaml の List モジュールの一部を純粋に関数型スタイルで再実装しています。プログラムは `primes.cpp` という慣用的な C++ コードへ翻訳され、`Cons`、`I`、`ifthenelse` などのテンプレートメタプログラミング構造を含みます。`g++ -Dlimit=100 primes.cpp` でコンパイルすると、`print` が型ではないためにコンパイラー風エラーが発生し、出力形式は古い C プリプロセッサのエラー（OCaml の `::` の代わりにネストされた `Cons<hd, tl>`）を模倣します。生成されたコードはデフォルトテンプレート深度を増やす (`-ftemplate-depth=999999`) ことでのみ大きな上限を扱うことができます。著者のマシンでは、`limit = 10000` を実行すると約 30 秒で 10000 以下のすべての素数が出力され、約 11 GiB のメモリを使用します。clang++ は遅く、セグフォールトする可能性があります。アルゴリズム自体は非効率的です——コンテナライブラリからの優先度付きキュー／レフトヒープに基づく改良された純粋関数型素数生成器は、同じ上限で実行時間を約 8 秒、メモリ使用量を約 3.1 GiB に削減します。今後の作業では、このアプローチを他言語へ拡張することが目標です；Rust は部分的な実装特殊化がサポートされれば OCaml プログラムを実行できるようになります。 この改訂された要約は、すべての主要ポイントを反映し、不当な推測を避け、明確な主旨を提示し、あいまいまたは混乱を招く表現を排除しています。

NASAの「アーテミス II」クルーが月へ発進します

## Japanese Translation: > **Artemis II 発射成功:** オリオンのソーラーアレイ翼が午後6時59分に完全展開し、各翼は約15,000セルを含み、およそ63フィート（19メートル）にわたります。 > > **主要推進マイルストーン:** 固体ロケットブースターが午後6時37分に分離；SLSコアステージの主エンジンカットオフは午後6時43分に発生；その後、コアステージ分離が午後6時59分に行われ、最初の推進フェーズが終了しました。 > > **打ち上げタイミング:** 打ち上げウィンドウは午後6時24分（EDT）で開き、ロケットコンプレックス-39Bからの離陸は午後6時35分に実施されました。 > > **事前準備:** 最終天気ブリーフィング（約80％が許可）、クルー服チェック、ハッチ閉鎖、打ち上げ中止システム検証をカウントダウン前に完了しました。コアステージとICPSのタンク作業はLH₂/LOX のスロー・フィル→ファスト・フィル→リペンリッシュ段階で行われました。 > > **離陸後の計画マヌーバー:** オリオンは低軌道上昇マヌーバー（PRM）を実施し、その後遠地点上昇バーナー（ARB）で深宇宙軌道を形成します。 > > **クルーと運用:** 乗員の4名は司令官レイド・ウィズマン、パイロットビクター・グローバー、クリスティーナ・コッホ、およびCSA宇宙飛行士ジェレミー・ハンセンです。NASAはケネディ宇宙センターで午後9時に打ち上げ後の記者会見を開催し、その後クルーは中間液体推進ステージを使用した近接操作デモンストレーションの準備に取り組みます。

DRAM の価格がホビイスト向けのSBC市場を潰しつつあります。

## Japanese Translation: ### 改訂要約 ホビイスト向けのシングルボードコンピュータ（SBC）市場は、DRAM価格が急騰したため圧迫を受けています。Raspberry Pi は LPDDR4 RAM を搭載したすべての Pi モデルの価格を引き上げ、新しい 3 GB‑RAM の Pi 4 を $83.75 に設定し、16 GB の Pi 5 を $299.99 にしました。これらの値上げは主に LPDDR チップのコスト増によるもので、現在ボードコストの大部分を占めています。その結果、4 GB 以上の RAM を搭載したボードは多くのホビイストにとって手が届かないものとなっています。以前はお得だったミニ PC は 8 GB バリアントで $250 を超え、同様に使用済み PC も 4 GB 超で $250 を上回る価格になっています。Radxa は昨年新しいボードをリリースし続けましたが、ほかのベンダーは発売を減速または停止しています。Raspberry Pi の創設者 Eben Upton は「メモリ価格は現在の非常に高い水準で永続するわけではない」と述べており、その期間は不確実です。著者自身のプロジェクトは学習コストを下げ、破損リスクを減らすために $100 未満の部品を対象としています。DRAM 価格が高止まりする場合、ホビイストは古い SBC やマイクロコントローラへ戻る可能性が高く、手頃な選択肢が狭まり、小規模ベンダーは事業停止のリスクに直面します。Raspberry Pi の強力なマイクロコントローラエコシステムと産業基盤はある程度のレジリエンスを提供しますが、ホビイストセグメント全体での多様性は減少する可能性があります。

**エムダッシュ** 「プラグインのセキュリティ問題を解決した、WordPress の精神的後継者」

## Japanese Translation: **改善された概要** EmDashはMITライセンスでリリースされ、GitHubにホストされたオープンソースの全TypeScript CMSです。WordPress の精神的後継者として位置付けられ、サーバーレスまたは Cloudflare の workerd ランタイムを介して任意の Node.js プラットフォーム上で動作します。プラグインは Dynamic Workers を通じてサンドボックス化され、各プラグインがマニフェスト（例：`read:content`、`email:send`）で必要な機能を宣言し、その権限のみを受け取ります。プラットフォームは x402 支払標準に対応しており、サブスクリプションなしで使用料ベースのコンテンツ収益化が可能です。 テーマは Astro プロジェクトとして構築されます—ルート、レイアウト、コンポーネント、スタイル、およびシードファイルを定義し、データベースアクセスをテーマから除外してセキュリティを強化します。EmDash は AI ネイティブ CMS インターフェイスを提供し、会話型インタラクションのための Agent Skills、CLI、および MCP サーバーにより、コンテンツ、メディア、スキーマ、プラグインのプログラム的管理が可能です。 認証はデフォルトでパスキー ベースのログインとロールベース ACL を採用し、SSO は IdP メタデータを介して統合できます。WordPress サイトは WXR エクスポートまたは EmDash Exporter プラグインを使用して移行でき、コンテンツとメディアが自動的に EmDash コレクションへ移動します。本プロジェクトは、プラグインが任意のライセンスを持ち、安全なサンドボックス内で独立して実行できるようにすることで、WordPress のマーケットプレイスロックインを打破することを目指しています。 開発者は `npm create emdash@latest` で v0.1.0 をローカルまたは Cloudflare 上でプレビューできますし、管理インターフェイスは EmDash Playground でライブです。フィードバック・貢献・問い合わせはメール（[devs@emdash.org](mailto:devs@emdash.org)）や更新情報のオプションメールリスト登録を通じて歓迎されます。

**高速で美しい侵食フィルタ**

## Japanese Translation: ## 要約 ブログでは、**水の流れをシミュレートせずにリアルな谷とリッジを生成するGPUフレンドリーな地形侵食法**を紹介しています。開発には **8か月** が要しました。この手法は、Clay John の 2018 年「Eroded Terrain Noise」と Felix Westin/Fewes の 2023 年の改良に基づき、表面勾配と整列したストライプパターンを追加するノイズ関数を使用しています。 回転しやすい単一のピボットでストライプが歪むことを避けるため、パターンはセルに分割され、それぞれにランダムなピボットがあります。隣接セルのストライプは滑らかにブレンドされます。ピークと谷では、ストライプ頻度やフェードが極端になりアーティファクトが発生するため、以下の2つの解決策を導入しています： 1. **周波数アプローチ** – ストライプ幅を傾斜に比例させる（完全適用時に谷の膨らみが生じます）。 2. **フェードアプローチ** – ストライプ幅は一定ですが、急峻度に応じて白/黒へフェードし、イーズアウト形状関数でV字型谷を保ちます。 著者はさらに3つの技術を紹介して視覚品質を向上させています： - **スタックフェード** – オクターブごとにマスクとフェードターゲットを反復適用。 - **正規化された谷** – 閾値以上でサイン/コサインペアを正規化し、ループアーティファクトを回避。 - **ストレート谷** – サイン波の符号を傾斜として使用し、直線的な谷の縁を強制。 実装では高さマップと解析微分の両方を出力します。微分は出力時にフェード（ゼロへ）し、内部利用時にはフェードせず、木被覆などの機能が可能です。オプションパラメータで谷の重み、侵食強度、リッジ/クレースの丸め、およびオクターブごとのエッジ丸めを制御できます。 **リッジマップ**（フェードターゲットから派生し、特定機能を除く）は山側にデンドリック排水ストリークを描画するために使用できます。最終イテレーションは Mozilla Public License v2 の下で公開され、中間版「Clean Terrain Erosion Filter」と高度版「Advanced Terrain Erosion Filter」、および「Mouse‑Paint Eroded Mountains」の Shadertoy リンクが提供されています。 今後の作業として、特定の侵食地形タイプをエミュレートし、パラメータをさらに調整し、オープンエンドな手法によりコミュニティからの貢献を歓迎する計画です。また、Shadertoy Exporter バリアントなどの実用的なエクスポートツールを共有し、Cloudflare 認証や iframe 制限が動画制作に与える課題についても議論しています。 この手法はゲーム開発者とプロシージャルアーティストがGPU上で高速に高品質な侵食効果を生成できるようにし、シミュレーション時間を短縮するとともに、大規模または詳細な世界のサポートを可能にします。

線を交差させる前に設定してください。

## Japanese Translation: この記事は、特定の行動や出来事に対して「ソフトライン」「ファームライン」「ハードライン」の3種類の線を設定し、その線が引かれた時にどのように対応すべきかを説明しています。 1. **ソフトライン** は通過可能で、行動を起こすかどうかは状況によります。ジョークや健康警告などの軽微な違反を対象とし、適切な優しいリマインダーや生活習慣の変更が推奨されます。 2. **ファームライン** はソフトラインとハードラインの中間に位置し、実質的だがそれほど過激でない対応（例：上司からの非倫理的な要求を受けた後の内部告発や辞職・転職活動）が必要です。 3. **ハードライン** は通過できません。この線を越えると、政府法違反への抗議、未払いローンによる友情の終結、不倫での別離など、決定的な行動が求められます。 記事では、多くの人々がこれらのラインを設定しないため「見た瞬間に分かる」思考になり、エスカレーション（家庭内暴力のような状況）が起きやすいと指摘しています。共通する反応パターンとしては、ラインを越えた瞬間に否認し、第二の事件まで行動を遅らせる、あるいは後から線を再定義することが挙げられます。 これを回避するために、記事では段階的なプロセスを推奨しています：一般ラインを定義し、ソフト・ファーム・ハードの基準を確立し、各レベルで許容される違反を設定し、行動と例外を決め、ルールを伝達し、執行メカニズムを整備します。執行アイデアとしては、無視するコストを実際の行動より高く設定したり、責任パートナーを活用したり、自動化された応答（例：ローンが返済されない場合に自動で友達解除）を採用することがあります。 早期にラインを設定することで、デフォルトのトリガー‑アクションロジックが構築され、状況が拡大するのを防ぎ、高価な非効率性を削減できます。明確な指針は個人と組織の両方に利益をもたらし、意思決定の改善、紛争の低減、業界横断的なコンプライアンス強化につながります。

**データ構造を誤った方法で署名する**

## 日本語訳: Snowpackは、暗号操作中に異なるデータ型が互いに誤って解釈されることを防ぎ、代替攻撃を抑止するプロトコルレベルのドメインセパレーターを導入します。 各タグ付き構造体について、コンパイラは**コンパイル時に一度だけ**ランダム64ビット値を生成し、IDLに埋め込みます。このセパレーターはプロトコルの寿命全体で一定である必要があり、そのユニーク性はコンパイラ／実行時に検証され、重複が見つかるとパニックまたはエラーになります。セパレーターは**最終的なシリアライズ形式には含まれません**；代わりに署名・検証・暗号化・ハッシュ化・HMACの前にオブジェクトのバイトストリームと連結されます。セパレーターが正規化されたシリアル化に含まれていないため、ある型用に作成された署名は、同じバイトストリームを共有する別の型には失敗します。 Snowpack のエンコーディングは JSON スタイルの位置配列を使用してフィールド順序を保持し、欠損フィールドには `nil` を挿入して後方/前方互換性をサポートします。中間配列は厳格な制約下で正規化 MsgPack バイトストリームにシリアライズされます：整数サイズの最小化と 1 ペア以上のキー・バリュー対を持つ辞書を禁止し、決定的な出力を保証します。リストは配列としてエンコードされ、オプション値は単一ペアの辞書に変換されます。タグ付きユニオン（variant）は配列または単一キーの辞書のいずれかを使用し、この形式は既存の MsgPack ライブラリと完全に互換性があります。 このシステムは GitHub 上でオープンソース化されており、現在は Go と TypeScript のターゲットをサポートしています。将来的には他の言語も追加予定です。クロスタイプ代替脆弱性を排除することで、Snowpack は安全なシリアライゼーションに依存する任意のアプリケーションを強化します。その設計は、ドメイン分離と正規化エンコーディングを提供するために他のシリアライゼーション方式にも採用できます。

**Show HN：Git Bayesect — 非決定的バグのためのベイズ型 Git バイセクション**

## Japanese Translation: **Git_bayesect** は、Git の二分探索にベイズ推論を適用するコマンドラインユーティリティであり、開発者がフラッキーなテストやその他のイベント失敗の確率を変化させるコミットを隔離できるようにします。 ツールは各コミットを仮説として扱い、未知の失敗率を処理するためにベータ-ベルヌーイモデルと期待エントロピー（ベータ-ベルヌーイ共役）の貪欲最小化を使用します。 **インストール**: `uv tool install git_bayesect` (または pip で)。 **二分探索の開始**: `git bayesect start --old $COMMIT [--new $COMMIT]`. **観測の記録**: 成功の場合は `git bayesect pass`、失敗の場合は `git bayesect fail`/`record failure`。 `pass` コマンドは特定のコミットハッシュとともに実行することもできます（`git bayesect pass --commit $COMMIT`）。 **ステータスと制御**: `git bayesect status`, `git bayesect reset`, `git bayesect undo`. **事前分布の設定**: コミットごとの事前分布は `git bayesect prior --commit $COMMIT --weight 10`、大量の事前分布は `priors_from_filenames` や `priors_from_text` のようなコールバックで設定します。 **自動化とログ**: 観測収集を自動化するには `git bayesect run <command>` を使用し、コマンドログを見るには `git bayesect log`. **最終化**: 最も確率の高い原因コミットにチェックアウトするには `git bayesect checkout`. デモリポジトリ（`fake_repo`）は合成履歴を生成し、フラッキーなスクリプトを実行し、ベイズ二分探索を適用して失敗確率を変化させたコミットを特定する方法を示します。 これらのコマンドを QA ワークフローに統合することで、開発者は問題のあるコミットをより迅速に特定し、リリースの信頼性を向上できます。

アメリカ製セメントおよびコンクリート向けの AI ソリューション

## 日本語訳： Metaは、ベイズ手法を用いてノイズの多いデータを処理しスランプを予測するAI駆動型コンクリート混合最適化ツール「BOxCrete」を発表しました。モデルは2026年アメリカコンクリート協会（ACI）春季大会で紹介され、商用利用が可能なMITライセンスの下でGitHubに公開されています。Meta社のミネソタ州ロズマウントデータセンターで行われた試験では、BOxCreteは完全構造強度を43 %向上させ、ひび割れリスクを約10 %削減しました。同梱されているデータセットは、「コンクリート混合性能のための最高の体系的オープンソース基盤」と称され、GitHubでも公開されています。 Metaは北米最大のセメントメーカーであるAmrizeとイリノイ大学アーバナ―シャンペーン校（UIUC）と提携し、「Made in America」セメントラベルを支援するとともに、2026年に約10億ドル規模の資本投資を発表しました。ペンシルベニア州ではQuadrelがMetaのAIフレームワークをデータ前処理・バッチ／テスト正規化・特徴エンジニアリング、および顧客特有のモデル訓練に採用しており、フィールド結果を混合設計ワークフローにフィードバックすることでモデルは継続的に改善されます。 MetaのAdaptive Experimentation（Ax）プラットフォームはコンクリート配合空間をナビゲートし、既存データから学習して高潜在候補を提案。ユーザー制約を組み込み、各実験結果で予測を精緻化します。米国のコンクリート生産は年間約4億立方ヤードで、そのうち20–25 %が輸入セメントに依存しており、国内製造業と投資に影響を与えています。再現地化努力により2020年以降110万件の雇用が回復し、製造部門へ支出される1ドルあたり2.69ドルの経済効果が追加されています。セメント・コンクリート産業単独で年間13億ドル以上を超える貢献をしており、約60万件の雇用を支えています。 Metaは2025年にBuilding Innovation Award（Best Partnership）とSlag Cement Award（Sustainable Concrete Project of the Year）を受賞し、両方ともAmrizeとUIUCと共有しました。今後、Metaは建設企業との協力をさらに拡大し、追加のAIツール開発、学術研究への取り組み、国内素材採用の拡大・排出削減・米国コンクリート製造の強化を目指すサプライチェーンレジリエンスプロジェクトを構築する計画です。

**IPv6アドレスの思い出** > 「16個の十六進数ブロックがあり、各ブロックは2桁で構成されており、コロンで区切られています。」

## Japanese Translation: > 記事は、IPv6 アドレスを覚えやすい文に変換する方法を説明しています。各十六進数グループを一意の単語またはフレーズにマッピングする双方向変換システムを使用し、特別なツールなしで簡単に口頭共有と記憶ができるようにします。

「Ask HN：誰が採用していますか？（2026年4月）」

データサイエンティストの復讐

## Japanese Translation: --- ## 要約 この記事は、大規模言語モデル（LLM）API が普及しているにも関わらず、データサイエンティストが不可欠であると主張しています。実験設計・確率的システムのデバッグ・メトリクス作成・厳格な評価という彼らの核心業務は、LLM によって完全に自動化されることはありません。 ### なぜ重要なのか - **歴史的背景**：21 世紀の「最もセクシーな仕事」は、統計とソフトウェアエンジニアリングを融合したものであり、予測モデリングの高給が Machine Learning Engineer という職種を生み出しました。 - **現在の変化**：LLM API が AI の開発サイクルを短縮し、仕事の関連性に関する懸念を呼び起こしています。 ### データサイエンティストがまだ行うこと 1. **実験設定とデバッグ** – テストが合成プロンプトではなく、実際の本番ログに基づいていることを保証します。 2. **メトリクス設計** – ROUGE/BLEU のような汎用類似度スコアや、helpfulness, coherence などの既製メトリクスから一歩踏み込んだものへ移行します。 - 例：OpenAI の「harness engineering」ブログでは、ドメイン固有のメトリクス（例：「Calendar Scheduling Failure」）を用いたエージェントが紹介されています。 3. **評価の厳密さ** – LLM ジャッジを分類器として扱い、人間ラベルで検証し、精度ではなく適合率/再現率で報告します。 4. **データとラベリングの品質** – 専門家によるラベリングを要求し、外部委託や非ドメインアノテーションへの懐疑的姿勢を持ち、原始データからユーザー基準を抽出します。 ### これらの実践が省かれた場合の落とし穴 - 汎用メトリクスに頼ると、アプリケーション失敗を見逃す可能性があります。 - 検証されていないジャッジは信頼性の低い出力につながります。 - 合成テストセットや過度に複雑なリッカート尺度のルーブリックは、評価とビジネス成果を断絶します。 - ラベリングが不十分だとモデル性能が損なわれます。 ### 最終的な結論 LLM は基盤作業（パイプライン）を自動化できますが、人間によるアウトプットの検証、ジャッジの確認、実際のユーザー要件を真に反映した実験設計といった監督は置き換えられません。これらの基本的なデータサイエンス慣行を維持することが、信頼性の高い AI システムを提供するためには不可欠です。 ---

Show HN: Dull – Instagram Without Reels, YouTube Without Shorts (iOS) **Show HN：ダル ― Instagramでリールなし、YouTubeでショート動画なし（iOS）**

## Japanese Translation: 記事は、Instagramリール、YouTubeショーツ、Facebookリール、およびXの「For You」タブ、広告やトレンドクリップなどの短編動画をブロックする新しいブラウザ拡張機能について説明しています。その他すべてのソーシャル機能はそのまま残ります。オンデバイスフィルターが短いコンテンツの読み込みを防ぎ、サーバーやユーザーアカウントに送信されることはありません。ユーザーは、日次時間制限、静かな時間帯、個別フィルタートグル、グレースケールモード、摩擦ゲートなどで体験を調整できます。ウェルネスアプリや親権管理のように罪悪感メカニズムを追加するものとは異なり、このツールは不要な短動画を単純に除去します。 サービスは3日間の無料トライアルを提供し、その後、ユーザーは以下の3つの有料プランから選択できます：$3.99／月（いつでもキャンセル可能）、$14.99／年（約$1.25／月、69％節約）または一括$59.99で生涯利用。すべてのプランがすべての機能へのフルアクセスを許可し、階層的な制限はありません。 ユーザーに軽量な方法で短編動画による気晴らしを削減させつつ、コアのソーシャル機能を犠牲にしないことで、この拡張機能は市場で同様のコンテンツフィルタリングソリューションへの需要に影響を与える可能性があります。

**InspectMind AI（YC W24）― 採用情報**

## Japanese Translation: 提供された要約はInspectMind AIのコアビジネス、成長、および影響を捉えていますが、キーポイントリストに記載されているいくつかの重要なポイントを省略しています。すべての主要情報を完全に反映するには、より包括的な要約に以下も含める必要があります。 1. **役割の責任** – エンドツーエンド製品機能の構築、精度向上、大部分のプロダクト所有、即時インパクトのための高速デリバリー（キーポイント 6）。 2. **望ましい経験とスキルセット** – 2〜5年以上本番コードを配信した経験、AIコーディングエージェントへの習熟、高い速度・所有感・プロダクト直感・ユーザー共感・曖昧さに対する興奮（キーポイント 7）。 3. **技術スタック** – AWS と Next.js。製品は完全にAIによって構築され、コード品質とセキュリティを維持しながら AI コーディングツールの効率的な活用が求められます（キーポイント 8）。 4. **企業文化** – スピード感・プロダクト志向・直接ユーザーアクセス・官僚主義なし・高い所有感を持つ小規模チーム（キーポイント 9）。 5. **面接プロセス** – イントロコール、技術インタビュー、トライアルプロジェクト、オファー。役割は建設安全と施工効率の向上に実際の影響を与えることを約束します（キーポイント 10）。 これらの要素を含めることで、InspectMind AIが何を行い、候補者に何を期待しているかについて完全な画像が得られます。

**Show HN：Flight‑Viz ― Rust＋WASM で 3.5 MB に収めた 3D 地球儀上の10,000便**

## Japanese Translation: **要約** 提示されたテキストには実質的な情報が含まれていません—明確な主旨、裏付けとなる証拠、背景コンテキスト、将来展望、またはユーザー・企業・業界への影響についての記載もありません。言い換えれば、欠落した内容を示すプレースホルダーだけが含まれています。そのため、この資料から有意義な情報を抽出したり要約したりすることはできません。

**StepFun 3.5 Flash** *OpenClawタスク（300戦）で最もコスト効果の高いモデル #1.*

## Japanese Translation: **改訂要約** この記事は、主要なAIモデルを実際のエージェントと共にリアルタスクで動かし、その結果をOpenClawリーダーボードバトルズインターフェースで提示することで比較しています。サイド‑バイ‑サイドの対戦を表示し、読者は同一条件下で各モデルが他とどのように競い合うかを見ることができるほか、同じプラットフォーム上でモデル統計やパフォーマンスデータも可視化します。本稿では将来の開発やユーザー、企業、業界への具体的な影響については触れていません。

GrapheneOS 対応デバイス向け Swappa.com ― 利用は控えましょう

## Japanese Translation: > このテキストは、新しいディスカッションフォーラム「GrapheneOS Discussion Forum」を発表しています。これは、GrapheneOS（プライバシー重視のオープンソースAndroid OS）について開発者・ユーザー・愛好家が語り合うためのオープンスペースであることを示しています。今後の議題や計画は明記されていませんが、このフォーラムの設立は、GrapheneOS の機能や課題に関するコミュニティ協力を促進する意図を示唆しています。

**科学者たちが金の生成に関する20年にわたる核ミステリーを解明** 二十年以上にわたり、物理学者はスーパ新星爆発中に一般的な元素がどのようにして金になるかという正確なプロセスに頭を悩ませてきました。国際共同研究からの最新成果により、この長年の謎が解決されました。 - **主要発見** チームは、重核を星の死期における強烈な中性子バーストで打撃したときに金を生成できる特定の中性子捕捉反応列―*r‑プロセス*―を特定しました。 - **研究手法** ヨーロッパ宇宙機関（ESA）の *Gaia* 天文台から得られたデータと、Titanスーパーコンピュータ上で実行したシミュレーションを用いて、鉄より重い元素が極端な温度・圧力下でどのように形成されるかをマッピングしました。 - **意味合い** この突破口は金の宇宙起源を明らかにするだけでなく、星の進化と核合成モデルも洗練させます。古代星で観測された元素濃度パターンの解釈にも寄与し、希少同位体探索の今後の方向性を示唆します。 *Nature Physics* に掲載された本研究は、私たちの宇宙を形作る複雑な化学過程を理解する上で重要な一歩となります。

## Japanese Translation: （欠落している点を補い、言語を明確化したもの） ## Summary UTの核物理学者は、エキゾチックな原子核におけるベータ遅延二中性子放出について、私たちの理解を深める三つの関連する発見を報告しました。まず、彼らはCERNのISOLDE Decay Stationで大量に生産され、レーザー分離で精製されたインジウム-134を用いて、r-process経路上でこの崩壊に伴う中性子エネルギーを測定しました。次に、彼らはスズ-133（¹³³Sn）における以前に未測定だった単一粒子中性子状態を観測し、その原子核がベータ崩壊の起源を「記憶」していることを示しました。最後に、彼らはこの新しい状態が統計的ではなく非統計的に充填されることを実証し、従来の統計的崩壊モデルと矛盾する結果を得たことで、エキゾチックな原子核に対する既存の核理論の限界が明らかになりました。 これらの実験は、米国国家科学財団（NSF）のMajor Research Instrumentationプログラムによって資金提供され、UTオースティンで構築された中性子検出器を用いて行われました。研究チームには、大学院生ピーター・ディズェル（第一著者）、ジェイコブ・ガージ、ロバート・グジワツ教授、ミゲル・マドゥルガ准教授、モニカ・ピエルサ＝シルクオスカ研究員、およびゼンギュ・シュウ助教が含まれます。 これらの発見は、金や白金などの重元素を生成する星間イベントモデルを改善し、エキゾチックな核挙動の予測精度を高めるとともに、安定性から遠く離れた核空間（テネシンなどの超重元素まで）を探査する実験が進むにつれて、より洗練された理論的枠組みの必要性を強調しています。

ジャックスの真の使命：WebGLにおけるレイマーチングレンダラー

## Japanese Translation: --- ## Summary この記事では、JAXを使ってPythonでコンパクトかつGPUアクセラレーションされたグラフィックスレンダラーを構築し、WebGL経由でウェブブラウザ上で実行できるようにエクスポートする方法を示しています。JAXの自動ベクトル化（`vmap`）と微分可能性を活用して、著者はサイン付き距離関数（SDF）を各ピクセルに対して評価するレイマーチングエンジンを実装します。このレンダラーは512 × 512画像の各ピクセルについてSDFを評価し、マウス位置と時間を入力として動的シーンを駆動します。 実装は約100行程度の数式中心のPythonコードで完結しています。標準的なSDF演算（`min`、`max`）を用いて形状を合成し、効率的なレイマーチングのために球追跡（sphere tracing）を採用し、SDFの勾配から表面法線を導出することで、実行時のεトリックなしにコンパイル時に拡散または鏡面反射のライティング計算が可能です。JAXの`vmap`は2回適用されます：1回目は全ピクセルに対してベクトル化し、2回目は各ピクセル内のレイマーチングループで使用します。 今後の方向性としては、`jax-js`を介したWebGPUサポートの追加、JAXGAによる幾何学代数の実験、SDFコレクションとしてニューラルネットワークを可視化すること、およびJAXの実験的Taylor展開ツール（`jet`）を用いてコンパイル時レンダリングを高速化することが挙げられます。著者はまた、ReLUやSoftmaxなどのニューラルネットワーク層がソフトインターセクションされたSDFとどのように関連しているかを探求することも示唆しています。 この軽量DSLは、PythonでGPUアクセラレーションされたグラフィックスをプロトタイプしたい開発者にとってエントリーバリアを下げ、ウェブベースの可視化ツール、教育プロジェクト、およびレンダリングと機械学習を統合する研究に恩恵をもたらします。

- ZomboCom はハッカーに盗まれました。 - それは売却され、次に AI が生成したメイクオーバーで置き換えられました。

## Japanese Translation: **概要：** 90年代後半に人気を博したフラッシュサイト「ZomboCom」は、回転する円のローディングアニメーションで知られていましたが、ハッカーによって乗っ取られ、GoDaddy にリストされました。その後、新しい所有者へ売却され、象徴的な魅力は AI が生成したメイクオーバーに置き換えられています。元のロゴは消去され、Suno などで作成された全く新しい AI 作曲トラックが古いテーマソングの代わりに使用され、進捗バーも表示されます―100 % に達すると訪問者に「Join Zombo」と促されます。以前の再設計試みでは、納得できる AI ロゴがなく、クラシックなスピナーをゲームショー風アニメーションとして誤って表現していました。現在の所有者は、ドメインを元の創作者に売却することを提案しており、創作者は盗難を公に確認し、制御権回復に積極的に取り組んでいます。このケースは、サイト乗っ取りが愛された体験を消し去り、クリエイターの法的・所有権紛争を引き起こす可能性と、広範なウェブコミュニティにおける AI 主導のコンテンツ置換の警告例として示しています。

**操作マニュアル：センサー物理研究開発ラボの設置** 1. **目的設定** - 主要研究領域（例：MEMS、光学センサ）を特定する。 - 短期・長期のマイルストーンを設定する。 2. **ガバナンス構築** - 監督委員会を設置する。 - 役割を割り当てる：ディレクター、プロジェクトマネージャー、技術リード。 3. **資金・リソース確保** - 設備、人員、消耗品の詳細予算を作成する。 - 補助金申請、機関支援、産業スポンサーシップを検討する。 4. **場所選定とレイアウト設計** - 十分なスペース・電源・空調・振動隔離があるロケーションを選ぶ。 - クリアンベンチ、電子機器エリア、機械作業ステーション、データサーバーなどのゾーンを設計する。 5. **設備調達** - コア装置：レーザー干渉計、振動台、真空室、分光計。 - 校正基準・参照センサ。 - 安全機器（レーザー安全具、低温液体取り扱い用）。 6. **標準作業手順書（SOP）の策定** - 試料調製、測定プロトコル、データ記録方法を決める。 - 重要装置の保守スケジュールを設定する。 7. **人員配置と研修** - 熟練エンジニア・技術者・ポストドクタル研究員を採用する。 - 設備操作、安全管理、データ管理に関する研修を実施する。 8. **ITインフラ構築** - 安全なネットワークとバックアップストレージを整える。 - ラボソフトウェア（データ取得・解析・バージョン管理）を導入する。 9. **安全対策とコンプライアンス** - レーザー、低温液体、有害化学物質のリスク評価を行う。 - PPEステーション、緊急シャワー、消火システムを設置する。 10. **委託試験（Commissioning Tests）** - 校正基準でベースライン測定を実施する。 - 既知の参照値と比較し、装置精度・再現性を確認する。 11. **記録と報告書作成** - 全委託データをラボログブックまたは電子システムに保存する。 - ステークホルダー向けの委託レポートを作成する。 12. **継続的改善** - SOP、装置性能、研修ニーズの定期レビューをスケジュール化する。 - ユーザーフィードバックを取り入れ、ワークフローを洗練させる。 これらの手順に従うことで、センサー物理研究開発ラボは運用準備が整い、安全基準に適合し、高品質な研究成果を生み出す体制となります。

## 日本語訳: （以下は「Stage 4 “Improved summary”」の全文を日本語に翻訳したものです） > **目的別設計ガイド** – 実験物理学、電子工学開発、または計測機器作業を支援する実験室の構築・改装に役立つ実用的なフレームワーク。 > 1. **著者と背景**：マグネ・ラウリツェン（Magne Lauritzen）が執筆し、CERN、LBNL、DESY、およびベルゲン大学での経験を反映（連絡先：magne.lauritzen@summacogni.com）。 > 2. **対象ユーザー**：実験物理学・電子工学・計測機器分野のラボで、センサー別に区切られた明確なセクションを持つもの。 > 3. **空間優先**：設備購入前に目的別設計または大幅改造が必要。主要エリア要件は以下の通り：メインラボ ≥30 m²、機械作業場 ≥20 m²（メインラボとは別）、PCB/PCBA エリア ≥10 m²（メインラボと共有可）、オプションで化学実験室 ≥20 m²。 > 4. **主要インフラ**：乾式洗浄済み圧縮空気、窒素、真空ライン、冷却水供給、多数のガスライン、高負荷回路専用、UPS、VLAN付き管理 LAN、ESD安全床。 > 5. **フェーズ別調達**： > * フェーズ 1 – 基本インフラとベンチ機器（電源装置、DMM、オシロスコープ、ロックイン増幅器、SMU、低ノイズプレアンプ）。 > * フェーズ 2 – 信号調整、DAQ、環境室。 > * フェーズ 3 – プロジェクト固有の RF、光学、化学機材。 > 6. **環境制御**：温度・湿度室、振動隔離台、ファラデーケージ、リニアフローフード、遮光/半消音ケース（高感度測定用）。 > 7. **安全要件**：CO₂消火器、溶剤専用セーフティキャビネット、救急ステーション、放射線源取扱いの文書化（該当する場合）。 > 8. **機械作業場ツール**：クリーピングキット、ワイヤーストック（20–30 AWG シリコン/PTFE）、ヒートシュリンク、SMA/SMB/BNC コネクタ、ベンチドリルプレス、換気付きレーザーカッター、Formlabs Form 3 レジンプリンタ、FDM プリンタ、ホットプレート。 > 9. **PCB/PCBA エリア**：高品質はんだ装置（Weller WX2N、WXP65、WHAP200）、HEPAファンエキストラクター、ステレオ顕微鏡（Leica S6E / Olympus SZ61）、PCBミリング（LPKF ProtoMat）、超音波洗浄、ESD保護装備、部品ライブラリ在庫。 > 10. **キャリブレーションと基準**：NIST トレース可能なセンサー、電圧参照（Fluke 732C）、校正ガス、RF リファレンスロード、オシロスコープキャリブサービス – 可追跡性・公開可の結果を得るために必須。 この要約はすべての重要ポイントを保持し、メーカーの利点について推測する記述を除去し、情報を読みやすく整理した形式で提示しています。

Claude が完全に実装した、FreeBSD のリモートカーネル権限昇格（RCE）で、root シェルを取得するものです。

## Japanese Translation: FreeBSD の `kgssapi.ko` モジュールに存在する CVE‑2026‑4747 欠陥は、スタックバッファオーバーフローであり、リモート攻撃者が対話型リバースシェルを介して完全な root アクセスを取得できるものです。このバグは、ポート 2049/TCP で `kgssapi.ko` がロードされた状態の NFS サーバーが、資格情報本文が 96 バイトを超える RPCSEC_GSS DATA パケットを処理するときに発生します。`svc_rpc_gss_validate()` へのコピー操作が callee‑saved レジスタとリターンアドレスをオーバーフローさせます。パッチ (14.4‑RELEASE‑p1) は境界チェック `if (oa->oa_length > sizeof(rpchdr)-8*BYTES_PER_XDR_UNIT)` を追加し、このオーバーフローを防止します。 影響を受けるリリースは、FreeBSD 13.5 (<p11)、14.3 (<p10)、14.4 (<p1) および 15.0 (<p5) です。脆弱性は、GENERIC カーネルで KASLR が無効化され、少なくとも 2 CPU（16 の NFS ワーカー・スレッド）がある 14.4‑RELEASE amd64 システムでテストされました。それ以外の場合、エクスプロイトは第 9 ラウンド付近で失敗します。 攻撃には、`nfs/test@REALM` プリンシパル用の有効な Kerberos GSS コンテキストと特定のクライアント設定（`rdns = false`、`dns_canonicalize_hostname = false`）が必要です。エクスプロイトは 15 個のオーバーサイズ RPCSEC_GSS パケットを送信し、それぞれが `kthread_exit()` を介して一つの NFS ワーカー・スレッドを停止させます。すべてのスレッドが上書きされた後、ROP チェーン（固定カーネルアドレス `0xffffffff80e3457c` などを使用）によりシェルコードがカーネル BSS に書き込まれ、実行可能にされてジャンプします。シェルコードは `kproc_create` を用いて新しいプロセスを作成し、`kern_execve()` を介して `/bin/sh` を実行することで、netcat 上の対話型 root リバースシェルを提供します。 NFS over Kerberos を公開している上記の影響を受ける FreeBSD リリースを実行しているシステムは、ネットワーク全体やサービスを侵害できるリモートコード実行に対して脆弱です。

**Windows 95：古いバージョンのファイルで上書きされるインストーラに対する防御策** - **ファイルシステム保護** - FAT ファイルシステムは、書き込まれるファイルのタイムスタンプを確認します。新しいファイルが既存ファイルよりも古い場合、Windows 95 は上書きを拒否します。 - **ユーザー確認プロンプト** - インストーラが既存ファイルを日付的に古いコピーで置き換えようとすると、Windows 95 は「本当に続行しますか？」というダイアログボックスを表示し、ユーザーの確認を求めます。 - **読み取り専用属性の強制** - 読み取り専用に設定されたファイルは、ユーザーが属性を明示的に変更するか、管理者権限でインストーラを実行しない限り、上書きできません。 - **インストーラ整合性チェック** - インストーラにはチェックサム検証機能が組み込まれることがあります。書き込み対象ファイルのチェックサムが期待値と一致しない場合、インストールは停止します。 - **バックアップ・ロールバックメカニズム** - ファイルを置き換える前に、Windows 95 は一時的なバックアップコピーを作成することがあります。新しいファイルが検証に失敗したり、古い場合はシステムが自動的に元のバージョンへ復旧します。

## 日本語訳： Windows 95は、16ビット Windows でインストーラが古いファイルを新しいものに上書きしてしまうという長年の問題を解決しました。意図されたルールは、新しいファイルのバージョン番号が既存コンポーネントより高い場合のみ置き換えることでしたが、ほとんどのインストーラはこの規則を無視し自由に書き込みました。この問題を解決するため、Windows 95 は頻繁に上書きされるファイル用に隠しバックアップディレクトリ（`C:\Windows\SYSBCKUP`）を作成しました。各インストール後に OS はバックアップされたファイルが上書きされたかどうかを確認します。置き換えが新しい場合はバックアップを更新し、そうでなければ古いバージョンを復元します。上書きを完全にブロックしたりユーザーにプロンプトを表示する以前の方法はインストール失敗を引き起こし、複雑さを増していました。最も効果的な戦略――インストーラが自由に上書きできるようにし、Windows 95 が後で誤りを整理する――が、その後の Windows リリースで標準アプローチとなりました。一部のコンポーネントは独自のインストーラを提供し、サードパーティ製インストーラにはそのファイルに直接触れないよう指示していました。 このバージョンはリストから主要なポイントすべてを保持し、未検証の推論を避け、明確で簡潔な物語を提示しています。

SolveSpace（オープンソースの2D/3D CAD）は、Windows 2000 でも動作します（2025 年時点）。

## 日本語訳： GitHub は、Copilot（コード生成）、Spark と Models（インテリジェントアプリケーション構築）、Prompt Management（プロンプト整理）といった AI 搭載ツールのスイートを拡充しつつ、Actions（自動化）、Codespaces（即時開発環境）、Issues、Code Review などのコアワークフロー機能も提供しています。これらはエンタープライズレベルのサポート、段階的な価格設定、および脆弱性検出やシークレット保護といったセキュリティ機能を備えています。GitHub は既存のドキュメント、マーケットプレイス、コミュニティフォーラムに加えて、Security Lab、Maintainer Community、Accelerator、GitHub Stars、Archive Program などの専門プログラムを開始し、多様なユーザーグループに対応しています。プラットフォームは企業規模（大手企業、中小チーム、スタートアップ、非営利団体）でセグメント化されたオーディエンスを対象とし、App Modernization、DevSecOps、DevOps、および CI/CD のユースケースをヘルスケア、金融サービス、製造業、政府機関などの産業にわたって強調しています。今後、GitHub は Copilot for Business などの追加 AI 強化サービスやより深いセキュリティ機能を展開し、個人開発者と企業の両方に対して採用拡大と迅速かつ安全な開発ワークフローの提供を目指しています。

**Show HN：** 「Zerobox – ファイル・ネットワーク・認証情報を制御して任意のコマンドをサンドボックス化」

## Japanese Translation: ## Summary: Zerobox は軽量でクロスプラットフォームのサンドボックスです。デフォルトではプロセスを隔離し、書き込みやネットワークトラフィック、およびほとんどの環境変数へのアクセスをブロックします。ただし、明示的な権限が付与される場合のみ例外となります。コマンドラインフラグ（例：`--allow-read`, `--deny-net`）または SDK オプションでアクセス制御を行い、プロキシ経由で秘密情報を注入し、macOS では Seatbelt、Linux では Bubblewrap + Seccomp といった OS 固有の隔離層に依存します。ベンチマーク結果から、オーバーヘッドは約10 ms程度と低く、メモリ使用量も控えめであるため、ローカル開発や AI 生成コード実行に適しています。 Rust/Cargo で構築され、シェルスクリプトまたはソースビルドを通じてインストールでき、現在は macOS / Linux に対応し、Windows のサポートが予定されています。今後のリリースでは Windows サポートの追加、TypeScript を超えた SDK バインディングの拡張、およびネットワーク／秘密情報に対するより細粒度の制御を導入します。このツールは CI パイプラインや LLM ツーリング向けで、コンテナの重いオーバーヘッドなしに不信頼コードを安全に実行できるよう設計されています。 開発者向けには、潜在的に危険なスクリプトをローカルで最小限のリスクで迅速に走らせる手段を提供します。組織向けには、エッジデバイスや継続的インテグレーションワークフローといったリソースが制約された環境でより厳格なセキュリティポリシーを実施できるようにします。 ## Summary Skeleton **What the text is mainly trying to say (main message)** Zerobox は軽量でクロスプラットフォームのサンドボックスです。デフォルトではプロセスを隔離し、書き込みやネットワークトラフィック、およびほとんどの環境変数へのアクセスをブロックします。ただし、明示的な権限が付与される場合のみ例外となります。 **Evidence / reasoning (why this is said)** ツールはコマンドラインフラグや SDK オプション（`--allow-read`, `--deny-net` など）を通じて隔離を実現し、プロキシで秘密情報を注入し、OS 固有の隔離層（macOS の Seatbelt、Linux の Bubblewrap + Seccomp）を導入しています。パフォーマンステストでは約10 msのオーバーヘッドと控えめなメモリ使用量が確認されています。 **Related cases / background (context, past events, surrounding info)** Zerobox は Rust/Cargo で構築され、シェルスクリプトまたはソースビルドを通じてインストールでき、macOS と Linux に完全に対応し、Windows のサポートが予定されています。これは Docker などのサンドボックスツールの傾向に沿いつつ、ローカル開発や AI 生成コード実行のために格段に軽量化したものです。 **What may happen next (future developments / projections written in the text)** 今後のリリースでは Windows サポートが追加され、TypeScript を超えた SDK 言語バインディングが拡張され、ネットワークや秘密情報に対するより細粒度の制御が導入される可能性があります。ツールは CI パイプラインと LLM ツーリングで不信頼コードを安全に実行するために位置付けられています。 **What impacts this could have (users / companies / industry)** 開発者はローカルで不信頼スクリプトや AI 出力を最小限のリスクで実行でき、組織は完全なコンテナ化のオーバーヘッドなしにより厳格なセキュリティポリシーを適用できます。軽量性により、エッジデバイスや継続的インテグレーション環境といったリソースが制約された場面で採用が進む可能性があります。

**Ask HN：採用したい方はいらっしゃいますか？** *2026年4月*

ランダムな数値、ペルシャ語コード：神秘的な信号がラジオ探偵を魅了する

## Japanese Translation: （以下はご指定のテキストを日本語に翻訳したものです） --- ### Summary 新しい短波「ナンバーステーション」、**V32** が2月28日に放送を開始しました。これは米国とイスラエル軍がイランへの爆撃を開始して約12時間後のことです。このステーションはペルシャ語を話す男性の声で無作為な数字を朗読し、続けて「tavajjoh」（注意）という単語を**3回**発話します。これらの伝送は毎日2回（UTCの早朝と夕方）行われ、粗い短波周波数で放送されます。 3月4日に信号はバブルジャミング電子ノイズで妨害され、聞き取りが困難になりました。短時間の停止後にステーションは近隣の別の周波数へ移行しました。このタイプのバブルジャマーは冷戦時代にBBCやRadio Free Europe に対して使用されており、最近では Radio Farda や VOA Farsi などペルシャ語サービスにも同様のジャミングが影響しています。 信号は英国グループ Enigma2000 によって「V32」と名付けられ、Priyom のブログで特定されました。これは数年ぶりに登場した新しいナンバーステーションです。三角測量により送信機の位置候補は北イタリア、スイス、西ドイツ、東フランス、ベルギー、オランダを含む地域へ絞られますが、専門家はイラン、米国、イスラエル、トルコ、あるいは心理戦作戦のどこに責任があるか確認できていません。 数字は**完全にランダムで絶対に破読不可能**とされ、受信者専用のワンタイムパッドデコーダーを必要とします。ABC News は3月9日に米国法執行機関が「暗号化された通信を傍受した」と報じましたが、この伝送に関する詳細は明らかにされておらず、CIA は RFE/RL からの問い合わせに回答していません。 V32 の突然の出現と世界中への再放送特性は、ラジオ愛好家や情報機関の双方にとって状況認識を高める要因となっています。

**Pratt パーサーを直感的に把握する**

## Japanese Translation: 「元の要約は正確で明確ですので、そのまま繰り返すことができます。」 ## Text to translate (The original summary is accurate and clear, so it can be repeated as‑is.)