ポリマーケットのギャンブラーが、イランミサイルに関する話題で私を殺すと脅しています。

2026/03/16 21:00

ポリマーケットのギャンブラーが、イランミサイルに関する話題で私を殺すと脅しています。

RSS: https://news.ycombinator.com/rss

要約

Japanese Translation:

記事は、アビヴとダニエルという二人のヘブライ語メール送信者を中心に、多くの関係者が「The Times of Israel」に対し、2026年3月10日にベイト・シェメシュ近郊の住宅から約500 m離れた森林地帯に落下したイランの弾道ミサイル攻撃のライブブログ記述を変更させようとする一連の試みを報告しています。救援サービスは負傷者なしと報じ、映像には兵器核の大爆発が映し出されました。ブログでは当初、この事件を「オープンエリアでの衝突」と表現していました。

ダニエルは繰り返し記事の訂正を要求し、ミサイルが迎撃されたか、あるいは攻撃が行われなかったと明記するよう求めました。彼の要求を無視すると、ポリマーケットの賭けに影響を与えると脅迫しました。その賭け「Iran strikes Israel on…?」では、イランの攻撃が起こったかどうかについて1400万ドル以上が掛けられ、ミサイルまたはドローンがイスラエル土壌に着陸し迎撃されなかった場合のみ「Yes」と解決します。

匿名ユーザーもWhatsAppメッセージ、Discord投稿、およびX(旧Twitter)コメントで訂正を促しました。ヘブライ語の個人名ハイムからの脅迫メッセージは、イスラエル時間01:00までに修正を要求し、個人的な危害を示唆していました。また、弁護士ヴェレッド(Vered)になりすます人物からの電話で、米国企業がポリマーケット上の疑惑される操作調査に関与していると主張しました。

「The Times of Israel」は著者エマニュエル・ファビアンに証拠を提出するよう依頼し、彼はその後警察へ通報しました。ポリマーケットは公然と嫌がらせを非難し、関係アカウント全てを禁止するとともに当局との協力を誓約しました。以前、イスラエルの軍備予備役兵士と市民が、2025年6月にイランとの戦争前に機密情報を利用してポリマーケットで賭けを行ったとして起訴されていました。

この事件はジャーナリズム、予測市場、ギャンブル、および潜在的な刑事脅迫の交差点を浮き彫りにし、実世界での干渉に対するより強固な保護策が必要であることを示しています。

本文

2026年3月10日火曜日、イスラエルの首都エルサレム郊外にあるベイト・シェメッシュ市で大規模な爆発が起きました。
これは、現在進行中の戦争の最中におけるイランの弾道ミサイル攻撃によるものです。救助隊は負傷者を探すため現場へ急行しましたが、実際には市外約500メートルの森林地域に投下され、住宅からは安全距離にありました。

当日のThe Times of Israelライブブログでは、私は「ミサイルがオープンエリアに衝突し、負傷者はいなかった」と報告しました。
これは救助隊の情報と、ミサイル弾頭による大爆発を映した映像から確認されたものです。


