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

openai/math

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

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

notaroomba/keybytes

全キーが独立PCBの“本当に”モジュラーなキーボード — KeybytesはキーごとにCH32V003搭載の独立基板（Keybit）を持ち、4辺のポゴピンで自由に配置換えできるオープンハードウェアキーボードです。磁石ケースで固定し、別基板KeywordがBluetoothやUSB-C、充電を担当します。KiCad設計やモジュラー入力デバイスに関心のある自作ハード好きにおすすめです。

A truly modular keyboard

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

yuiseki/map-from-scratch

依頼ごとに最小の地図描画器を作るAIエージェント向けスキル — 汎用の地図エンジンを作らず、依頼ごとにほぼゼロから最小・最速の描画器を作るAIエージェント用のスキルとハーネスです。Canvas 2DからWebGL2、マイコン向けCまで要求に応じて実装を選び、spec.yamlで定義した要件と計測値をハーネスが合否判定します。MapLibreなど48の既存地図エンジンを参考資料として活用します。

「Xをしたいから地図を作って」という依頼ごとに、その目的だけを満たす最小・最速の地図描画器をほぼゼロから作り、性能と正しさを計測して確かめる、 AI エージェントのためのスキルとハーネス

tester-army/e2e

自然言語でE2Eテストを自動操縦するAIフレームワーク — PlaywrightベースでWeb/モバイルアプリのE2Eテストを自然言語のゴール指定だけでAIエージェントが実行し、ロケーターやアサーションで結果を検証できます。一度記録した操作は以降モデル呼び出し不要で再生されるため高速かつ低コストで、Playwrightの代替・拡張として注目されています。

Next generation e2e testing framework for web and mobile apps.