← 2026-07-04 の一覧へ戻るホーム
オーディンとウィキペディア、そして関与の農業

2026/07/04 8:24

オーディンとウィキペディア、そして関与の農業

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

元のHacker News記事へ ↗
要約▶

Japanese Translation:

オディンプログラミング言語に関するウィキペディアの記事は、不可信で独立性を欠く扱いや、開発者の own ウェブサイト、自己出版資料、軽微な学術言及、ランダムなブログ記事、そしてSNS 投稿への依存という理由から、極端に分かれた「削除のための議論」（AfD）投票後に管理者によって削除されました。AfD のタイムラインには、オディンとは無関係な多様な履歴を持つ長年在籍の編集者からの複数の「削除」票と、「保持」票が混在しており、クリエイターのケイシー・ムラトリーの「ハンドメイド・シエトル」サークルや彼の政治的コミュニケーションスタイルに対する深いコミュニティの不信任を反映しています。クリエイターのジンジャー・ビルは、オディンにウィキペディアの記事があるかどうかには興味がなく、「思想によって制限された空間として振る舞っているのか」と疑問を投げかけましたが、その後、プログラミングトピックに関する著名性の基準を見直しました。信頼できる学術誌やフォーラムの希少さを指摘しています。ジミー・威尔士（2026 年 4 月 21 日）は、議論が建設的かつポリシー重視であると評価しましたが、不十分な出典があるため削除に同意し、高品質な外部の出典が登場すれば再検討が可能だと付け加えました。ケイシー・ムラトリーは、収益のある企業の使用例（例：JangaFX）や開発者の発言を主要な証拠として認め、現代のソフトウェアトピックに対する従来の出版規範をChallenge しました。記事にはまた、「ハンドメイド・シエトル」の談話スタイルやムラトリーのサークル内の政治的トーンに関する controversy も言及されています。「憲法的保守主義者」と自称する自己申告の削除派である管理者が削除を確定させました。一部のセクションでは誤情報の解消を行いました：ウィキペディアと 5000 万ドルの DEI 支出を結びつける主張は、ウィキメディア財団の資金使途（不十分なトピックへの信頼性と被表現層のCoverage を支援）を歪曲しているとClarified。全体として、この削除は、オープンソースコミュニティの基準と影響力のある人物による自己PR实践の間にある緊張を浮き彫りにし、より良い外部出典が発見されれば復元が可能な可能性を示しています。

本文

Odin プログラミング言語の削除騒動と背景にある思想対立：記事の考察

作成日: 2026 年 4 月 27 日
語数: 約 9,238 語

概要：Wikipedia 上での Odin 言語の記事削除

ある朝、プログラミングの天才GingerBill（Odin 言語の開発者）は、Windows で起動する前に「ギンガーさびしさ」に浸りながら Wikipedia にある自身の言語に関する記事の削除提案を確認しました。その結果、Odin は著名性不足を理由に正式な手続きを経て削除されました。

しかし、この件には単なる編集方針の問題以上の、思想対立や情報源の定義という深い問題が潜んでいました。

Odin 言語とコミュニティの現状

  • Odin とは？
    • プログラミングコミュニティで知られる言語です。
    • 商用利用もされている（例：JangaFX）。
    • Primeagen というストリーマーによって紹介されており、人気があります。
    • ゲーム開発だけでなく、サーバー、グラフィックス、CLI/TUI など汎用言語として広く使われています。
    • 100 万人以上のユーザーに使用され、数十の企業や公開プロジェクトで採用されています。
  • 開発者の意図
    • GingerBill は当初、Odin を巨大な言語にするつもりはなかったが、現在はその規模を享受しています。
    • Odin は「一晩にして成功した—10 年かけて作られたものです」と述べています。

Wikipedia 上の削除プロセスと議論の概要

Articles for Deletion (AfD) プロセスの結果

Odin の記事は標準的な「削除対象記事（AfD）」のプロセスを経ています。投票結果は以下の通りです：

行動ユーザー時間 (UTC)
削除開始Helpful Raccoon3 月 23 日 20:53
削除Stepwise Continuous Dysfunction3 月 23 日 21:05
削除GearsDatapacks3 月 23 日 21:11
.........
管理者による最終削除Administrator投票後間もなく
  • 投票の傾向: 削除票が過半数を占めました（アカウントを持つユーザーからの投票比率が高かった）。
  • 結論: 記事は「信頼できる情報源に裏付けられた著名性」を満たさないとの判断で削除されました。

開発者による公式声明 (GingerBill)

GingerBill はこの件について詳細な Twitter スレッドを投稿し、以下の視点を表明しました：

