BTC $77,241.87 -3.48%
ETH $2,219.87 -4.12%
BNB $701.53 -5.58%
XRP $1.24 -3.31%
SOL $96.26 -3.71%
TRX $0.3352 +1.25%
DOGE $0.0752 -3.44%
ADA $0.1925 -3.33%
BCH $280.17 +0.34%
LINK $10.99 -4.20%
HYPE $91.61 +15.71%
AAVE $124.22 -4.73%
SUI $0.8832 -3.31%
XLM $0.1642 -2.55%
ZEC $1,250.18 -0.10%
AAPL $345.30 -0.83%
AMZN $227.09 -10.00%
GOOGL $282.25 -3.13%
MSFT $527.10 -3.44%
META $614.50 -0.91%
NVDA $208.00 -2.87%
TSLA $393.94 -2.12%
SNDK $1,231.03 -10.07%
INTC $68.87 -25.00%
SPCX $139.66 -3.01%
MU $888.79 -6.86%
AMD $521.04 -7.32%
BTC $77,241.87 -3.48%
ETH $2,219.87 -4.12%
BNB $701.53 -5.58%
XRP $1.24 -3.31%
SOL $96.26 -3.71%
TRX $0.3352 +1.25%
DOGE $0.0752 -3.44%
ADA $0.1925 -3.33%
BCH $280.17 +0.34%
LINK $10.99 -4.20%
HYPE $91.61 +15.71%
AAVE $124.22 -4.73%
SUI $0.8832 -3.31%
XLM $0.1642 -2.55%
ZEC $1,250.18 -0.10%
AAPL $345.30 -0.83%
AMZN $227.09 -10.00%
GOOGL $282.25 -3.13%
MSFT $527.10 -3.44%
META $614.50 -0.91%
NVDA $208.00 -2.87%
TSLA $393.94 -2.12%
SNDK $1,231.03 -10.07%
INTC $68.87 -25.00%
SPCX $139.66 -3.01%
MU $888.79 -6.86%
AMD $521.04 -7.32%

オープンソース

すべて
記事
速報

first_img オープンソース資金通路 Slop Cash トークンオークションのカウントダウン中、目標は40万ドルです。

オープンソース資金通路 Slop Cash ページには、トークン $SLOP のオークションがまだ始まっておらず、カウントダウンは約 9 日 8 時間で、約束された金額は 0 ドル、目標は 40 万ドルと表示されています。プロジェクトは、合併または受け入れられた作業に対してのみ支払いを行い、GitHub を事実上の情報源として、支払い範囲にはマージされた PR、有用なレビュー、および確認された重大なセキュリティの発見が含まれると述べています。ページによると、$SLOP は Umia を通じて発行され、実体は Umia Launcher SPC の独立した組織 Slop Cash, S.P. です。オークションの収益は Robinhood Chain 上の非管理型チェーンの金庫に入り、保有者が意思決定市場を通じて用途を決定します。賞金プールと貢献者への支払いはステーブルコインまたはプロジェクトの独自トークンを使用し、$SLOP は使用しません。初回の貢献者への支払いは 2026 年 9 月に行われ、8 月の作業に対応し、合計 72 件の送金、6,005 USDC が含まれ、elizaOS、ASI および Slop 自身が関与しています。総供給量は 1 億枚に固定されています。ページに記載された配分は、オークション 45%、チーム 10%、エコシステムおよび貢献者プログラム 14%、貢献者 2%、プロトコルの独自流動性 9%、金庫 8%、立ち上げ者 Umia 2%、パフォーマンスリザーブ 10% であり、TGE 時には 5,600 万枚が流通するとされています。CEO は Drew Pierson、CTO は elizaOS を構築した Shaw Walters です。Umia に関連する契約は Certora によって監査され、Slop 自身の支払い契約ページはまだ独立した監査を受けていないと述べています。

first_img PHP財団の執行理事:正社員は1名のみ、資金不足と称する

ロイター通信 10月23日報道、オープンソース言語 PHP を支持する非営利団体 PHP 財団の執行理事エリザベス・バロンは金曜日に電子メールでインタビューに応じ、財団の資金が深刻に不足していると述べた。彼女は、最近の出来事は企業と政府が PHP に高度に依存していることを示しており、この依存を考慮すると、PHP の資金は明らかに不足していると語った。バロンは、財団には現在1名のフルタイム職員、つまり彼女自身のみが在籍しており、他に14名の主にパートタイムの契約者がいると述べた。資金は寄付と助成金から来ている。人工知能に関連するコーディングの増加により、財団の作業量は約2倍になった。PHP プロジェクトが受け取ったコード変更提案はほぼ1年前の2倍だが、貢献者の数は倍増していない。彼女は、コードの貢献やバグ報告のレビューには多くの人的投入と経験が必要だと述べた。ロイター通信は、今週 PHP の2つの重大な脆弱性が発見され、世界中のウェブサイトが緊急修正を行ったことを報じており、この約30年のオープンソース言語がインターネットにとって重要であることを示している。記事によれば、PHP は世界中の約70%のウェブサイトを支えている可能性があり、現在これらの脆弱性が公開前に悪用された証拠は見つかっていない。報道は記者トビー・スターリングがアムステルダムから発信した。

