2026/07/03 17:50

Wordgard：ProseMirror の創設者が開発したインブラウザリッチテキストエディタ

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

要約▶

Japanese Translation:

Wordgard は、特別に「Semantic Rich Text Editor System」として設計された、MIT ライセンスの下でのオープンソース JavaScript ライブラリです。自由形式の HTML 編集のための標準ツールとは異なり、Wordgard は内容構造に対する精密な制御を可能にし、極めてカスタマイズされた複雑なエディタの開発に適した強力なプログラミングインターフェースを提供します。このソフトウェアは code.haverbeke.berlin イニシアチブの下で開発され、寛容なライセンスを用いて広範な利用を可能にしながら、新規のプルリクエストを明示的に拒否する厳格な保守ポリシーを採用しています。この独特のアプローチにより、将来の発展はすべて既存の基盤を利用するユーザーに依存し、新しい機能コードの提出に依存しません。ライブラリを利用して商業的実体を有する場合、法的義務がそれを強制しないにもかかわらず、継続的な保守を資金提供する社会的な期待が存在します。したがって、業界間の交流は特定のチャネルへと向けられており、ユーザーはバグ報告や質問を行う際には専用の Issue tracker とフォーラムを利用する必要があります。結局のところ、Wordgard は開発者が安定して不変の基盤に基づいて洗練された編集体験を構築する特化ツールであり、一般 HTML 操作機能に対する厳格なセマンティック整合性が要求されるプロジェクトに対して一貫性を確保します。

本文

Wordgard: 語を栽培するための庭園

Wordgard（※原文の定義に合わせ「語を栽培するための庭園」と訳出）は、ブラウザ上で動作するリッチテキストエディタを実装するためのオープンソース JavaScript ライブラリです。本プロジェクトは「Semantic Rich Text Editor System」として知られています。

プロジェクトの概要と特徴

Wordgard は自由形式の HTML エディタではなく、コンテンツの種類に対して精密な制御を可能にすることを目的としています。主要な特徴としては以下が挙げられます：

高度なプログラミングインターフェース: カスタマイズされたエディタ開発を支えます。
複雑なエディタへの基盤: 独自の機能を備えた高度なエディタを実装する際にも卓越した基礎となります。

ライセンスと開発について

ライセンス: MIT ライセンス（寛容なオープンソースライセンス）
コードベース: code.haverbeke.berlin
バグ報告: 歓迎されています。
プルリクエスト: 受け付けておりません。
商用利用について:
- 法的拘束力はありません。
- ただし、プロジェクトの維持に貢献することは社会的期待として存在します。

次のステップ

これからプロジェクトに参加いただく場合は、以下のチャネルを利用してください：

議論・質問: フォーラムを利用することをお勧めします。
バグ報告: イシュートラッカー（Issue Tracker）をご利用ください。

同じ日のほかのニュース

一覧に戻る →

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 の市場的地利を成功裏に侵食し、低コストで高計算能力を実現していることを示しています。また、マルチノードスケーリングに関する課題がまだ残るものの、よりバランスの取れた競争環境が育まれていることを意味します。