この小さく見える事件が、私に対する日々の嫌がらせや死亡脅迫へと拡大していきました。以下はその経緯です。

  1. 火曜日後半
    ヘブライ語で「アビヴ」と名乗る人物から不審なメールを受け取りました。

    • 彼は、私の報道が「インパクト(衝突)」と記載していた点について、ベイト・シェメッシュ市議会とMDA(マゲン・ダビデ・アドーム)が後に訂正し、実際にはミサイル全体ではなくインターセプターボールの破片だったと主張しました。
    • 私はイスラエル軍の情報を基に「ベイト・シェメッシュ外での衝突は確かにミサイル弾頭であり、単なる破片ではない」と返答し、「映像にも数百キログラム規模の爆発が確認できる。通常、破片だけではそのような爆発は起こらない」と付け加えました。
  2. 水曜日
    「ダニエル」という人物からヘブライ語でメールを受信。

    • 彼は「3月10日のミサイル攻撃に関する私の報道が不正確だ」と述べ、誤情報が連鎖的な問題を引き起こしていると主張しました。
    • 記事には「ベイト・シェメッシュ外でオープンエリアへミサイルが衝突した」と記載されていたが、実際はインターセプターボールの残骸だったと主張し、「今夜修正してくれれば多くの人に助けになる」と訴えました。
    • 私は「ダニエルさん、具体的にどこが問題なのか教えてください」と返信しましたが、彼は再度記事を「インターセプターボールの残骸」や「ミサイル破片」と記載すべきだと主張し続けました。
  3. 木曜日朝
    ダニエルからさらにメール。

    • 「IDFが火曜日に投下したほぼ全てのミサイルはインターセプトされたものの、ベイト・シェメッシュ地区で落ちた一つを除く」と主張し、The Economic Times(経済時報)のスクリーンショットを添付。
    • 「今朝中に回答が欲しい」と要求しました。
  4. 匿名ユーザー

    • 「3月10日のインターセプションに関する記事は更新されるのか?」と質問。
    • DiscordやX(旧Twitter)でも同様の問い合わせが繰り返され、イラン弾道ミサイル衝撃映像のビデオが投稿され、「実際の衝突映像はあるのか?」という疑問が寄せられました。
  5. Polymarketでの賭け

    • これらのXアカウントは、Polymarket(ポリマーケット)という予測市場に関与していることが判明。
    • Polymarketではユーザーが暗号通貨やクレジットカード、銀行振込で将来イベントの発生確率に賭けることができ、3月10日の「イランがイスラエルを攻撃する?」という市場には1400万ドル以上が賭けられていました。
    • 規約では、「指定日時にイスラエル領土でドローン・ミサイルまたは空中打撃が行われた場合のみ『Yes』と解決される」と定めており、インターセプトされたミサイルは「No」のままです。
  6. 報道の修正要求

    • 私の小さなレポートが賭け戦の中心となりました。
    • 「No」に賭けた人々は記事を変更してもらい、勝者になるよう圧力をかけました。
    • さらにメールが増え、以下のように要求されました。
      *「いつ記事を更新するのですか?」
      *偽造スクリーンショット(「ダニエルへ…インターセプトされた」と書かれたもの)
      *WhatsAppで「シェケッド」という人物からベイト・シェメッシュの衝撃に関して問い合わせ。
      *Xで同じ偽造スクリーンショットが共有される。
  7. 同僚からの情報

    • 別のメディアで働く同僚が、知人が私の報告変更を求めたと連絡。
    • その知人はPolymarketで賭けており、理論を裏付ける証言をし、勝利金から補償も申し出ました。
  8. 脅迫メッセージ

    • 土曜・日曜の深夜にWhatsAppでヘブライ語の「ハイム」という人物が連絡。
      *「3月15日午前1時まで記事を修正しないと、想像もできない損害を被る」と脅迫。
      *自宅近辺・親族・家族に対する「敵」が人生を苦しめると警告。
      *数十万ドルの損失を訴える。
  9. 法的疑惑

    • 「ヴェレッド」という弁護士役者が、米国企業がPolymarketでの操作調査中だと主張。
    • これにより私は電話を切り、警察へ連絡しました。
  10. 証言と警察への報告

    • 曜日早朝にハイムからさらに脅迫メール。「責任ない行為の代償として全額払う」と宣言。
  11. Polymarketの公式声明(X)

    • 「PolymarketはEmanuel Fabian氏またはその他誰もが対象とする嫌がらせ・脅迫を非難します。この行為は利用規約に違反し、当プラットフォームや他所で許容されるものではありません。」
    • さらに「関与者全員のアカウントを停止し、関連当局へ情報提供する」と述べました。
  12. 今後への懸念

    • 私のケースは成功裏に終わりましたが、他の記者が賭け金の一部を受け取るため報道内容を変える誘惑に陥る可能性があります。
    • 2025年6月、イスラエルとイラン間の戦争前に機密情報を利用して賭けた軍人・市民が起訴された事例もあります。
    • Polymarketなどのプラットフォームで内部情報を悪用する行為は、現実・ジャーナリズム・ギャンブル・犯罪が交錯する新しい領域として広まる恐れがあります。

結び
このような状況下で、報道の自由と正確性を守りつつ、外部からの圧力や賭け金に左右されない倫理的基準を維持することが重要です。新たなデジタル・ギャンブル市場が拡大する中で、ジャーナリストとしての責務と安全確保の両立が求められます。

同じ日のほかのニュース

一覧に戻る →

2026/03/17 5:59

MistralがLeanstralをリリース --- (※「Leanstral」はそのまま固有名詞として扱います。)

