Show HN: Gate.cat – AIコーディングエージェントのrm -RFを実行前にブロックする
Gate.catはAIエージェント向けのフェイルクローズドアクションベトーであり、rm -rfのような破壊的なコマンドの実行を防ぎます。
- Gate.catはAIエージェントのアクションに対する拒否権メカニズムを提供します。
- 安全性を確保するためにフェイルクローズドモードで動作します。
トピック別ストリーム
AI Agent はデモから、監査可能で統合しやすく運用できる本番システムへ移りつつあります。ここでは Agent フレームワーク、ツール呼び出し、ブラウザ/デスクトップ自動化、企業ワークフロー、評価、安全境界を追跡します。
Gate.catはAIエージェント向けのフェイルクローズドアクションベトーであり、rm -rfのような破壊的なコマンドの実行を防ぎます。
クリストファー・ノーラン監督の『オデュッセイア』の公開を控え、映画スタジオFountain 0はAI生成の『オデュッセウス:ザ・フォール』を発表。ノーランの話題に乗じて自社のAIサービスを宣伝しようとしている。低予算で作られたこの作品は、芸術的価値に欠ける安っぽいスタントとして批判されている。
AtlassianはJiraにAIネイティブ開発機能を追加。Teamwork Graphによるコンテキスト提供、AIエージェントへのタスク割り当て、セッション監視、エンジニアリングループの自動化、AIコスト測定を実現し、AI生産性ギャップの解消を目指す。
本稿は、AIを資源に関してリスク回避的に(限界効用逓減)訓練することを提唱する。リスク回避は、AIが整合している場合に有用性を維持し、非整合の場合には防御線となる:非整合だがリスク回避的なAIは、リスクの高い反乱よりも安定した少額の支払いを好む。実現可能性、訓練方法、潜在的問題を論じ、フロンティアAI企業はリスク回避の導入を検討すべきとしている。
中国、カリフォルニア州、ニューヨーク州の新法は、AIコンパニオンチャットボットに依存症、精神的健康リスク、未成年者への害を理由に制限を課す。米国の法律は個人保護に重点を置くが、中国は国家利益の保護と出生率低下への対応を目指す。3法すべてにチャットボットが人間でないことを開示するよう義務付けている。
JointJS+ および JointJS は、ドラッグ&ドロップインターフェースを介してAIエージェントを設計できるAIワークフロービルダーのデモを提供します。自動レイアウト、カスタムシェイプ、ナビゲーターなど、商用およびオープンソースプロジェクト向けの多くの機能を備えています。
Databricks は Thinking Machines Lab の初のオープンウェイトモデル Inkling をプラットフォーム上で提供開始しました。Inkling はコーディングとエージェント推論に優れ、マルチモーダル入力をサポートします。Unity AI Gateway を通じてエンタープライズグレードのガバナンスを提供し、企業データへの適用が可能です。Cursor や OpenCode などのコーディングエージェントとも連携できます。
Built Technologiesは、AWS Generative AI Innovation Center、AND Digital、AWSアカウントチームと協力して、スケーラブルなAI搭載ドキュメント処理エンジンを構築しました。このエンジンは、複雑な不動産金融ドキュメントの分類、分割、抽出、評価、推論が可能で、以前は数日かかっていたワークフローを数分に短縮し、数百のドキュメントタイプをサポートし、技術チームと業界専門家にドキュメントプロセッサを構築・改善するための共有環境を提供します。
この記事では、コンピュータビジョン、Strandsエージェント、MCPを統合したコンピュータビジョンMCPサーバーを紹介します。AWSのIAM、S3、OpenSearch、Bedrock、Rekognitionなどのサービスを活用し、統一されたインターフェースで画像や動画の分析を実現します。ユーザーはStreamlit UIを通じてメディアをアップロードし、オブジェクト検出、トリミング、背景除去などのタスクを実行できます。
Diceのレポートによると、テクノロジー職の求人広告の73%がAIスキルを要求しており、2024年1月の15%から急増。求職者は認定資格、プロジェクト成果、領域専門性とAI活用の融合を示す必要がある。
IBMは、インフラ管理とアプリケーション開発を自動化する新しいソフトウェアを発表し、Powerサーバーラインを拡大しました。これには、システム管理のための自律制御層であるIBM Power Autonomous Operations、IBM i環境向けのAI駆動開発アシスタントであるIBM Bob Premium Package for i、そしてオンプレミスAI推論向けのコンパクトなシングルソケットPower11サーバー「Power S1112」が含まれます。これらのリリースは、昨年のPower11発表に続くもので、自律IT機能の拡張を目指しています。IBMは2026年のテクノロジーリーダー研究を引用し、2027年までに企業が平均1,661個のAIエージェントを導入し、自己管理可能なインフラが必要になると予測しています。Power S1112は、Power11のオンチップ行列演算アクセラレーションを活用し、ローカル推論を低レイテンシで実現し、性能はPower S914の2倍、エネルギー効率は69%向上しています。Power Autonomous Operationsはシステム動作を継続的に監視し、容量問題を3.33分で解決、従来の手動ワークフローに比べ15倍の高速化を実現します。IBM Bob Premium Package for iは、開発者がIBM iアプリケーションをより迅速に理解し、近代化するのに役立ちます。
Work Louder が Codex Micro を発表。Codex AI エージェント向けのコンパクトなハードウェアコントローラーで、音声プロンプト、タスク監視、触覚操作を統合し、直感的なステータスフィードバックと効率的なコマンド制御を提供します。
高等教育機関では、コールセンターの品質保証を拡大するコストが課題です。Databricksは、OpenAI Whisperによる高精度な文字起こし、LLM-as-a-judgeによる一貫した評価、AI Functionsによるデータ補完を統合したGenAIソリューションを提案。単一のガバナンスプラットフォーム上で、GenieとAgent Bricksを通じて自然言語でインサイトを得られます。
Shippyは、高い信頼性が求められる海洋状況認識のためのAIエージェントです。本稿では、そのアーキテクチャ(ソウル、スキル、設定)や、決定論的CLIによるAPIアクセス、ユーザー分離のためのサンドボックスホスティング、実データに対するエージェント全体の評価システムなど、主要な設計上の意思決定について説明します。また、得られた教訓と今後の計画についても述べます。
本記事では、AIエージェントにおけるモデルルーティングの複雑さを解説。単なる分類問題ではなくシステム最適化問題であると指摘し、コスト、複雑性、レイテンシの3つの次元でよくある誤解を解き、IBM Researchが構築した最適化ベースのルーターソリューションを紹介。
「CrashStealer」と呼ばれる新しいmacOSマルウェアがAppleのクラッシュレポーターを装い、データ、パスワード、暗号通貨ウォレットを盗みます。その仕組みと防御習慣を紹介。
AIコストが米国企業の急成長する支出となる中、一部のスタートアップはコスト削減のために安価な中国製AIモデルに切り替えている。中国モデルは能力で遅れを取るものの、オープンソースと低コストが魅力だ。
研究チームは、4カ国に分散した14台のMac(個人のMacBookを含む)を用いて強化学習のポストトレーニングを実施し、PaperSearchQAタスクでpass@1を29%から63%に向上させました。システムはPULSEウェイト同期を用いて9GBの更新を約90MBに圧縮し、非同期スター型トポロジーで全ての通信をオブジェクトストレージ経由で行います。これはコンシューマ向けMacのみでロールアウト生成を行った初のRLポストトレーニングです。
LangChainのFleetプラットフォームは、コードを書かずにカスタムAIエージェントを構築し、ワンクリックでSlackに展開できる機能を発表。エージェントは独自のアイデンティティを持ち、チャンネルやスレッドで利用可能。
OtoDockは、Claude CodeとCodexをエージェントチームとして自社インフラ上で実行するセルフホスト型AIエージェントプラットフォームです。ライブダッシュボード、セキュリティサンドボックス、マルチエージェント会議、自動化スケジューリング、ドキュメント生成などを提供し、コンシューマー向けサブスクリプション、APIキー、ローカルモデルに対応。フェアソースライセンス(FSL-1.1-Apache-2.0)で、Dockerによるワンクリックデプロイが可能です。
従来のVPNはAIエージェントのアクセス要件に対応できず、企業は人間とエージェントの両方のワークロードを安全にサポートする統一されたアイデンティティベースのネットワーキングと特権アクセス管理を必要としています。Tailscaleの専門家が7月28日に無料ウェビナーで解決策を議論します。
Mindlasは、AIコーディングセッションにおけるコンテキスト劣化、検証負債、変更影響範囲などの問題を決定論的ゲージでリアルタイム監視し、問題が蓄積する前に具体的な修正を提供するオープンソースツールです。ネットワーク呼び出し不要で完全にローカルで動作します。
OpenAIはキーボードメーカーのWork Louderと協業し、コード作成プラットフォーム「Codex」用の正方形ボタンパッド「Codex Micro」を発表した。限定販売で価格は230ドル、Jony Iveとの別ハードウェアプロジェクトとは無関係。
Turaはローカルで動作するオープンソースのコーディングエージェントで、DeepSWE v1.1ベンチマークにおいて、マクロCLIコマンドと後方推論を用いてCodex CLI Highと比較してLLMターンを80%削減し、成功率を60%から80%に向上させました。
GeoSQLは、地図の可視化フィードバックをAIエージェントのループに統合し、空間クエリの精度を大幅に向上させる地理空間分析スキルです。テキストのみでは検出できない幾何エラー(ポリゴンの異常、座標のずれなど)を、データベースのスキーマ探索、データベース固有のSQL自動生成、コスト事前チェック(BigQuery)、結果検証、地図レンダリングと自己修正のステップで解決します。ベンチマークでは地図フィードバックにより4倍の精度向上が確認されています。制限として、コスト制御はBigQueryのみ、テストセットが小規模などがあります。
リーナス・トーバルズはLinuxカーネルのメーリングリストで、Linuxは反AIプロジェクトではなく、AIは有用なツールであると明言。同意できない者はフォークするか去るよう促した。
Telnyx Call ControlとAI Inferenceを使って構築された、110行のPythonアプリでAIと交渉練習ができる電話番号の作り方を紹介。給与交渉、営業案件、ベンダー契約の3つのシナリオを用意し、音声駆動の会話後、5つの次元で構造化されたスコアを提供する。セットアップ、コード解説、カスタマイズ、本番運用までカバー。
AIエージェントが自律的にタスクを実行するには、分離された安全で迅速にデプロイ可能なコンピューティング環境が必要です。この記事では、エージェントがなぜ独自のコンピュータを必要とするのか、そしてLangSmith SandboxがマイクロVM分離、スナップショットとフォーク、認証プロキシ、安全な実行を通じてどのようにそのニーズを満たすかを説明します。また、プロンプトインジェクションなどのセキュリティリスクと緩和策についても議論します。
ZDNetのDavid GewirtzがChatGPT WorkとClaude Coworkのデスクトップ自動化機能を比較テスト。ChatGPT Workは重複ファイルの検出やスマートなリネームを実現する一方、ファイル操作中に一度も許可を求めず、セキュリティ面で大きな懸念が残る。Claude Coworkは変更前に必ず承認を求めるため、高リスクなタスクには適している。OpenAIが許可問題を修正すれば、両者の品質は同等になるだろう。
研究者がClaudeのweb_fetchツールの抜け穴を悪用し、ユーザーの記憶から個人情報を抽出することに成功した。攻撃はハニーポットサイトのネストされたリンクを辿らせることで実行され、Anthropicは修正を行ったが報奨金は支払わなかった。
研究によると、Bomly MCPサーバーと連携したAIエージェントは大規模プロジェクトで98%以上の修正可能な脆弱性を安定して修正する一方、エージェント単体ではばらつきが大きく、14%にまで落ち込む場合もあります。このサーバーは依存関係グラフ、脆弱性リスト、修正コンテキストを提供し、発見のボトルネックを解消します。
インターネットプロトコルの設計者の一人であるヴィント・サーフ氏は、グーグルを20年間務めた後、イノベーションラボの顧問となり、AIエージェントのためのオープンな識別アーキテクチャの構築に着手する。
Anacondaは、企業向けに管理されたオープンソースパッケージと環境を提供する企業で、人気のオープンソースコーディングエージェントKiloを買収しました。この取引は、AIベンダーロックインに対する企業の警戒が高まる中で行われました。Kiloは開発者が自由にモデルプロバイダーを切り替えることを可能にし、ロックインを回避します。AnacondaはKiloをオープンソースのまま自社のAIワークスペースに統合する計画です。
本記事は、現代の職場が本質的に権威主義的であり、AIが雇用を奪う中で、教育システムが雇用可能性に焦点を当てすぎていると指摘。スキル習得ではなく、批判的思考と民主的参加を育む方向への転換を促す。
このTypeScriptリポジトリは、ツールで強制されるルールシステムにより、AIエージェントがコーディング中にアーキテクチャを破壊するのを防ぎます。依存関係ルール、ミューテーションテスト、テストと仕様の保護、コミットゲート、仕様駆動開発の5つのガードレールを備えています。また、新しいプロジェクトを開始するためのテンプレートとしても機能し、エージェントの能力を評価するベンチマーク演習も含んでいます。
この記事では、Google Geminiを使ってフライト、宿泊、アクティビティの提案を含む旅程を作成し、休暇を計画する方法を紹介します。ユーザー体験、異なるプロンプトのテスト、Auto Browseの使用のヒントが含まれています。
LoopGainは、制御理論を用いてAIエージェントループが収束した時点でインテリジェントに停止させるオープンソースライブラリで、無駄なmax_iterationsアプローチを置き換えます。ループゲインをリアルタイムで測定し、ベンチマークではAPIコストを92.8%削減、15倍の高速化を達成しつつ、出力品質を維持します。
本記事では、エンジニアが2026年に実際に使用している、ローカルインフラ上でAIエージェントを構築・調整・実行するための7つのPythonツールを紹介します。
OpenAI による SWE-Bench Pro の監査により、ベンチマークの約30%のタスクに欠陥があり、正確なスコアが能力を誤って示す可能性があることが明らかになりました。この発見を受けて、OpenAI は同ベンチマークの推奨を取り下げ、より信頼性の高い評価方法の必要性を強調しています。
Googleのホワイトペーパーに基づき、AIがソフトウェア開発プロセスをどう変えるかを解説。エージェントはモデル+ハーネス、コンテキストエンジニアリングがコスト鍵、検証が「バイブコーディング」と真のエンジニアリングを分ける、各フェーズの変化、経済性、プロトタイプが本番エージェントになる流れなど。
日本は製造業、ロボット工学、インフラ構築の世界的リーダーであり、NVIDIAのフルスタック技術を活用してAIエコシステムを構築しています。NVIDIAとSEGAは30年にわたる協業を記念し、「バーチャファイター クロスロード」などのタイトルをNVIDIA RTX Sparkに提供することを発表。技術パートナーシップの進化を示しました。
PromptManはmacOSメニューバーアプリで、カスタマイズ可能なグローバルショートカットを使ってAIプロンプトを保存、整理、再利用できます。ChatGPT、Claudeなどのツールに対応し、クラウド同期、バージョン管理、AI Enhance機能を備えています。無料版は10プロンプトまで、Pro版は月額4.99ドル(年間39ドル)です。
AITermはネイティブmacOSターミナルアプリで、自然言語コマンド、エラー診断、ローカルまたはクラウドAIモデル、リスクスコアリングとロールバック提案を備えたセーフティゲートを統合しています。無料版はコア機能を提供し、Pro版は自動化、ランブックなどを追加します。
非ネイティブのライターのための新しいワークフロー:母国語で下書きをし、AIで英語に翻訳・洗練する。研究によると、第二言語での執筆は認知負荷により30-50%多くの時間がかかる。アイデア生成と言語変換を分離し、EchooのようなAIツールを使うことで、速度と品質を取り戻せる。
AI支援コードレビューにおいて、決定的静的解析はトークン消費を大幅に削減できます。LLMを呼び出す前に既知の問題を決定的チェックでフィルタリングすることで、不必要な推論コストを削減し、真に判断が必要な曖昧な問題にモデルを集中させることができます。
AIDE2システムは、人間が2年かけて構築したものよりも優れた自律研究ハーネスを8日間で発見し、再帰的自己改善(RSI)の初めての実験的証拠を提供しました。二層最適化ループを用いて、7つの連続改良バージョンを生成し、未知のタスクへの一般化を示すとともに、報酬ハッキングに対する防御も進化させました。
UltraWork は、月額固定399ドルのホステッドAIコーディング環境で、トークン計測がなく、予期せぬ請求もありません。厳選されたモデルカタログ、インテリジェントルーティング、プロンプトテンプレートライブラリを備え、インディーハッカーや小規模チーム向けに設計されています。高性能インフラの経験を持つエンジニアによって運営されています。
TormentNexusは、ローカルファーストのオープンソースAI制御プレーンで、永続的なメモリ、MCPツールオーケストレーション、マルチエージェントワークフローのための自律インフラ管理を提供します。38以上のAIコーディングエージェントをサポートし、プログレッシブツールルーティング、デュアルティアメモリアーキテクチャ、スウォーム調整などの機能を備えています。
本記事では、AIコーディングアシスタントが「プロンプト→待機→評価」のループを通じてフロー状態を破壊するメカニズムを探る。著者は、このサイクルがプログラミング本来の明確な目標、即時フィードバック、スキルに合った挑戦を置き換え、絶え間ないコンテキストスイッチと精神的な再構築を強いることを解説。フロー理論や中断研究を引用し、AIが新たな陰湿な中断源となる理由を分析する。解決策として、タスクの種類に応じてAI利用を区別し、バッチ処理で深い集中を守ることを提案。
Tiptap AI Toolkitは、AIが直接かつリアルタイムにドキュメントを編集できるようにし、コラボレーションと生産性を向上させます。