gingerBill (@TheGingerBill) – 2026 年 4 月 20 日

  • Odin に約 10 年前から取り組んでいる。巨大化は当初意図していなかった。
  • Wikipedia は「信頼できる情報源」が希薄で、思想的な遊び場で活動家によって管理されている。
  • 多くのモデレーターは特定の言語を気に入りたくない（広告と見なし）、という偏見を持っている。
  • プログラミング言語コミュニティは断片化しており、一次情報源としてのブログや Discord が主流だが、Wikipedia の基準には適合しない。
  • 現在の著名性基準を適用すると、90% のプログラミング関連記事が削除されるだろうと警告。

ジミー・ウェールズ氏による介入

共同創設者の Jimmy Wales もこのスレッドに参加し、「Inclusionist（包括主義者）」の視点から、今回の削除は妥当だと述べました。一方で、情報源を再考する余地があると認めていました：

jimmy_wales (@jimmy_wales) – 2026 年 4 月 21 日

  • 討論は平和的で政策中心のようだ。
  • 「良い削除」と見なすか。情報源を裏付ける必要がある。

ケイシー・ムラトリ氏 (Casey Muratori) の反論

有名ゲームプログラマーであるケイシー・ムラトリ氏は、以下の点で激しく反論しました：

  • 事実の提示: JangaFX が Odin で書かれていることは明確で、公式サイトにリンクがある。
  • 情報源の問題: 「最も正確な情報源（開発者や利用者）」がシステムから排除されている現状への批判。
  • 歴史との比較: 50 年前の言語でも古くからの出版物があれば掲載されるのに、現代のインターネット時代なのに「一次ソース」を見下すのは不合理だと主張。

Casey Muratori (@cmuratori)

  • Odin は著名な言語です。利益を得ている企業がコードを Odin で書いている。
  • 「信頼できる情報源」として開発者自身を排除するのは、古い出版世界観に固執している。
  • 十秒の Google 検索で見つかる一次ソースよりも、古風な世界観が優れているとされる現状は不合理だ。

議論の核心：「信頼できる情報源」と政治的な対立

この削除騒動の裏には、単なる編集論争を超えた政治的・思想的な対立が存在していました。GingerBill が Twitter でフォローしている人物たちとの共通点が見受けられます。

GingerBill のフォローリストと思想傾向

GingerBill は以下の人物をフォローしています：

  • Matt Walsh: 白人至上主義者（Daily Wire 元記者）。
  • Tucker Carlson: 疑心暗鬼の CEO と言われている。
  • Jordan Peterson: 「自分が黙殺されている」という職業からの利益を得ている。
  • Tim Pool / Dave Rubin: ロシア政府による資金提供疑惑がある。
  • The Babylon Bee: テンツンのネタ誌のような風刺紙。
  • Libs of TikTok (Chaya Raichik): ネット監視官であり、邪悪なコンテンツを投稿する人物。

Libs of TikTok (@libsoftiktok) – 2024 年 12 月 23 日

  • Wikipedia の予算報告（多様性・公平性への投資）を批判し、「Wokepedia」と呼んでいます。

このリストから、GingerBill の関心が**「多様性、公平性、包括性（DEI）」を嫌う右派思想**や、保守主義的・宗教的価値観に基づいていることが伺えます。一方、Wikipedia は DEI 予算に大きく依存しており、その対立構造が顕著です。

ケイシー・ムラトリ氏の思想的背景

ケイシー・ムラトリ氏は、「Handmade Hero」や「悪软件（Bad Software）」の議論で知られる人物ですが：

  • 自己責任論: ソフトウェアの質の問題は個人の倫理や能力に帰属させる傾向がある。
  • 保守的技術観: 大企業（Microsoft など）への批判から始まり、雇用主を攻撃する姿勢が見られる。
  • エゴマニア: 自分のコードやスタイルが最善だと過度に信じる傾向がある。

このような思想を持ったコミュニティ内では、「品質」の定義が偏り、「他者への批判」が建設的討論に置き換わるリスクがあります。

開発者依存症と情報源の偏り

プログラミング言語は多くの場合、一人の開発者（BDFL: Benevolent Dictator For Life）によって支配されます。

  • 言語の成功や破壊には開発者の人格が大きく関与します。
  • しかし、GingerBill のように**「開発者＝真実」**と考える傾向は、客観性を損なう可能性があります。
  • Michael Malice 評: GingerBill は Michael Malice について、「有権者階級効果的に」と述べていましたが、実際には「無頭（無思想）」「NPC」扱いするなど、過度な一般化を行っていました。

