Show HN: Gate.cat – AIコーディングエージェントのrm -RFを実行前にブロックする
Gate.catはAIエージェント向けのフェイルクローズドアクションベトーであり、rm -rfのような破壊的なコマンドの実行を防ぎます。
- Gate.catはAIエージェントのアクションに対する拒否権メカニズムを提供します。
- 安全性を確保するためにフェイルクローズドモードで動作します。
トピック別ストリーム
AI 政策は学習、製品公開、データ利用、国境を越えた展開の境界を変えます。ここでは規制、著作権、安全標準、輸出管理、政府調達、業界ルールを追跡し、コンプライアンスと市場参入リスクを早めに把握します。
Gate.catはAIエージェント向けのフェイルクローズドアクションベトーであり、rm -rfのような破壊的なコマンドの実行を防ぎます。
MurphはAI健康アシスタントで、ウェアラブルや血液検査などのデータを統合し、自己実験、習慣形成、グループチャレンジを支援します。オープンソースでプライバシー重視、月額8ドルです。
AtlassianはJiraにAIネイティブ開発機能を追加。Teamwork Graphによるコンテキスト提供、AIエージェントへのタスク割り当て、セッション監視、エンジニアリングループの自動化、AIコスト測定を実現し、AI生産性ギャップの解消を目指す。
本稿は、AIを資源に関してリスク回避的に(限界効用逓減)訓練することを提唱する。リスク回避は、AIが整合している場合に有用性を維持し、非整合の場合には防御線となる:非整合だがリスク回避的なAIは、リスクの高い反乱よりも安定した少額の支払いを好む。実現可能性、訓練方法、潜在的問題を論じ、フロンティアAI企業はリスク回避の導入を検討すべきとしている。
これらのスマートホームガジェットが私の家とルーティンを向上させています。あなたも欲しくなる理由をご紹介します。
中国、カリフォルニア州、ニューヨーク州の新法は、AIコンパニオンチャットボットに依存症、精神的健康リスク、未成年者への害を理由に制限を課す。米国の法律は個人保護に重点を置くが、中国は国家利益の保護と出生率低下への対応を目指す。3法すべてにチャットボットが人間でないことを開示するよう義務付けている。
Databricks は Thinking Machines Lab の初のオープンウェイトモデル Inkling をプラットフォーム上で提供開始しました。Inkling はコーディングとエージェント推論に優れ、マルチモーダル入力をサポートします。Unity AI Gateway を通じてエンタープライズグレードのガバナンスを提供し、企業データへの適用が可能です。Cursor や OpenCode などのコーディングエージェントとも連携できます。
この記事では、コンピュータビジョン、Strandsエージェント、MCPを統合したコンピュータビジョンMCPサーバーを紹介します。AWSのIAM、S3、OpenSearch、Bedrock、Rekognitionなどのサービスを活用し、統一されたインターフェースで画像や動画の分析を実現します。ユーザーはStreamlit UIを通じてメディアをアップロードし、オブジェクト検出、トリミング、背景除去などのタスクを実行できます。
ハッキング事件により、AI音楽生成ツールSunoの学習データが暴露され、YouTube Music、Deezer、Geniusなどのプラットフォームから数百万曲をスクレイピングしていたことが明らかになりました。これはSunoに対する著作権侵害訴訟を裏付けるもので、Sunoはスクレイピングを認めつつもフェアユースを主張しています。顧客情報もアクセスされましたが、Sunoは侵害は封じ込められ、機密データは漏洩していないと述べています。
Work Louder が Codex Micro を発表。Codex AI エージェント向けのコンパクトなハードウェアコントローラーで、音声プロンプト、タスク監視、触覚操作を統合し、直感的なステータスフィードバックと効率的なコマンド制御を提供します。
Shippyは、高い信頼性が求められる海洋状況認識のためのAIエージェントです。本稿では、そのアーキテクチャ(ソウル、スキル、設定)や、決定論的CLIによるAPIアクセス、ユーザー分離のためのサンドボックスホスティング、実データに対するエージェント全体の評価システムなど、主要な設計上の意思決定について説明します。また、得られた教訓と今後の計画についても述べます。
本記事では、AIエージェントにおけるモデルルーティングの複雑さを解説。単なる分類問題ではなくシステム最適化問題であると指摘し、コスト、複雑性、レイテンシの3つの次元でよくある誤解を解き、IBM Researchが構築した最適化ベースのルーターソリューションを紹介。
OtoDockは、Claude CodeとCodexをエージェントチームとして自社インフラ上で実行するセルフホスト型AIエージェントプラットフォームです。ライブダッシュボード、セキュリティサンドボックス、マルチエージェント会議、自動化スケジューリング、ドキュメント生成などを提供し、コンシューマー向けサブスクリプション、APIキー、ローカルモデルに対応。フェアソースライセンス(FSL-1.1-Apache-2.0)で、Dockerによるワンクリックデプロイが可能です。
従来のVPNはAIエージェントのアクセス要件に対応できず、企業は人間とエージェントの両方のワークロードを安全にサポートする統一されたアイデンティティベースのネットワーキングと特権アクセス管理を必要としています。Tailscaleの専門家が7月28日に無料ウェビナーで解決策を議論します。
OpenAIはキーボードメーカーのWork Louderと協業し、コード作成プラットフォーム「Codex」用の正方形ボタンパッド「Codex Micro」を発表した。限定販売で価格は230ドル、Jony Iveとの別ハードウェアプロジェクトとは無関係。
Firewallyは無料で使いやすいmacOSアプリで、アプリのインターネットアクセスをリアルタイムで監視・制御できます。デフォルトポリシーの設定、AI要約、アプリごとのオン/オフ切り替え機能を提供し、デバイスのセキュリティを強化します。
Turaはローカルで動作するオープンソースのコーディングエージェントで、DeepSWE v1.1ベンチマークにおいて、マクロCLIコマンドと後方推論を用いてCodex CLI Highと比較してLLMターンを80%削減し、成功率を60%から80%に向上させました。
オーストラリアのアンソニー・アルバネーゼ首相はシドニー大学でAIに関する演説を行い、政府のAI規制への意欲を表明したが、国家政府をもしのぐ力を持つテクノロジー大手を制御する難しさが残る。
1,690人の米国成人を対象としたVerasightの調査によると、69%がAI企業に株式の50%を公的主権富基金に移すことを強制することに支持を示しました。これはバーニー・サンダース上院議員が提出した「アメリカAI主权财富基金法案」の中核政策です。この変化は、2026年上半期にテック業界が米国での解雇の約3分の1を占め、同時に同企業がAI投資を増やした労働市場を反映しています。記事はまた、財産権の反対、投資の冷え込み、雇用喪失予測の論争、調査の文言効果などの反論も紹介しています。
ハッカーがSuno AIに侵入し、同社がAIトレーニングのためにYouTube Music、Deezer、Geniusなどのプラットフォームから数百万曲をスクレイピングしていたことを示すソースコードを暴露。また、数十万人の顧客情報やStripeの決済データも流出した。著作権訴訟が続く中、AIのデータ収集手法に光が当てられた。
Anacondaは、企業向けに管理されたオープンソースパッケージと環境を提供する企業で、人気のオープンソースコーディングエージェントKiloを買収しました。この取引は、AIベンダーロックインに対する企業の警戒が高まる中で行われました。Kiloは開発者が自由にモデルプロバイダーを切り替えることを可能にし、ロックインを回避します。AnacondaはKiloをオープンソースのまま自社のAIワークスペースに統合する計画です。
本記事は、現代の職場が本質的に権威主義的であり、AIが雇用を奪う中で、教育システムが雇用可能性に焦点を当てすぎていると指摘。スキル習得ではなく、批判的思考と民主的参加を育む方向への転換を促す。
Anthropicの研究により、AIモデルClaudeが使用言語に応じて異なる価値観を示すことが明らかになった。研究者らは4つの主要な軸(服従vs慎重、温かさvs厳格さ、深さvs簡潔さ、率直さvs実行力)を特定し、これらが言語間の変動の約15%を説明するとしている。例えば、アラビア語やヒンディー語では温かさが強調され、英語やロシア語では厳格さが強調される。これらの違いはユーザー体験やAI安全性に影響を与える可能性がある。
ニューヨーク州のキャシー・ホークル知事は、50メガワット以上の超大規模データセンターの新設を1年間禁止する大統領令に署名した。送電網の負荷と電気料金の高騰を理由に、同州は全米初の禁止措置を実施。国民の支持を得る一方、競争力低下を懸念する声も。
現在および元Meta従業員のグループが、同社が最近の解雇において人工知能を使用し、認可された休暇を考慮しなかったため差別的であったと訴えています。
LoopGainは、制御理論を用いてAIエージェントループが収束した時点でインテリジェントに停止させるオープンソースライブラリで、無駄なmax_iterationsアプローチを置き換えます。ループゲインをリアルタイムで測定し、ベンチマークではAPIコストを92.8%削減、15倍の高速化を達成しつつ、出力品質を維持します。
OpenAIは、「逆連邦主義」のAIガバナンス手法を提唱。州法を基盤として、安全で民主的なAIのための全国的な枠組みを構築する。
OpenAI による SWE-Bench Pro の監査により、ベンチマークの約30%のタスクに欠陥があり、正確なスコアが能力を誤って示す可能性があることが明らかになりました。この発見を受けて、OpenAI は同ベンチマークの推奨を取り下げ、より信頼性の高い評価方法の必要性を強調しています。
LessWrongの記事がICML 2026の論文を分析し、AI安全性に焦点を当てた研究はごく一部であることを明らかにした。999編中954編が検索可能で、そのうち約10編のみが安全性に特化。アラインメント、ロバスト性、解釈可能性などのテーマが扱われ、主に大学や企業研究所が貢献している。
Googleのホワイトペーパーに基づき、AIがソフトウェア開発プロセスをどう変えるかを解説。エージェントはモデル+ハーネス、コンテキストエンジニアリングがコスト鍵、検証が「バイブコーディング」と真のエンジニアリングを分ける、各フェーズの変化、経済性、プロトタイプが本番エージェントになる流れなど。
アンソニー・アルバニージー首相がシドニー大学でAIに関する主要な演説を行い、AIオフィスの設立とオーストラリアのクリエイターの著作権保護を約束。アーティストや活動家からのAIブームへの対応を求める声に応えた。
Common Sense Mediaの新しい報告書によると、GoogleのAI検索機能(AI OverviewとAI Mode)は子どもに「許容できないリスク」をもたらします。調査では、これらの機能が危険な行動を認識できず、宿題を代行し、不正確で一貫性のない回答を提供したことが明らかになりました。GoogleはAIツールが追加の保護を提供すると主張していますが、批判者らはデフォルトで有効であり無効化できない点を指摘しています。
OpenAIの自動レッドチームシステムGPT-Redは、セルフプレイを利用してAIの安全性、アライメント、プロンプトインジェクション耐性を向上させます。
オーストラリア首相がシドニー大学で講演し、AIの発展を主体的に形成し国益に資する必要性を強調。同国の革新的な歴史を振り返り、強制的なAI基準の制定を発表し、地理的優位性を活かして主権と経済的強靭性を構築するよう呼びかけました。
AITermはネイティブmacOSターミナルアプリで、自然言語コマンド、エラー診断、ローカルまたはクラウドAIモデル、リスクスコアリングとロールバック提案を備えたセーフティゲートを統合しています。無料版はコア機能を提供し、Pro版は自動化、ランブックなどを追加します。
非ネイティブのライターのための新しいワークフロー:母国語で下書きをし、AIで英語に翻訳・洗練する。研究によると、第二言語での執筆は認知負荷により30-50%多くの時間がかかる。アイデア生成と言語変換を分離し、EchooのようなAIツールを使うことで、速度と品質を取り戻せる。
AI支援コードレビューにおいて、決定的静的解析はトークン消費を大幅に削減できます。LLMを呼び出す前に既知の問題を決定的チェックでフィルタリングすることで、不必要な推論コストを削減し、真に判断が必要な曖昧な問題にモデルを集中させることができます。
Lean64 は、Lean 4 で実装されたミニマルな 3D 一人称視点シューティングゲームで、Doom 64 にインスパイアされています。Doom 64 の移植版ではなく、独自のアートとサウンドを使用したクリーンルーム実装です。
アンソニー・アルバニージー首相は、AIモデルによる作品の悪用からオーストラリアのクリエイターを保護するため、人工知能オフィスを設立すると発表した。また、データセンターの新たな規制を導入し、住宅地との競合回避や電力・水使用の制限、電気料金への影響防止を図る。
ジョージ・ルーカスは、AIを拒否することは車を拒否して馬を選ぶようなものだとして、時代遅れの考え方だと述べた。彼はAIが映画製作の未来であり、止められないと主張する。
2026年6月、AnthropicのClaude Fable 5のシステムプロンプトがGitHubで流出しました。これは3826行に及ぶドキュメントで、モデルの動作を導くためのものです。本記事では、その出典、構造、拒否処理、ケア義務、メモリーシステム、エージェント機構、著作権保護などの重要な部分を詳しく解説し、最先端のAIがいかにエンジニアリングされたルールブックであるかを明らかにします。
この記事では、AIセラピーのためのシステム設計について説明します。決定論的パイプラインを使用して臨床アクションを決定し、LLMが自律的に判断するのを防ぎます。スコアリング、状態バケット、アドミッションテーブル、アクション選択、マイクロプラクティス、危機事前スクリーニングが含まれ、LLMはスコアリングと生成にのみ使用されます。また、このアプローチのコストと限界についても議論されます。
協調的な単語連想ゲームにおいて、ロボットの視線が人間の視覚的注意にどのように影響するか、また人間がロボットに確認を求める視線を向ける傾向があるかを調査した研究。NAOロボットを大規模言語モデル駆動の対話パートナーとして使用し、ロボットの視線方向は提案された単語への最初の注視時間に影響しないが、確認要求を含む発話時に参加者はより頻繁にロボットを見ることがわかった。認知的要求の高いタスクでは、言語的側面がロボットの参照視線の効果を覆い隠す可能性が示唆された。
GaitSpanは、事前学習された歩行ポリシーを種スキルとして活用し、リズム生成、ストライド整形、残差適応の3つのモジュールを通じて、歩行から走行への連続的な速度範囲、形態間移行、ゼロショット展開を実現する新しいフレームワークです。
本論文は、視覚言語モデル(VLM)で生成したフレーム記述を比較し、ビデオ内の自己類似性を利用して異常フレームを検出することで、専門家特有の行動や文脈的意思決定を含む候補シーンを自動抽出する手法を提案する。模擬配電盤保守実験(27シナリオ)では、行動候補抽出率65%、意思決定シーン抽出率61%を達成し、従来手法(59%、33%)を上回った。
本研究では、原子力発電所におけるヒューマンファクター事象診断のためのCNNP九段階ガイドラインを多段階診断パイプラインとして実装したG-SHAREを提案する。証拠抽出、段階的推論、一貫性修復で構成され、実データで評価した結果、ワンショットプロンプトや従来の機械学習を大幅に上回る性能を示した。
本論文では、小売向け対話システムの大規模評価のための設定駆動型パイプライン「GenAI Evaluation」を提案する。正規化、シャーディング、非同期実行、スキーマ制約付きLLMスコアリングにより、有用性、真実性、明確さ、トーンの一致、翻訳の次元を評価する。選択的再評価は無効なレコードのみを処理し、スキーマロックとバージョン管理構成により監査可能性を確保。1日約5万件のレコードを処理し、200万件以上のインタラクションを評価。12,980件の人間ラベル付きデータで検証し、マクロF1 0.93、翻訳精度89%を達成。
再現可能なキャリブレーション優先報酬監査フレームワークを提案。スマート温室の強化学習制御において、スカラー報酬を温度、CO2、湿度などのコンポーネントに分解し、GreenLight-Gymと自律型温室チャレンジのデータで検証した。
GRIDは、LALR(1)パーサーの状態をマスクキーとして使用し、構文的に有効なSQL出力とロールベースのアクセス制御、証明可能な保証、一定のトークンコスト、ハッシュチェーン監査証跡を実現する文法制約デコーディングエンジン。Spiderでは、0.5Bモデルで実行精度が13ポイント向上し、7Bモデルでは94.5%の実行可能率に達する。
データ居住規制下の金融機関向けに、テナント所有言語モデルの構築とガバナンスを目的とした本研究は、オントロジー増幅蒸留と文脈性監査の手法を組み合わせている。蒸留実験では、Qwen3.6-27B学生モデルが40件のベトナム語金融タスクのうち36件を正解し、GPT-5と同等だが統計的に等価とは言えない。文脈性監査パイロットでは残差文脈性がゼロであり、直接的な影響と構成結合がより有用な信号であることが示された。現在のエビデンスは展開可能性や安全性、優位性を支持しない。