## Japanese Translation: --- ## Summary Leanstral は **Lean 4 専用に設計された最初のオープンソースコードエージェント** であり、Apache 2.0 ライセンスの下でリリースされ、重みファイルをダウンロードできるほか、一時的な無料 API エンドポイント(`labs-leanstral-2603`)と公開された技術レポートがあります。 このモデルは **証明工学タスクに最適化された非常にスパースな 6 B‑パラメータアーキテクチャ** を採用し、Lean を完璧な検証器として活用した並列推論を実現しています。モデルは **lean‑lsp‑mcp データセット** 上で訓練されており、Mistral Vibe 経由で任意の Model‑Composed Pipelines(MCP)をサポートします。 **FLTEval** で評価すると—FLT プロジェクトにおける形式的証明の完了と新概念の定義をベンチマークし、単独の数学問題ではなく実際のタスクを測定する—Leanstral‑120B‑A6B は **pass@2 スコア 26.3 と pass@4 スコア 29.3** を達成し、GLM5‑744B‑A40B(≈16–20)や Kimi‑K2.5‑1T‑32B よりも優れた性能を示しています。Claude 系列モデルと比較すると、Leanstral は **$36 で pass@2 スコア 26.3** を達成し、Sonnet の $549(スコア 23.7)に対して同等の性能です。また **pass@16 スコア 31.9 が $531** で得られ、Sonnet の $8,031.9 と比較しても大幅に低価格です。Claude Opus 4.6 モデルは依然として最高品質ですが、$1,650 という価格は Leanstral の同等スコア時の費用の約 90 倍以上になります。 実際のケーススタディでは、その実用性が示されています: * Lean 4.29.0‑rc6 の破壊的変更を診断し、`def` と `abbrev` 間の定義等価性問題を特定して正しい修正案を提示し、ユーザーに説明しました。 * Princeton の CS 441 コースから Rocq 定義を Lean に変換し、カスタム記法を扱い、証明が提供されていないプロパティも自動で証明しました。 Leanstral は **Mistral Vibe** に統合されており、ユーザーは `/leanstall` エンドポイントを呼び出してゼロセットアップのコーディングと証明を行えます。一時的な API エンドポイント(`labs-leanstral-2603`)はフィードバックと観測データ収集のために利用可能です。ユーザーはモデル重みをダウンロードし、Leanstral をローカルで実行したり、Mistral Vibe にサインアップして完全なドキュメントへアクセスすることもできます。 この軽量かつコスト効果の高いツールは、開発者や研究者が形式的検証ワークフローを加速させるために活用でき、コミュニティへの貢献と学術界および産業界での広範な採用を促進します。

2026/03/17 3:12

Meta、jemallocへの再挑戦を強化

## Japanese Translation: ``` ## Summary Meta は、Linux カーネルや Meta のインフラストラクチャ内のコンパイラなど重要なコンポーネントを動かす高性能メモリアロケータである jemalloc に注力することを決定しました。この移行は長期的なメリットに基づいており、保守コストの削減、コードベースの近代化、および進捗を遅らせていた技術的負債の排除が目的です。今回の取り組みの一環として、オリジナルのオープンソース jemalloc リポジトリはアーカイブから外されました。 主な改善領域は以下の通りです: - **技術的負債削減** – 効率と信頼性を向上させるためにクリーンアップとリファクタリングを実施。 - **Huge‑Page Allocator (HPA)** – CPU の効率化を図るためにトランスペアレントヒュージページ(THP)の使用を改善。 - **メモリ効率** – パッキング、キャッシュ、およびパージング機構の最適化。 - **AArch64 最適化** – ARM64 プラットフォームでのアウト・オブ・ザ・ボックス性能を確保。 Meta はオープンソースコミュニティに貢献を呼びかけ、jemalloc の将来ロードマップを共に形作ることによって、Meta 自身のソフトウェアユーザーとこのアロケータに依存する広範なエコシステム双方に利益をもたらすよう促しています。 ```

2026/03/17 2:17

小さなWebは、あなたが考えているよりもずっと大きいものです。

## 日本語訳: **概要** 本文は、**「小さなウェブ」― 通常のブラウザとサーバーでアクセスできる非営利・個人向けサイトが依然として膨大かつ活発だが、1 ページだけでまとめるにはあまりにも大きい」という事実を説明しています。** - **背景**:Gemini プロトコルは世界中に約 6,000 のカプセル(capsule)という独自のエコシステムを持ち、そのフォーラムには主に IT 専門家で構成される約 100 名が参加し、商業的利用は推奨していません。 - **手法**:著者は Kagi が公開する更新フィードを配信しているサイトのリストを使用しました。このリストは昨年の約 6,000 件から今日では約 32,000 件に増加し、多くはプライベートブログや企業がホストするサイト(例:Blogger)です。 - **フィルタリングプロセス** 1. 各フィードをダウンロードし、タイムスタンプと有効な XML があることを確認した結果、約 25,000 サイトに絞られました。 2. 月間更新が 1 回未満のサイトを除外すると、約 9,000 のアクティブサイトが残ります。 - **結果**:3 月 15 日時点でこれら 9,000 サイトは 1,251 件の更新(主に新しいコンテンツ追加)を生成し、過去の日付とほぼ同程度です。毎日の更新量を見ると、単一ページの集約は非実用的であり、小さなウェブはその規模と活発さからそのような表示には不向きです。 - **結論**:サイズが大きいにも関わらず、小さなウェブは成長を続け、主流プラットフォームに対する広告なしの代替手段として機能します。 - **行動喚起**:著者は読者に対し、このページへの参照 URL を含む Webmention を送信してもらい、継続的な関与を促しています。