技術拆解
46本AIフレームワークとツールの徹底分解——仕組み、評価、使いどころ。
Tech Teardown 042｜Stacks：7500ページの代数幾何を1600万行のLeanに
Axiom Mathは、約7,500ページに及ぶオープンな代数学的地理学の参考資料であるStacks Projectの完全なLean形式化を発表しました。これは、最大規模の統合された、再利用可能な形式化された数学ライブラリとされています。層状構造のAIエージェントが命題を翻訳し、証明を構築しています。@[stacks TAG]マッピング、マルチエージェント監査、そしてLean 4カーネルがその信頼性を保っています。
Tech Teardown 041｜FlashProve：AI推論にZK証明、コードはClaude、保証はLean
アントロピックなオープンソースのFlashProveは、zkSNARKを使用した研究プロトタイプであり、選択したモデルからの応答が本当に送られてきたことを証明します。ClaudeがzkSNARKを改善し、Lean Proofがセキュリティの主張を裏付けます。すべての数値はベンダーによって報告されています。
Tech Teardown 040｜Stringman：795ドルの部屋スケールケーブルロボット
Stringmanは、Neufangled Robotics製の価格795ドルのルームスケールケーブルロボットです。天井の角から伸びる4本のケーブルが、巻き上げ動作で動くグリッパーを支えています。「張力だけが必要なのです。」OSHWA認定のオープンソース製品で、CAD、PCB、制御ソフトウェアが公開されており、完全に空気圧駆動可能なローカルAI機能、オプションでクラウドリレーも利用可能です。分解時の疑問は、なぜ6つのアクチュエータではなく4つなのかという点です。
Tech Teardown 039｜dsh-superagent：エージェントが書いたスーパーエージェント
dsh-superagentはDeepSeek Harnessチームの研究プロトタイプです。これは、GitHubリポジトリに対応する常駐コーディングエージェントで、3日間で13,000の星を獲得しました。そのエンジニアリングの大部分はコーディングエージェントによって書かれています。その防御機能はアーキテクチャに組み込まれており、プランクトンの中にはありません。ホストは許可リストを適用し、メッセージの権限は決して変更できません。
Tech Teardown 038｜nibnib：6クロックサイクルのために設計された4bpp画像フォーマット
nibnibは、Raph Levienが開発した4bpp画像フォーマットで、極めて高速なデコード速度を実現するために作られています。パレットの差異は1バイトあたり2ピクセル、内ループは乗算加算方式を採用しており、RP2350 DVI出力に対応しており、1ピクセルあたり約6クロックサイクルで処理できます。エンコーディングは意図的に非対称的であり（Floyd-Steinberg法とガバーな検索アルゴリズムを組み合わせている）、ローカルテストでは4.043 bppで、RGB565に比べて約3.96倍の性能を示し、PSNRは約36.5 dBでした。これは私たち自身の測定値であり、公式なデータではありません。
Tech Teardown 037｜Project Suncatcher：Google宇宙AIデータセンターの初応答
GoogleのProject Suncatcherプロトタイプ衛星は、10月30日にGemma 4を使用して初めて軌道内での応答を行い、そのデータを地上局に送信しました。これにより、耐震性の高いTPUが発射後の振動、放射線、真空状態でも起動し、接続し、情報を推測できることが示されました。しかし、本格的な宇宙データセンターとして機能するためには、熱管理、レーザーチャネル、および群飛行の技術がまだ必要です。
Tech Teardown 036｜Nesformer：NESをQwenの重みにコンパイル
Nesformerは、NES CPU、RAM、ROMを標準のQwen3.5モデルの構成要素に組み込んでいます。各フォワードパスでは6502チップが模倣され、マリオの動作速度は実際の速度の1/150から1/290にまで下げられており、トレーニングは不要です。
Tech Teardown 035｜Ropes & GrayのAIデューデリジェンス：自前agentは何を変えたか
OpenAIは、Ropes & GrayがAstra for Law上で独自のデューデリジェンスエージェントを構築した方法について詳述しています。これにより、問題レベルの報告書を数週間から数時間に短縮しました。すべての数値はベンダーから提供されたものです。まだ独立した評価は行われていません。
Tech Teardown 034｜DAYJOB: Tax：AI代理が専門的な税務業務を行う上でどれだけ距離があるか
税務業務は長年にわたり、高度に人の専門的判断に依存する分野です。個人の税務申告から企業のM&A、国際取引から遺産信託まで、各ケースには大量の非構造化文書が関わっています。
パッチ・ザ・プラネット：AIエージェントが重要な脆弱性を発見した際のグローバルな協同対応
PHPは、世界中の膨大なウェブアプリケーションを支えるオープンソースのスクリプト言語であり、コンテンツ管理システムからeコマースプラットフォーム、さらには多くの中小企業のバックエンドまで、その利用が見られます。
OpenAI 数学倉庫：AI証明、Lean形式化と4000問の問題
2026年10月、OpenAIはGitHub上で`openai/math`倉庫を公開しました。この倉庫にはトレーニングコードは含まれていません。
Hurston-1：アメリカ南部訛りとアフリカ系英語を話すオープンソースTTS
TTS（テキストから音声への変換）モデルの評価とデモンストレーション。標準的なアメリカン・アクセントや標準的なイギリスン・アクセントを長期にわたって対応しています。しかし、実世界の訛りはこれよりも複雑です。カスタマーサービス、コールセンター、自動通話など
OpenAIが主導してPHPの重要な脆弱性を公開：Patch the PlanetのAIセキュリティ対応メカニズム
PHPは、世界中の多くのウェブサイトやWebアプリケーションを支えるオープンソースプログラミング言語です。WordPressからLaravelまで、中小企業の公式サイトから大...
huashu-motion：Coding Agentでビジネス級プロダクトのプロモーションビデオをワンクリックで生成する
huashu-motionはGitHubに最近登場したオープンソーススキルで、リポジトリのアドレスはgithub.com/alです
Hot Tracking 025｜Anthropicモデルの越境：偽の殺人事件の手がかり、20件のビザ申請、ホワイトハウスの強制報告命令
Tech Teardown 029｜NVIDIA OpenShell：AIエージェントの安全な実行環境
「拾聞対談 第三十四期｜AI代理の越界、誰が責任を負うべきか」
【コーナー：拾聞対談】司会者：拾聞（AI）｜ゲスト：永亮」
Headroom：AIエージェントのコンテキスト圧縮を行うミドルウェア
10月22日、headroomlabs-ai/headroomがGitHubで約7.7万★のフォークがありました。
技術解体 034｜DeepSeekオープンソース生産推論フレームワーク DeepInfer
DeepSeekオープンソース生産推論フレームワークDeepInferの高い人気の背後には、コードダンプなのか、再利用可能なエンジニアリングの参考なのか？
handwired：JSコードを無理やりニューラルネットワークとして実装する
将普通的JavaScript代码编译成可微分のニューラルネットワークであり、訓練なしで実行可能です。本稿では、その仕組み、エンジニアリングの質、および限界について詳しく説明します。
handwired：通常のJSコードをニューラルネットワークに変換する。4日間で1730星を獲得。
開発者chenglouが行った手法では、通常のJavaScriptコードを行列乗算とRegluニューラルネットワークに変換します。これにより、訓練不要で正確な結果が得られ、全て微分可能です。4日間で1730星に到達しました。この記事では、その仕組み、メカニズム、プロジェクトの質、そして限界について6つの段落に分けて説明します。
git-ai 2日で1000スター：AnthropicのScionをオープンソースで再現
Anthropicが10月13日に公開した内部バージョン管理システムScionの設計ブログ。開発者feder-crが2日後、オープンソース版git-aiをリリース。ベースはGitLab Gitalyのフォーク（NOTICEとVERSION 19.5.0-rc3の双証）、約7.5万行のgraftサブシステムを追加、MITライセンス、2日で約1000スターを達成。本文は6セクションに分けて、その身分・アーキテクチャ・検証と判断を解説する。
Tech Teardown 026｜esp32-iphone-agent：7ドルのESP32でAIがリアルiPhoneを操作
ジェイルブレイク不要、パソコン不要、開発者アカウント不要：約7ドルのESP32-S3が目と手となり、AIの頭脳は同じiPhoneのアプリで動作。4日で2418スター、MITライセンス。本稿では、ハードウェアブリッジングアーキテクチャ、BLEプロトコルと三重キャリブレーションループ、およびそれが露呈するAssistiveTouchの攻撃面を解析する。
Tech Teardown 025｜pg_vectorsearch：Timescale 公式のベクトル検索新インデックス、1 億ベクトル 6 ミリ秒
Timescale（Tiger Data）がPostgreSQL ANN拡張pg_vectorsearchをオープンソース化、自社開発のPRISMパーティションインデックス+RaBitQ量子化を採用。公式発表では1億ベクトルで95% recall P50 6ms、メモリはHNSWの約4分の1；READMEにはテスト用のみで本番環境での使用は不可と明記。
Tech Teardown 024｜oss-scanner：Anthropic 公式脆弱性スキャンリポジトリ、5日で960スター、中にスキャナーのコードは1行もない
anthropics/oss-scanner はリポジトリ作成から5日で960スター超、76の主要オープンソースプロジェクトが登録（openssl/cpython/grafana…）。これはスキャナーのコードではなく、レジストリ＋設定プロトコル＋自己チェックツールである：スキャナーはAnthropicのサービス側に置かれている。このAIセキュリティインフラの新形態を6段階で分析する。
Tech Teardown 023｜anatomy：5日間で6300スターを獲得したagentスキルパック、「わかりやすく説明する」ことをインタラクティブな機械に仕立てる
wheresryan22/anatomy がリポジトリ作成から5日間で6300スターを獲得：173行のSKILL.md仕様 + 等角レンダリングツールキット + 8つのサンプルにより、Claude Code/Codexなどのagentが概念の説明をインタラクティブな等角機械イラストに仕立て上げることを可能に。本稿では6段階の分析で迫る：agent skillは新たな配布単位になりつつある。
Tech Teardown 022｜wordcraft：1人と一群のagent、5日間でWordを「再構築」
storytold/wordcraft 5日間で6000+スター：純Rustクリーンルーム再実装でMicrosoft Word、メイン貢献者が3日間で57,353行のコードをコミット、ロードマップの工数は「Opus 5.5 agentウォールクロック時間」で計価。その4つのエンジニアリングメカニズムと自己申告数値のギャップを分解。
Tech Teardown 021｜iPhone-use：CodexがUSB経由でリアルiPhoneを操作、4日間で1719スター
CodexがUSB経由でリアルiPhoneを操作するMCPプラグインの分解：WDAチャネル、17+2のツールインターフェース、スクリーンショットフォールバックによるデュアルモードロケーション、入力と送信を分離するセキュリティ境界。エージェントによる実機操作のエンジニアリングモデル。
技術分解 020｜ARTEX：ペネトレーションテストをagentワークフローに組み込み、バックアップリポジトリで1日721スター
AI自律ペネトレーションテストシステムARTEXのリポジトリ分解：イベント駆動Planner、双図ブラックボード、インターセプト承認（DELETEメソッドと削除系インターフェースパスのdenyルール）、SHA-256証拠チェーン。百度攻防チャレンジコンテスト優勝プロジェクト（プロジェクトの自己申告による）、ローカル隔離環境限定。
技術分解 019｜openai/math：OpenAI が一括オープンソース化した 722 件の AI 数学原稿のリポジトリ分解
10 月 6 日 OpenAI が math リポジトリを公開：722 件の原稿、372 個の結果族、Lean 形式化ライブラリ 12 万ファイル、3.1GB。本稿ではリポジトリ構造、Comparator 検証フローとその境界を分解する——準リーマン予想 7/8 は記録更新ではなく前進である。
mini-AGI：8GBのグラフィックカード1枚でゼロから訓練する継続学習バイトレベル言語モデル
2026年9月21日、volotatのmini-AGIがShow HNに掲載（255アップ投票）：ゼロから訓練され、決してフリーズしないバイトレベル言語モデル。重みはディスクに保存され、必要に応じてVRAMにページングされ、パラメータ数の上限はVRAMではなくディスク容量で決まる。本稿は6つの事柄に分けて解説する：何であるか、なぜ注目に値するか、PonderNetの適応的深さとtop-8エキスパートルーティングのメカニズム、318.1M文字を読み1.2026 bits/byteに達した数字と境界、RTX 3070で実行できる導入の敷居、研究サンプルとしての価値と生産性としての価値を分けて判断すること。著者はこれがtoy-levelの実験であると明言しており、重みはまだ公開されていない。
技術分解 016｜jianying-headless：プログラムに剪映の操作を代行させる——完成動画を確定させず、直接ローカルのプロジェクトドラフトを生成
2026-09-15にGitHubに登場したjianying-headlessは1週間で1972スターを獲得：FFmpegで完成動画を確定させるのではなく、JSONの編集計画を、剪映プロ版で開き、修正を加え、ローカルエンジンで書き出しできるプロジェクトドラフトにコンパイルする。本記事は6つの事柄を分解する：何か、なぜバズったか、ハッシュ検証ブリッジのアーキテクチャ上の潔癖、5つのハードル、6つの自己列挙した制限、誰に適しているか。ライセンスは個人学習および非商用利用であり、商用利用には作者の書面による授権が必要である。
技術分解 015｜Jev：チャットができないモデルと、それを巡る2つの賭け
JevはTypeSafe AIが9月15日にリリースしたモデル：transformerアーキテクチャだがテキストは生成せず、3種類の型付き回答とキャリブレーションされた確率のみを返す。公式発表では最大193.6倍高速、444.6倍安価とされるが、これは自社測定値であり、第三者による実測では約5〜18倍。本記事では、その仕組み、読み解き方、4日間でのエコシステム統合、そして4つの導入パスを分解する。
729★ の「AI臭さ消し神器」が投毒であることが確定：main.pyにC2アドレスが隠されていた
GitHubで3日間で729スターを獲得したtext-humanizerが、静的解析によりサプライチェーン投毒サンプルであることが確定した：READMEで約束された翻訳リライトパイプラインはそもそも動作せず、実際に動作するのはmain.pyの12行目のimport時に実行される暗号化ペイロード——ハードコードされたC2サーバーに接続し、Windowsのみに感染し、第二段階モジュールはメモリ上で実行されディスクに書き込まれない。全行程静的解析であり、サンプルコードは一切実行していない。
fast-jev-compaction 解析：Claude Code の圧縮で要約生成を諦めさせる
Claude Code のコンテキスト圧縮はデフォルトで要約を書きますが、この2日間で3206スターを獲得したプラグインは削除のみを行います。25ファイル約1850行のTypeScript：2つのnoul問題、0.5の閾値で、各ツール呼び出しの「残すか削除するか」を確率モデルによる投票に委ねます。
OpenResearch 解析：Claude Code を研究 agent に変えるローカルファーストのワークスペース
alphaXiv/OpenResearch は 4941 個のスターで「研究パイプラインの git 化」を証明した：実験ツリー、playbook の注入、そして 12 の研究スキルモジュールにより、コーディング agent を研究 agent に改造する。
技術分解 011｜OpenCodeReview:Alibaba オープンソースのハイブリッドアーキテクチャ・コードレビューツール――半分はエンジニアリングのハード制約、半分は Agent による動的意思決定
技術分解011:Alibaba 発オープンソースの open-code-review が1日で 3,231 スターを獲得。決定論的エンジニアリングで「絶対に間違えてはならない」工程を固定し、Agent は動的意思決定のみを担う:selectFiles の純粋関数、ファイルパッケージングの二重バルブ、コメント位置特定の二段階リトライまでソースコード行番号レベルに分解、token は汎用 agent の 1/9 で済む。
技術分解 010｜Java 27：ソースコードで読み解く3つの新機能——64ビットオブジェクトヘッダー、プリミティブ型パターンマッチング、構造化並行性
JDK 27 をめぐる報道の多くはプレスリリースの域を出ません。この記事はソースコードを直接貼ります。markWord.hpp がオブジェクトヘッダーを 96 ビットから 64 ビットへどう圧縮するのか、javac が instanceof int をどう低レベル化するのか、StructuredTaskScope のデフォルトポリシーは何か。3つの新機能を、ソースコードの行番号まで掘り下げて解き明かします。
技術拆解 009｜RLT：Transformer に時間ループを接続し、潜在変数推論と「無限時間深度」の正体
技術拆解009：Recurrent Looped Transformer（RLT）はトークンをまたぐ循環的な潜在変数状態によって「無限時間深度」を実現する——48層エンコーダのグローバル記憶と48層デコーダのスライディングウィンドウフィードバック、訓練と推論が同一の実行セマンティクスを共有。3日間で約743star、買うのはアイデアか、それともエンジニアリングか？
Kiro Crew：AIプログラミングをワンタイム会話から常駐する同僚へ
技術分解008：Kiro Crew ソースコードレベル分解——5種類の記憶ストレージ、Cron/ハートビート/自動リマインダーの3つのアラーム、セッション間実行の引き継ぎとスキルの3段階の蓄積、3,891スターの裏にある実際の規模と選定の境界線。
vLLMのPagedAttention：VRAM管理が大規模モデル推論をどう支えているか
技術分解007：KVキャッシュのページング、ブロックテーブル、プレフィックスハッシュチェーンとV1スケジューラのソースコードレベル分解、2-4倍スループットの指標分析、SGLang選定比較と6ステップの自作ソリューション。
TimesFM 3.0：Googleが時系列予測を「LLM化」して以降
技術分解006：Stacked Mixing Transformer、RevINとCPMのソースコードレベルアーキテクチャ分解、3つの冷や水、実践パスと自前構築案。
OmniRoute：1エンドポイントで300+ AIプロバイダー、無料枠をインフラへ
オープンソースAIゲートウェイの分解：19戦略、4層フォールバック、圧縮、比較、自作。
技術拆解 003｜ECC：25 万 star の「AI プログラミング OS」、エージェントに規律を組み込む
AI 時代のキャリアと技術について、永亮が本音で語る。
技術拆解 002｜hyperframes：HTML を書くだけで動画が作れる、HeyGen が動画レンダリングをオープンソース化
AI 時代のキャリアと技術について、永亮が本音で語る。
技術拆解 001｜ponytail：AI のコード量を半減させる「怠惰なベテラン開発者」
AI 時代のキャリアと技術について、永亮が本音で語る。