あなたのエージェントには信頼できない入力が二つある
AIエージェントには信頼できない入力が二つあります。モデルが書くコードと、モデルが読むツール出力です。前者にはいま本物のWASMサンドボックスがありますが、後者のMCPツールポイズニングにはありません。
AI & Technologyデザイン、開発、AIインフラ、製品構築についての考え。
AIエージェントには信頼できない入力が二つあります。モデルが書くコードと、モデルが読むツール出力です。前者にはいま本物のWASMサンドボックスがありますが、後者のMCPツールポイズニングにはありません。
AI & TechnologyAmazonの CTO ワーナー・ヴォゲルスは、ある一つの前提の上にクラウドを築きました。あらゆるものは常に壊れる、というものです。故障を前提に設計し、影響範囲を最小化し、その間も可用性を保ち続けるのです。
Engineering & Craftラジ・レディは「話しかけられる機械」を切り拓いた――音声認識、そしてブラックボードモデル。そして最も高度なAIを、世界で最も豊かな人々ではなく、最も貧しい人々へと向けた。
Engineering & Craftマーガレット・ハミルトンは「ソフトウェア工学」という言葉を生み、1202アラームを乗り越えたApolloの飛行コードを書きました。防御的設計、エラー回復、そして二度目のチャンスはないという現実。
Engineering & Craft岩田聡は、一度もゲーマーであることをやめないまま任天堂の社長になったプログラマーだった——プレイヤーの喜びに奉仕するための、技術の極み。
Engineering & CraftRoberto Ierusalimschyは、ただひとつの原則——ポリシーではなくメカニズム——を軸にLuaを設計しました。小さく、速く、組み込み可能な言語は、規則ではなくレバーをあなたに手渡します。
Engineering & Craftジェフリー・ヒントンは、学界が脳型ニューラルネットワークを嘲笑していた2度のAIの冬を通じて、それに賭け続けました。流行より信念を、形式論より直観を。
Engineering & Craftヨアンナ・ルトコウスカは「ほどよい疑い深さ」の上にQubes OSを築きました。ソフトウェアからバグを完全になくすことはできない――だからこそ侵害を前提とし、インフラを信用せず、被害の及ぶ範囲を切り離す、という発想です。
Engineering & CraftSwift 6.2は並行処理を逆転させます。モジュールのデフォルトをMainActorにし(SE-0466)、nonisolated asyncを呼び出し元で実行し(SE-0461)、@concurrentで抜け出します。
AI & Technologyデミス・ハサビスは知能を第一原理から構築した――ゲームを実証の場とし、神経科学を着想源として――そしてそれをタンパク質の折りたたみ問題に向け、ノーベル賞を勝ち取った。
Engineering & Craftジム・ケラーは、AMDの復活、iPhone、TeslaのAutopilotなどを支えるチップを設計してきた——シリコンを惜しみなく注いでボトルネックを取り除き、第一原理から発想し直すことによって。
Engineering & CraftKyunghyun Choは、制御構造そのものをモデル自身に学習させました――GRUのゲート付きメモリ、attentionにおけるソフトな対応付け――そして、それを誠実で再現可能なサイエンスと結びつけたのです。
Engineering & Craft技術記事: Introl
大規模言語モデルをローカルで実行するための包括的なハードウェア推奨事項とコスト分析。
さまざまなAIワークロード向けにNVIDIA最新データセンターアクセラレータを比較するGPU選択ガイド。
GoogleのTensor Processing UnitのTPUv1からTPUv5までの進化に関する詳細な技術解説。
コンテナ化環境におけるGPUクラスターのリソース共有戦略。
Rayフレームワークを使用した分散AI計算の構築と管理のガイド。
オープンソースLLMの経済性とDeepSeekの競争上のポジショニング分析。
将来のデータセンター電力要件とNVIDIAの次世代GPUロードマップ。
次世代AIインフラストラクチャに電力を供給する小型モジュラー炉ソリューション。
DeepSeekのMulti-Head Compressionアーキテクチャ革新の技術分析。