first_img Anthropic:Claudeは大規模な形式検証オープンソースライブラリを開発しました。

人工知能会社 Anthropic の Frontier Red Team は 10 月 22 日に研究を発表し、大規模な形式的証明を自動的に作成できる大規模言語モデルが存在することを示しました。チームは Theorem と協力し、Claude を使用して RISC-V アセンブリレベルで 100 以上の実際のオープンソースライブラリの安全性を証明し、これは AI を用いてアセンブリレベルで生産ソフトウェアに対して大規模な形式的検証を行った初めての事例であると述べています。証明の過程で、数年にわたり発見されていなかった脆弱性も発見されました。実験では、Google OSS-Fuzz に既に存在するコンパイル可能なファズテストを仕様に変換しました:単一スレッドの静的バイナリ、固定メモリ予算、RISC-V CPU および Linux などの仮定の下で、64 MB 未満の任意の入力に対して、プログラムは正常に終了し、メモリ安全性エラーやアサーション失敗を引き起こさないべきです。数週間以内に、Claude は発見された問題を修正した後、123 の OSS-Fuzz ライブラリの 239 のエントリポイントに対して上述の性質を証明しました。証明はコンパイル後の RISC-V 命令に対して行われ、約 1.8 億行の Rocq によってチェックされました。ページでは、これらのライブラリに脆弱性がないことを意味するものではなく、残りの問題は信頼されたコンポーネントや証明の範囲外にある可能性があると述べています。ページではさらに、チームが Claude に RFC 1950 を形式化させ、x86 バイナリレベルで Linux カーネル内の zlib 実装がその仕様に準拠していることを証明させたと述べています。また、Rust で書かれた Python の大部分をカバーするインタプリタは、170 万以上のランダム生成プログラムと CPython の動作が一致する割合が 99.95% であることを示しました。36 の小規模な検証タスクにおいて、Opus 5.5 はその半分に必要なトークンが Opus 5 より約 40% 少ないことを証明しました。チームは同時に、証明が単一スレッド、静的リンクの RISC-V バイナリに対して行われ、証明チェッカーが仕様が現実に適合しているかどうかを判断できないことを指摘しました。

first_img メッセージプロトコル XMTP は自己ホスティングのオープンソーススタックに移行し、Labs ネットワークは 2027 年初頭に閉鎖されます。

XMTPの創設者Shane Macは、XMTPが自己運営可能なオープンソースメッセージスタックに進化し、人とエージェントにプライベートな対話を提供することを発表しました。インフラはユーザーが制御し、トークンやウォレットは必要ありません。XMTP Labsがホストするネットワークは2027年初頭に閉鎖されます。Shane Macは、5年前にXMTPを設立した理由は、プライベートメッセージは単一の企業が所有すべきではないと考えたからだと述べています。彼は、チームがウォレットをアプリ間のアイデンティティとして使用し、メッセージがアイデンティティに従うようにし、トークンでインフラ運営者に支払うことを想定していたが、その道は実現しなかったと振り返りました。XMTPはトークンを発行したことはなく、今後も発行しないと認めています。彼は、単一の共有ネットワークを長期間維持することが誤った決定であったと認め、開発者たちはXMTPを自己運営できることを求めていたため、自己ホスティングに変更しました。開発者はソフトウェア全体を使用、検査、変更し、維持することができ、Labsに依存する必要はありません。元従業員がプロトコルの維持を支援し、Shane Mac自身も引き続き関与します。文中では、自己ホスティングのXMTPが量子耐性のエンドツーエンド暗号化、プライベートチャットとグループチャット、暗号化されたアイデンティティとメッセージの真実性、モバイル、ウェブ、サーバー、エージェント向けのSDKを提供することが紹介されています。最高技術責任者のNick Molnarは、バックエンドを単一のRustバイナリに簡素化し、添付ファイル、プッシュ通知、ハンドル、および新しいメッセージの署名Webhookを統合しました。各自ホスティングネットワークはデフォルトで自動的に相互接続されず、異なるツールのエージェントは同じバックエンドに接続する必要があります。

