2026-09-18 · 8 topics
asciimoo、プライベート検索エンジンツール Hister を公開──Web 閲覧履歴とローカルファイルを一括インデックス
🔥🔥外部のクラウドに依存せずローカルで完結するプライベート検索エンジンであり、MCP サーバー経由で AI アシスタントからの全文検索もサポートする。
プログラミング言語 Bend を公開──Lean 形式の証明と C 級速度で AI のバグを防ぐ
🔥🔥AI エージェントが生成するコードの安全性を型チェックと証明で担保し、追加設定なしでマルチコア CPU や GPU に自動並列化する新しいプログラミング言語。
Cloudflare、コーディングエージェント拡張スキル security-audit-skill を公開──6段階の構造化監査フローを自動化
🔥🔥孤立したサブエージェントと検証用バリデーターを組み合わせ、コードベースのセキュリティ脆弱性探索を自動化するオープンソースツール。
Vercel、推論サーバー CLI 拡張機能 Vercel CLI バージョン 59.16.0 を公開──1 秒未満の静的アーティファクトデプロイに対応
🔥🔥コーディングエージェントが生成した成果物や静的プレビューを Vercel CLI 経由で 1 秒未満に短縮し、検証ループを高速化する。
Exa、時系列検索 API「Snapshot」を公開──4000 億件のアーカイブで AI エージェント評価のデータ漏洩を防ぐ
🔥🔥20 年分のウェブページを対象に指定日時のスナップショットを検索・取得できる API を提供し、強化学習やエージェント評価におけるデータ汚染を防止する。
PlanetScale、データベースサービス「Neki」をプレビュー公開──PostgreSQL の自動シャーディングで 1 億 QPS を達成
🔥🔥Vitess の思想を PostgreSQL に持ち込み、512 シャード構成で 1 億 1800 万 QPS を達成しながら既存ドライバをそのまま維持できる。
推論サーバー vLLM、Kimi K3 向け最適化によりスループットを最大 2.8 倍に向上──B300 環境で検証
🔥🔥Moonshot AI の Kimi K3 において、適応型スケジューリングや ReplaySSM などの改修により処理効率を大幅に高めた。
AWS、RAG 基盤構築ツール Amazon Bedrock Knowledge Bases のベクトルストア選択ガイドを公開──3 つのバックエンドの最適解を提示
🔥🔥Amazon OpenSearch Service、Amazon Aurora PostgreSQL、Amazon S3 Vectors の特徴と用途別適合性を比較し、RAG のレイテンシとコスト最適化の方針を明示した。