これらは**「開発者依存症」または「カリスマ指導者への崇拝」**の弊害であり、客観的な事実確認を妨げる要因となります。

なぜ今、Wikipedia の議論なのか？

1. エンゲージメントファームリング（Engagement Farming）

  • Twitter などでは、論争を引き起こすことで**注目を集め（エンゲージメント）**たりすることが動機化されています。
  • Casey Muratori や GingerBill といった著名人が絡むことで、話題性が生まれ、双方のアカウントが成長します。
  • しかし、これは**「建設的な議論」を「感情的な罵り合い」**にすり替えるリスクがあります。

2. 「思想的遊び場」という仮説

GingerBill は Wikipedia を「活動家によってゲートキーピングされた思想的遊び場」と断じました：

  • 真実はどうか？：Wikipedia の削除プロセスは、特定の思想（保守主義）に偏り、DEI を嫌う層からは正当な抗議として捉えられます。
  • 一方で、Wikipedia らしい「一次情報源の欠如」や「中立性」の問題も無視できません。

3. 政治的な対立構造

この騒動は、**「技術界の保守派（Libertarian/Traditionalist）」 vs 「Wikipedia の包括主義（Inclusionist）」**という、より大きな文化的・政治的対立の象徴でもあります。

  • 保守派: 自由市場、自己責任、伝統的な価値観、個人崇拝を好む。
  • 包括主義者: 多様性、公平性、一次情報源へのアクセス、マジョリティ以外の視点を含めることを重視する。

結論： Odin は本当に「著名」なのか？

Odin の事実上の名声

  • 商用利用: JangaFX などで実際に使われている。
  • 開発者実績: Primeagen や他の有名開発者が使用・推薦している。
  • GitHub: リポジトリが多数存在する。
  • 評価: 10k スター以上の GitHub を持つプロジェクトもあります。

Wikipedia の基準との矛盾

Wikipedia は「二次情報源（出版社など）」を重視し、「開発者自身の言葉」や「公式サイト」を受け入れることを難しています。これは：

  • 現代のインターネット社会では、**「一次ソース＝開発者」**が最も信頼できる事実であるはずなのに、それを拒絶する不自然さがあります。
  • 過去には「プランカルル（Plankalkül）」など、論文ベースの言語しか掲載されなかった時代もありましたが、現在は状況が変わっています。

今後の展望

  • Odin は事実上「著名」であり、コミュニティからも支持されています。
  • しかし、Wikipedia の**「削除」**という判断は、保守派にとっては「思想による弾圧」と受け止められ、開発者コミュニティへの不満を生みました。
  • この件は、「技術的な事実」と「社会的な認識（政治的・思想的バイアス）」のギャップがどのように影響するかを示す良い事例です。

まとめ: Odin 言語の Wikipedia 削除問題は、単なる編集方針の問題ではなく、現代の情報社会における「信頼できる情報源」の定義や、テクノロジー界の政治的分断を浮き彫りにする出来事です。開発者の言葉こそが最も信頼できるという「一次ソース至上主義」と、伝統的な出版基準との対立は、今後も続きそうです。

同じ日のほかのニュース

一覧に戻る →

2026/07/04 7:40

巨大な木は問題なく水を上枝に送ることができます。

## Japanese Translation: エクセター大学とカーディフ大学が主導する新研究で、Science誌に発表された内容により、世界最高位の熱帯ティトロカルプ属（Dipterocarp）の樹木は、極めて高い位置での水分輸送課題を完全に補償できることが明らかになった。アジアの雨林を支配し、80 メートルを超える高さまで成長する巨大なティトロカルプ属の木々は、より低い木々に比べて旱魃に対する感受性を示さない。これは進化した水理学的適応によるものである。本研究は、2023 年～2024 年の激しいエルニーニョ現象を背景としてマレーシア・ボルネオで行われたものであり、7 メートルから 71 メートルの幅を持つ樹木が旱魃を通じて幹の成長速度を維持したことが見出された。これは、重力と導管の長さが高大型種における光合成および成長を制限するという長年の信念に挑戦するものである。より高いティトロカルプ属の木々は、地面付近で広く水分を運ぶ導管を持つことと、萎れる前により大きな水ストレスに耐えるように適応した葉を持つことによりこれを実現する。これらの適応は、80 メートル以上高く水を移動させるために必要な極めて低い圧力の下でも液体水の形態を維持することを可能にする。これらの結果は、特にアジアの地上バイオマス炭素の半分を貯蔵するティトロカルプ属森林において重要であり、水理学的システムが弱く高大型種では旱魃による急速な死に瀕するという以前の理論を矛盾させるものである。共同著者であるパウロ・ビッテンコート博士は、これらの希少樹木がマレーシア・ボルネオにおける生態学的中心性であることを強調しているが、研究者らは同様の特性を他の高大型樹種においても検討すべきであると指摘している。研究チームには、マレーシア、イギリス、チェコ共和国、ドイツ、スペイン、ブラジル、アメリカ合衆国の機関が含まれており、資金供与は自然環境研究評議会（NERC）からのものである。今後の研究では、ティトロカルプ属を超えた水理学的システムと旱魃耐性の調査を通じて、全球的な旱魃リスク評価および保全戦略を精査していく予定である。

