Claude AI Team プラン サービス停止とサポートの課題
ユーザーは、Claude AI Team プランの重大なサービス不可と、Fin のような自動ボットへの依存による人間サポートへの到達の困難さを報告しています。
LeanとLLMによる証明の自動化
Leanなどの依存型言語と大規模言語モデル（LLMs）の統合により、形式検証のコストが劇的に削減され、以前は実装コストが高すぎて実現できなかった複雑なソフトウェア不変性を証明することが実用的になりました。
spikingjelly: 大規模スパイキングニューラルネットワークの学習と推論のための PyTorch ネイティブフレームワーク
スパイキングニューラルネットワーク（SNN）用の PyTorch ネイティブフレームワークで、学習、推論、ニューロモルフィックハードウェアへのデプロイ用ツールを提供します。
Volvo/Eicher フリート プラットフォームのセキュリティ脆弱性
セキュリティ研究者は、Volvo/Eicher フリート プラットフォームにおける重大な脆弱性を発見しました。この脆弱性は、すべてのユーザーと車両に対する不正な制御を許す可能性があり、クラウド管理された自動車ソフトウェアにおけるシステム全体のリスクを浮き彫りにしています。
Audio-Cassette-Simulation: FFmpegを使ったカセットテープオーディオのシミュレーション
Audio-Cassette-Simulation リポジトリは、カセットテープオーディオのプロファイルをエミュレートするFFmpeg‑based技術を提供します。これは、そのタイトルとHacker Newsで共有されたリンクによって示されています。
Scriptc: VercelのTypeScriptからネイティブへのコンパイラ
Scriptcは、通常のTypeScriptを、JavaScriptエンジンを含まない、小さくて高速なネイティブ実行ファイルにコンパイルします。ほとんどのコードには静的コンパイルを使用し、動的な機能にはオプションでQuickJS-NGエンジンを使用します。
予測は2026-2027年に観測史上最強のエルニーニョを予測する
マルチモデル予報によると、2026-2027年のエルニーニョは観測史上最も強くなる可能性が高く、中央値のピークは3.6°Cで、過去最高の2.75°Cを大幅に上回ると予測されています。
physicsnemo: 科学および工学のための物理情報に基づいたAIモデルを構築・訓練するためのスケーラブルなディープラーニングフレームワーク
科学および工学のための物理情報に基づいたAIモデルを構築・訓練するための、NVIDIA GPU向けに最適化されたオープンソースのディープラーニングフレームワーク。
Rescript: オープンソース、ブラウザベースのDescriptの代替
Rescriptは、テキストトランスクリプトを編集してビデオを編集できるオープンソースのビデオエディターで、最大限のプライバシーを確保するために、トランスクリプトとレンダリングをすべてブラウザ内でローカルに実行します。
lightly: 自己教師あり学習のためのモジュール式コンピュータビジョンフレームワーク
PyTorchを使用してラベルなし画像データでモデルをトレーニングするための、モジュール式のビルディングブロックを提供する自己教師あり学習用のコンピュータビジョンフレームワーク。
VLC for Unity が Linux サポートを追加
VLC for Unity は現在、x86_64 アーキテクチャの Linux をサポートしており、libVLC を利用して Unity ゲームエンジン内でハードウェアアクセラレートされたビデオ再生を提供しています。
フランスの消防士が初めて火災雲（pyrocumulonimbus）に遭遇 – 2026年7月
2026年7月26日、フランスの消防士はランデス地方で発生した山火事による火災雲（pyrocumulonimbus）に直面しました。これはフランスで記録された初の火災由来の嵐であり、独自の風、雷、そして予測不能な延焼がもたらす前例のない困難を浮き彫りにしました。
Decker: インタラクティブなドキュメントのためのモダンなHyperCard風プラットフォーム
Deckerは、モダンなスクリプト（Lil）、自己完結型HTMLへのクロスプラットフォーム・エクスポート、そしてノスタルジックな1-bitの美学を備え、HyperCardのカードベースのワークフローを復活させた、無料のオープンソース・マルチメディアプラットフォームです。広告やテレメトリなしで、誰でもインタラクティブなドキュメント、ゲーム、ツールを作成できます。
boxmot: PythonとC++の統合実装を備えたプラグイン可能なマルチオブジェクトトラッキングフレームワーク
検出器、トラッカー、およびReIDモジュールを交換可能な、統一されたインターフェースを提供するプラグイン可能なPythonおよびC++ライブラリ。
yolov3: マルチスケール予測とエッジおよびサーバー展開用の複数のモデルバリエーションを備えたリアルタイム物体検出フレームワーク
YOLOv3リアルタイム物体検出モデルのPyTorch実装であり、複数のモデルバリエーションにわたってトレーニング、推論、および展開のためのツールを提供します。
エージェント型 AI時代の科学コンピューティング – OpenAI フィールドレポート
OpenAIは、CodexやClaude CodeなどのAIエージェントが8つのライフサイエンスソフトウェアプロジェクトをどのように加速したかを示す探索的フィールドレポートを共有しており、研究者の役割を検証にシフトさせながら、長期的な管理の必要性を強調している。
OlmoEarth プラットフォーム: 惑星規模の地理空間推論
Hugging Face と Ai2 は、地理空間ファウンデーションモデルをファインチューニングから大陸規模の推論までスケールさせ、1平方キロメートルあたりのコストをペニーの一部に抑えるインフラストラクチャである OlmoEarth プラットフォームを発表しました。
OpenAIのChatGPT WorkローンチとCodexとの共有エージェントハーネス
OpenAIはChatGPT Workをリリースし、Codexのエージェント機能とChatGPTを統合しました。これにより、知識労働者に永続的な環境、アーティファクト、サイト、メモリ、サブエージェントを提供しながら、ほとんどのユーザーに単一のデフォルト体験を維持しています。
ctrlb-decompose: LLMのためのログ圧縮とパターン抽出
ctrlb-decomposeは、数百万行のノイズの多いログを、統計情報と異常検知を備えた少数の構造的パターンに圧縮し、ログをLLMで利用可能な状態にするRustベースのツールです。
BMW 車内 スパイダーマン アニメーションと自動車広告に関する議論
BMWは、車両ディスプレイにオプトインのスパイダーマンテーマのアニメーションを導入し、私的な車両所有への広告の侵食に関するユーザー間の議論を引き起こした。
Data-Oriented Design の導入
Data-Oriented Design (DOD) は、CPU キャッシュ効率を最大化し、大規模な並列処理を可能にするために、オブジェクト階層よりもメモリレイアウトとデータアクセスパターンを優先します。
onnxruntime: 機械学習モデルのためのクロスプラットフォームな推論およびトレーニングアクセラレータ
さまざまなハードウェアやオペレーティングシステムにわたって、高性能な推論とトレーニングを行うためのクロスプラットフォームな機械学習アクセラレータ。
MAI-Cyber-1-Flash inside MDASH – Microsoft AI発表
Microsoftは、MDASHに統合されたコンパクトなセキュリティモデルであるMAI-Cyber-1-Flashを発表しました。このモデルは、主要なモデルの半分のコストで世界クラスの脆弱性検出を提供します。
HMTP: 既存のWeb標準を用いたモダンなメール後継者の設計
HMTP (Hypertext Mail Transfer Protocol) は、スパム、なりすまし、および暗号化に関する長年の問題を解決するために、SMTPを HTTP、WebFinger、ActivityPub を含む既存のWeb標準のスタックに置き換えることを提案する、次世代のメールプロトコルです。
LFM2.5-Encoders リリース
Liquid AI は、LFM2.5-Encoder-230M と LFM2.5-Encoder-350M をリリースしました。これらは汎用エンコーダーモデルで、ModernBERT-base と比べてはるかに高速な CPU パフォーマンスを維持しながら、高品質な長コンテキスト推論（最大 8,192 トークン）を提供します。
Stanley Robotics ロンドン・ガトウィック空港 自動駐車システム
ロンドン・ガトウィック空港は、Stanley Robotics のロボット駐車サービスを導入し、乗客がキーを保持したまま車両が自動的に移動・保管され、スペースを最適化できるようにしています。
supervision: データ処理と可視化のためのモデル非依存コンピュータビジョンツールキット
データロード、可視化、データセット管理のためのモデル非依存ビルディングブロックを提供する、包括的なコンピュータビジョンツールキット。
streamlit: インタラクティブなデータおよびAIアプリケーションを迅速に構築・共有するためのPythonフレームワーク
データダッシュボード、レポート、AIチャットアプリケーション用のインタラクティブなWebアプリにスクリプトを変換する、オープンソースのPythonフレームワーク。
yolov5: オブジェクト検出、セグメンテーション、分類のための高速かつ実績のあるコンピュータビジョンフレームワーク
リアルタイムのオブジェクト検出、画像セグメンテーション、画像分類のための、PyTorch ベースの高速で使いやすいコンピュータビジョンモデル。
Gemini Robotics 2 リリースノート / 新機能
Google DeepMind は Gemini Robotics 2 を発表しました。これは、全身制御・高度な器用さ・マルチロボット協調を実現し、適応可能なロボットシステムを可能にするモデル群です。
Let's Seal: 無料でセルフホスト可能な文書署名のためのオープンスタンダード
Let's Sealは、暗号署名、Bitcoinにアンカーされたタイムスタンプ、および透明性ログを組み合わせることで、有料の文書署名サービスに代わる無料のオープンソースの選択肢を提供するSEAL (Sealed Evidence Anchored to a Ledger) 標準を導入します。
クッキーバナーをなくす：EU委員会が提案するブラウザレベルのプライバシーシグナルと業界の反発
EU委員会は、クッキーバナーを置き換えるブラウザレベルのプライバシーシグナルを提案しましたが、トラッキング業界のロビー活動が改革を阻んでいます。
テレンス・タオ: AI時代の数学
テレンス・タオは、AIの能力が高まる中で『proof abundance』の危機を回避するために、数学コミュニティが焦点を証明生成から証明の消化と正準化にシフトさせなければならないと主張しています。
Sunflowers: 階層式難易度エンジンを持つロジックパズルゲーム
Sunflowersは、専用のロジックエンジンを使用して、それらを解くために必要な特定の推論技法に基づいてパズルを分類し、基本から狂気までの範囲で分けます。
mirage: AI エージェントが bash コマンドで多様なデータソースとやり取りできる統合バーチャルファイルシステム
AI エージェント向けの統合バーチャルファイルシステムで、S3、Google Drive、Slack などのサービスを単一のファイルシステムとしてマウントし、bash コマンドでデータにアクセスできるようにします。
liteflow: 複雑なビジネスロジックと AI エージェントを統一コンポーネントとしてオーケストレーションするルールエンジンフレームワーク
Java 向けの最新ルールエンジンフレームワークで、複雑なビジネスオーケストレーションを分離し、AI エージェントをオーケストラブルなコンポーネントとして扱えるようにします。
Googleは$94.1 BillionのSpaceXへの出資を公開、約6％の所有権を示す
Googleは、そのSpaceXへの持分が現在$94.1 billionと評価され、約6％の所有権に相当することを開示しました。
PGSimCity: 3DでPostgreSQLエンジンを可視化
PGSimCityは、PostgreSQLデータベースエンジンの内部アーキテクチャとスケジューリングを可視化するために設計されたオープンソースの3D動作モデルです。
Ruff v0.16.0 リリースノート / 新機能
Ruff v0.16.0 では、デフォルトのルールセットが 59 から 413 に大幅に拡大され、Markdown コードブロックのフォーマット機能と新しい抑制コメント形式が導入されました。
SenseNova-Skills: AI エージェント向けのインフォグラフィック生成やディープリサーチを含むエンドツーエンドのオフィス機能スイート
AI エージェント向けのプロフェッショナルオフィススキルのコレクションで、インフォグラフィック自動生成、PPT 作成、Excel データ分析、ディープリサーチを実現します。
Libsm64: 外部ゲームエンジンでのスーパーマリオ64のライブラリとしての使用
Libsm64 は、Half‑Life 2 でマリオが動作するようなコミュニティデモによって示されるように、開発者が他のゲームエンジンにスーパーマリオ64を埋め込むことができる再利用可能なライブラリを提供します。
トークン・リレー市場：トークン転売業者と詐欺エコシステムがいかにしてAIモデルを悪用しているか
アカウントの悪用、盗まれた認証情報、および one-api や new-api のようなオープンソースのゲートウェイソフトウェアを通じて、AIモデルへのアクセスを大幅な割引でプロキシする多層的なリレー市場についての詳細な調査。
holaOS: 100 以上の職場統合で耐久性のあるプロフェッショナルメモリを構築するローカルファーストのワーキングエージェント
HolaOS はローカルファーストの AI ワーキングエージェントで、100 以上の職場ツールと統合し、ユーザーが管理する耐久性のあるプロフェッショナルコンテキストメモリを構築します。
新しいAIのスーパーパワー: フォーカスとフォロースルー
AIタスクの効率は向上するが、『make-work』とバーンアウトのリスクを生む；解決策は、プロジェクトの横方向の拡張から縦方向の深さと品質へシフトすることである。
InsForge: エージェント型コーディング向けのインフラプリミティブを AI エージェントのツールとして提供するオールインワンバックエンドプラットフォーム
AI コーディングエージェントにデータベース、認証、ストレージなどのツールとインフラを提供し、フルスタックアプリをエンドツーエンドで構築・デプロイできるオープンソースのバックエンドプラットフォーム。
zcf: ワンクリック初期化のためのゼロコンフィグセットアップツール Claude Code と Codex AI コーディングエージェント
ワークフロー、API 構成、MCP を含む Claude Code と Codex のワンクリックセットアップを提供するゼロコンフィグ初期化ツール。
antigravity-awesome-skills: とは何なのか、どのような問題を解決し、なぜ注目を集めているのか
Claude Code、Cursor、Codex CLI、Autohand Code、Gemini CLI、Antigravity、およびその他のツール向けに、1,900以上のエージェント的スキルを提供する、インストール可能なGitHubライブラリ。専門プラグイン、インストーラーCLI、バンドル、ワークフロー、および公式/コミュニティのスキルコレクションが含まれています。
The Paradox of AI Empowerment: Why Details Still Matter
David Nicholas Williams は、真の専門知識とエンパワーメントは詳細を習得することから生まれると主張しており、タスクの '難しい部分' を回避するためにAIを使用すると、高品質で新規性のある結果を達成するために必要なスキルの発展を妨げると示唆しています。
JetZero Z4: 最初の商業用全翼機の開発
JetZeroは、従来の胴体＋翼機と比較して燃料消費を最大50%削減するように設計された商業用全翼機であるZ4を開発しています。
oh-my-openagent: コーディングアシスタントを並列開発チームに変える AI エージェントオーケストレーションレイヤー
複数のコーディングエージェントとモデルを統合し、並列開発チームとして機能させる AI エージェントオーケストレーションレイヤー。単一コマンドで複雑なソフトウェアエンジニアリングタスクを自動化します。