first_img アマゾンがオープンソースツールTorchNeuronを発表し、自社開発チップへの移行のハードルを下げる

財聯社 10 月 20 日訊、アマゾンは現地時間19日にオープンソースツールTorchNeuronを発表し、開発者がNVIDIAのチップから自社開発のチップに移行する際のハードルを下げ、NVIDIAがCUDAに基づいて構築したソフトウェアの壁に挑戦することを目的としています。報道によると、このツールを使用すると、PyTorchで書かれたAIコードを再記述することなく、アマゾンの自社開発AIチップ上で実行できるようになります。PyTorchはMetaが主導して維持管理しており、多くのAI開発者が使用するオープンソースフレームワークとして説明されています。アマゾンのチップ設計部門Annapurna Labsは、TorchNeuronを利用することで、開発者は1つの設定を変更するだけで、同じコードを自社開発のTrainiumチップ上で実行できると紹介しています。アマゾンは現地時間19日にこのツールの発表を行い、20日にカリフォルニア州サンノゼで開催されるPyTorch大会で無料オープンソース形式で公開する予定です。Annapurna Labsのソフトウェア副社長Colin Braceはインタビューで、TorchNeuronの導入は開発者がアマゾンの自社開発チップを試すための手順を減らすためであり、顧客の既存の作業方法に基づいていると述べました。彼はすでに30社以上の初期顧客が利用しており、ロボット、ワールドモデル、音声AIなどの分野をカバーしていると明かし、アマゾンのチップに切り替えることでコストを削減できると述べました。

グーグルがオープンソースの Harness² を発表し、GLM-5 のスコアが 11.5 ポイント向上しました。

Google Research がオープンソースの AI ツールチェーン自改良フレームワーク Harness² を発表し、AI エージェントがモデルを再訓練することなく、システムのプロンプト、メモリ、スキル、ツールルール、スクリプト、プラグインを自動的に修正できるようにしました。プロジェクトは Apache 2.0 ライセンスの下で提供され、OpenCode と Codex をサポートしています。その核心メカニズムは、エージェントが自ら試行錯誤を行い、新しいタスクに直面した際にいくつかの改善案を提案し、異なるバージョンのエージェントがそれぞれ実行してパフォーマンスを比較し、最終的により適切な案を組み合わせることです。標準的な答えがなくても、システムは実際の実行プロセスに基づいて改善の方向性を見つけることができます。タスクが終了した後、システムはどの修正が有効であったかとその理由を記憶し、次回の類似の問題に参考として使用します。Google は GLM-5 と Gemini 3.5 Flash を使用してテストを行いました。WorkBuddy-Bench では、GLM-5 が OpenCode と組み合わせて、わずか一回の最適化後に平均スコアが 64.2 点から 75.7 点に向上し、未最適化の Gemini 3.5 Flash の 72.4 点を上回りました。法律タスクのテストでは、GLM-5 の一部の評価基準の合格率が 59.6% から 71.4% に上昇しました。実験では、デフォルトで Claude Opus 4.8 が改善案の提案と実施を担当し、GLM-5 と Gemini は主にタスクの実行を担当し、完全に自ら進化を実現するわけではありません。国内の開発者 Joseph Zhou は Harness² を Jev 1.14 に接続する実験を示し、視覚タスクのパフォーマンスが継続的に改善されていると述べました。

商務部など9つの部門が科学技術による商業振興を加速する意見を発表しました。

金十の情報によると、商務部など9つの部門が科学技術による商業振興を加速するための意見を発表しました。意見では、商品供給の反復的なアップグレードを推進し、「人工知能+製造」の特別行動を深く実施し、人工知能技術と製品の研究開発、設計、製造、マーケティングの深い融合を加速し、スマートフォン、コンピュータ、家庭用機器、ウェアラブルデバイス、ロボットなどのスマート商品供給を豊かにし、安全で信頼できるオープンソースオペレーティングシステムに基づくスマート製品の研究開発と応用を奨励しています。意見ではさらに、歴史的なクラシック産業の転換とアップグレードを加速し、クラシックな名品を開発し、中国の消費名品の陣列を構築し、自主的な革新と高品質の消費名品を掘り起こすことを提案しています。科学技術農業を大いに発展させ、優れた特色農産物の質の向上と効率の増加を推進し、老舗ブランドの正統性を守りつつ革新を促進し、老舗企業が現代の生産技術を用いて製品革新を行うことを支援しています。

first_img AIがPhotoshopを復刻した開発者が再び手を出し、オープンソースでMicrosoft Officeの三点セットをクローンする