2026/07/04 7:33

Leanstral 1.5：全データに対する証明の豊富さを実現

## Japanese Translation: Leanstral 1.5 は、60 億のアクティブパラメータと全パラメータとして 1190 億を持ち、競合製品のごく一部のコストで最先端のパフォーマンスを達成する無料の Apache-2.0 ライセンスモデルです。このモデルは miniF2F でサチュレーション（検証セットとテストセットで両方 100%）を達成し、PutnamBench の問題のうち 672 問中 587 問を解決します（25k トークンの予算では 44 問から、4M トークンの予算では 587 問へ向上）。FATE-H ベンチマークでは 87% の精度、FATE-X ベンチマークでは 34% の精度を達成しています。中学習（mid-training）、監督微調整、CISPO を用いた強化学習、特定の定理に対する安全性チェックを経て訓練された Leanstral 1.5 は、複数回のターンにわたる定理証明および生ファイルシステムでのコードエージェントにおけるエージェント型証明工学において卓越しています。ターゲットとなる定理のリストを用いて SafeVerify のフォーク版で検証され、このモデルは問題あたり約 $4 のコストがかかります（Seed-Prover の $300 以上や Aleph Prover の $54–68 に比べて著しく低く）、かつ大きなトークン予算と共によくスケーリングします。実際の運用では、オープンソースライブラリにおける微細なバグを検出し、57 リポジトリにわたって以前に知られていなかった 5 つのバグを発見しました。その例として、datrs/varinteger ライブラリにおいて `(value + 1)` が `Std.U64.MAX` 入力に対してオーバーフローした整数オーバーフローがありました。このモデルは Hugging Face で重みファイルおよび無料の API エンドポイント（leanstral-1-5）として利用可能です。ユーザーは Mistral Vibe（`uv tool install mistral-vibe`）で実行でき、Lean LSP MCP の設定をオプションで行うことで、その能力を活用し、高次の定理証明やバグ探索を行えるようにしながら、莫大なコストなしに動作させられます。

2026/07/04 6:49

AMD MI355X 上で GLM5.2 を実行し、コストは Blackwell よりも 2 倍以上低減してノードあたり 2626 トークン/秒を達成

## Japanese Translation: AMD の新しい Instinct MI355X アクセラレータは、NVIDIA の B シリーズ GPU に対して魅力的な代替手段を提供しており、B300 と比較して約 2.75 倍安い GPU 単価で同様のハードウェア仕様を備えています。また、B200 には 2 倍以上安いです。歴史的に CUDA エコシステムを通じて「day-0」の優位性を保持してきた NVIDIA ですが、AMD はこの格差を急速に縮めています。ROCm は当初、MI355X 上で GLM-5.2 のような frontier モデルに対してネイティブなサポートがなかったものの、ターゲットされた最適化によって B200 のノードあたり性能の約 80% を対価の少なさで実現しました。主要なブリークスルーとしては、AMD Quark を用いて損失のない MXFP4 量子化を実現し（公式の FP8 の制限を上回る）、出力劣化を伴わずに堅牢なネイティブ MXFP4 サポートのために sglang を選択し、モジュールプレフィックス不一致を修正したり、ROCm メタデータ カーネルガードを追加したりする特定のパッチを適用することで推測デコーディングの利点を解放（約 3 倍）した点があります。戦略的な構成チューニング（例えば TP4×DP2 への移行）や fp4 シェイプ用の MoE カーネルの最適化を通じて、カスタムカーネルを書かずにシングルノードデプロイメントで 2626 tok/s/node という SOTA の総通量を実現しました。この戦略は推論ワークロードに対して有効であり、AMD が NVIDIA の市場的地利を成功裏に侵食し、低コストで高計算能力を実現していることを示しています。また、マルチノードスケーリングに関する課題がまだ残るものの、よりバランスの取れた競争環境が育まれていることを意味します。