2026年10月28日のTrendingアーカイブ

openai/math

OpenAI内製モデルが生成した数学研究論文集 — OpenAIの内部モデルが未解決の数学研究問題に挑んだ成果を集めたリポジトリです。722本の数学的原稿を372のファミリーに分類し、一部はLeanによる形式証明付きで公開されています。AIが数学研究にどこまで迫れるかを示す貴重な実例資料です。

mitmproxy/mitmproxy

HTTPSトラフィックを傍受・検証・操作できるプロキシツール — mitmproxyはSSL/TLS対応のインターセプトプロキシで、コンソール（mitmproxy）、CLI（mitmdump）、Web UI（mitmweb）の3つのインターフェースを提供します。HTTP/1、HTTP/2、WebSocketに対応し、ペネトレーションテスターや開発者がトラフィックを対話的に検査・改変できます。

An interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.

oosexgang/hakios-xnu-kernel

AndroidスマホでXNUカーネルと実iOS 16.5を起動するHackiOS — HackiOSはAppleのオープンソースXNUカーネル（iOS 16.5版）を、launchdからSpringBoardまで無改造のiOSユーザー空間ごと、POCO X5 Pro 5GやQEMU上で動かすプロジェクトです。独自EFIローダーやUEFI移植、LinuxのWi-Fiドライバを互換層で利用し、Apple純正ファイルは一切同梱せず自分のPCでIPSWから取得します。OS移植やリバースエンジニアリングに関心のある人に興味深い内容です。

NVIDIA/OpenShell

AIエージェントを安全に隔離するRust製ランタイム — NVIDIA製のOpenShellは、自律型AIエージェント群に安全にファイル操作・API呼び出し・認証情報利用をさせるためのランタイムです。カーネルレベルでのアクセス制御に加え、ポリシー変更を形式検証でチェックし、危険な権限付与を事前に検知して人によるレビューへ回せる点が特徴です。エージェント開発者やセキュリティ担当者にとって、無制限アクセスを避けつつ実用性を確保できる選択肢です。

OpenShell is the safe, private runtime for autonomous AI agents.

obsproject/obs-studio

配信・録画の定番オープンソースソフト OBS Studio — OBS StudioはTwitchやYouTubeなどへのライブ配信や画面録画を支える無料のオープンソースソフトです。キャプチャ・合成・エンコードを一括で担い、活発なコミュニティとプラグイン、翻訳プロジェクトに支えられ、配信者や録画ユーザーに広く使われています。

OBS Studio - Free and open source software for live streaming and screen recording

Zagitta/gpu-unlock

RTX 3000番台のBF16/FP16性能を解放するLinuxカーネルモジュール — CMPアンロッカーのV67/PLM技術とUEFI方式の事前タイミング制御を組み合わせ、GA102/103/104/106搭載GeForceカードのFP/BF16演算速度を倍増させるカーネルモジュールです。ドライバ更新のたびにパッチを当て直す必要がなく、BF16 GEMMで25〜80%の性能向上が報告されています。

Your GeForce runs AI at half speed. This fixes it for 20/30/40 series cards. Up to 2× FP16 / BF16 / TF32 tensor throughput

nrslib/takt

AIコーディングエージェントの手順をYAMLで定義するCLI「TAKT」 — TAKTは、計画・実装・レビュー・修正ループなどの工程をYAMLで定義し、各ステップに役割・コンテキスト・遷移ルールを割り当てるCLIです。孤立したworktreeでタスクを実行し、ログを記録、人間の介入ポイントも設定できます。Claude CodeやCodexなどのエージェントを「お守り」せずに運用したいチーム向けです。

TAKT Agent Koordination Topology - Define how AI agents coordinate, where humans intervene, and what gets recorded — in YAML

CVEProject/cvelistV5

公式CVEリストをJSON 5形式でキャッシュ配布 — 公式CVEリストをCVE JSON 5形式でキャッシュし、定期更新しているリポジトリです。直近でレコード形式5.2.0に対応し、影響を受けるコンポーネントにPURL識別子を追加サポートしました。脆弱性管理ツールの開発者やCVEデータの変化を追跡したい人に役立ちます。

CVE cache of the official CVE List in CVE JSON 5 format

electron/electron

VS Codeも支えるデスクトップアプリ開発フレームワーク — ElectronはNode.jsとChromiumを組み合わせ、JavaScript・HTML・CSSでクロスプラットフォームなデスクトップアプリを構築できるフレームワークです。VS Codeをはじめ多くのアプリで採用され、macOS・Windows・Linux向けのビルド済みバイナリを提供しています。

:electron: Build cross-platform desktop apps with JavaScript, HTML, and CSS

php/php-src

PHP言語そのものを動かすインタプリタのソース — PHPインタプリタ本体のC言語実装リポジトリです。Webの裏側を支えるPHPエンジンのソースコードで、ビルド方法や開発向けの設定手順も記載されており、言語内部を追いたい開発者やコントリビューター向けの内容です。

The PHP Interpreter

amazonlinux/amazon-linux-2023

Amazon Linux 2023、Fedora由来の長期サポートOS — AmazonLinux2023は、AWSがFedoraをベースに提供する長期サポート型OSの公式リポジトリです。追加費用なしでセキュリティ更新を受けられ、ロードマップやリリースノート、課題報告の場としてAWS利用者に役立ちます。

Amazon Linux 2023