Adobe Creative Cloudを無料で再構築した開発者Brandon Thomasは、現在Microsoft Officeに目標を移し、GitHubでオープンソースのクローンアプリWordCraft、GridCraft、DeckCraftを公開しました。これらはそれぞれWord、Excel、PowerPointに対応しています。3つのアプリはRustで書かれており、単一のコードベースでWindows、macOS、Linux、BSDでネイティブに動作し、ブラウザ内でも実行できます。Thomasはこれをクリーンルーム再構築と呼び、公開されたファイル形式の仕様に基づいて原ソフトウェアの動作を観察しながら作成したもので、Microsoftのコードを一切コピーしておらず、1980年代のCompaqがIBM PC BIOSをクローンした法的経路と同じです。WordCraftは.docx形式の読み書きが可能で、Wordのリボン機能の88%をカバーしています。修正追跡、脚注、引用、メールマージをサポートしていますが、ファイルの忠実度と安定性を考慮すると、チームは実際の作業におけるWordの代替としての完成度は約60%と見積もっており、現在はアルファ初期テスト版としてマークされています。GridCraftはExcelの523のワークシート関数のうち513をサポートしており、89%のリボンコマンドも対応しています。開発者は実際の作業に使用できるのは約50%と自己評価しており、次のステップは実際の.xlsxファイルとの互換性を向上させることです。

first_img アートプラットフォーム NFT Limited オープンソース RWAIX、2027年第一四半期に試験運用を予定

PR Newswireによると、ニューヨーク証券取引所の米国上場企業NFT Limited(株式コードMI、旧称Takung Art)は10月13日に香港で提案された技術契約RWAIXを発表し、MITライセンスの下でGitHubにオープンソースの参考実装を公開しました。同社は国際的なアートとコレクションのオンライン取引プラットフォームを運営しており、この契約は買い手、売り手、AIエージェントおよびロボットがアイデンティティ、合意内容、納品が実際に行われたかを確認するために使用されると述べています。既存のデジタルアートプラットフォームは最初の実際のシナリオとして提案されています。同社は、内部で管理されたテスト記録により50件のテストが成功し、失敗はないことを示しており、独立したセキュリティレビューおよびその他の条件を完了した後、90日以内に限定的な実取引のパイロットを開始する計画で、目標は2027年第1四半期です。参考実装にはNode.jsのコアプロトコルロジック、50の自動化テストケースおよび期待される出力、スキーマとAPIドキュメント、合成データを使用したブラウザデモが含まれています。同社はまた、RWAIXはまだ生産環境に統合されておらず、関連するタイムラインは調整される可能性があると述べています。既存のデジタルアート取引プラットフォームは、完全子会社のMetaverse Digital Payment Co., Limitedによって運営されています。パイロットは、既存のNFT注文の同意購入、納品、独立検証、支払いおよび紛争処理プロセスを最初にアップグレードし、既存の銀行チャネルを使用する予定です。CEOのYanying Wangは、同社にはすでに顧客、注文、支払いがあり、今後90日間で契約が実際の顧客注文に使用できるかどうかを検証する予定であると述べています。

first_img オープンソース AI リバースエンジニアリングツール REA が1週間で GitHub のスターを10万を突破しました

無料のオープンソースツールREA(Reverse Engineer Anything)がGitHubでのスター数を10月6日の1万未満から、1週間で10月12日の10万を超えるまで急増させ、10月11日だけで3万以上の新たなスターを獲得しました。このツールはClaude Code、OpenAI CodexなどのAIプログラミングアシスタントをGhidraなどの専門的な逆アセンブリツールに接続し、Anthropicが提供するモデルコンテキストプロトコルMCPを橋渡しします。REAは今年の4月に作成されて以来、長い間注目されていませんでしたが、そのreadmeファイルには、このツールが元のソースコードを復元したり、アプリを自動的にクローンしたりすることを主張していないこと、また逆コンパイラを内蔵していないことが記されています。REAはさまざまなソフトウェアやゲームの逆アセンブリ試行に使用されています。プレイヤーはスパイダーマンを『バットマン:アーカムシティ』のゴッサムシティで振り回し、誰かは約1600個の『マインクラフト』のアイテムを『エルデンリング』のボス、マレニアとの戦闘に詰め込み、モジュール作成者は『逃げるタコフ』の銃器とメニューを『スカイリム:エルダースクロール5』に移植しました。旧世代の独占作品もコンソールから脱却し、9月には愛好者がオープンソースのAIモデルと再コンパイルツールを利用して、PCに未上陸だった『フォルスオリジン2』をWindowsに持ち込み、AIが約1時間で起動を完了し、その後は長い手動修正が続きました。また、別の開発者は『GTA 5』をiOS上でネイティブにスムーズに動作させることに成功しました。
app_icon
ChainCatcher Building the Web3 world with innovations.